Курс математической логики и теории вычислимости
Описание книги
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело–Френкеля. Теория...
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело–Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства корректности программ некоторого императивного языка программирования. В книге имеется более 200 упражнений. Учебное пособие адресовано в первую очередь студентам, обучающимся по направлениям подготовки укрупнённых групп «Компьютерные и информационные науки», «Информатика и вычислительная техника», но будет полезно и студентам группы направлений «Математика и механика», а также всем желающим начать систематическое изучение математической логики. Книга «Курс математической логики и теории вычислимости» автора Александр Герасимов оценена посетителями КнигоГид, и её читательский рейтинг составил 0.00 из 10.
Для бесплатного просмотра предоставляются: аннотация, публикация, отзывы, а также файлы для скачивания.
- Просмотров: 136
- Рецензий: 0
- Переводчики: не указаны
- Серия: Математика
- ISBN (EAN): 978-5-8114-1666-0
- Языки: не указаны
- Возрастное ограничение: не указано
- Год написания: 2014
Посмотрите еще
Саймон Сингх рассказывает о самых интересных эпизодах мультсериала, в которых фигурируют важнейшие математические идеи – от числа π и бесконечности до происхождения чисел и самых сложных проблем, над которыми работают современные математики.Книга будет интересна поклонникам сериала «Симпсоны» и всем, кто увлекается математикой.На русском языке публикуется впервые.
Эта книга – самый дружелюбный и доступный ликбез по математике. После ее прочтения вы разберетесь в большинстве базовых терминов и вычислений, сможете применять их в жизни и даже узнаете несколько математических трюков, которыми можно произвести впечатление на друзей. Глоссарий в конце книги позволит вам быстро освежить в памяти любое определение.Книга будет полезна широкому кругу читателей.На рус...
В книге предложена логико-когнитивная формализованная теория аргументации для моделирования трех видов аргументации - обоснования, убеждения и практической аргументации. Формальная часть теории проиллюстрирована примерами "кухонного" спора Н.Хрущева с Р.Никсоном и спора Протагора с Эватлом. Книга адресована логикам, философам, специалистам в области речевой коммуникации и может служить учебн...
Альберт Эйнштейн писал: "Как так получилось, что математика, продукт человеческой мысли, независимый от опыта, так прекрасно соотносится с объектами физической реальности?" Наука предлагает абстрактную математическую модель, а спустя какое-то время (иногда десятилетия) выясняется, что эта модель существует в реальности! Так кто же придумал математику — мы сами или Вселенная? Может быть, математика...
Учебник полностью охватывает материал, входящий в программу по высшей математике для студентов, обучающихся по всем перечисленным в его грифе специальностям. При изложении материала авторы сделали попытку свести до минимума язык кванторов, заменяя его четкими словесными объяснениями проводимых рассуждений, и внесли ряд методических усовершенствований. Материал учебника был апробирован при чтении...
В пособии даны методологические, теоретические и дидактические основы формирования элементарных математических представлений у детей дошкольного возраста. Раскрываются формы и методы обучения детей математике во всех возрастных группах детского сада, обосновывается необходимость систематической подготовки детей в дошкольных учреждениях к усвоению школьной программы.
Настоящая книга охватывает все основные разделы современной аффинной дифференциальной геометрии, из которых многие не вошли в существующие монографии. Кроме того, в русской оригинальной и переводной литературе руководства по аффинной геометрии вообще
Why is it that incredibly unlikely phenomena actually happen quite regularly and why should we, in fact, expect such things to happen? Here, in this highly original book - aimed squarely at anyone with an interest in coincidences, probability or gambling - eminent statistician David Hand answers this question by weaving together various strands of probability into a unified explanation, which he c...
Атья - известный тополог и алгебраист, лауреат филдсовской премии - знаком читателю по русскому переводу его монографии "Лекции по К-теории" ("Мир", 1967). "Введение в коммутативную алгебру", написанное им совместно с И.Макдональдом, также основано на курсе лекций. Эта книга отличается исключительно удачным подбором материала, изложенного современно, лаконично и с предельной ясностью. Разобрав все...
Как вызвать у ребенка - дошкольника интерес к математике? В этом вам помогут книжки нашей математической серии. Выполняя задания, ребенок сможет освоить действие вычитание, научится решать примеры и задачи со знаком "минус" .Если малыш затрудняется, обязательно объясните задание ещё раз, помогите в выполнении. Хорошо, если вы сможете закрепить полученные знания и на дополнительных занятиях и в пов...
В брошюре рассмотрена история исследования проблемы о разрешимости алгебраических уравнений в радикалах - задачи, сыгравшей чрезвычайно важную роль в развитии алгебры.
Предлагаемая рабочая тетрадь призвана помочь учащимся при изучении алгебры по учебнику "Алгебра, 9" Ю.Н.Макарычева, Н.Г.Миндюк, К.И.Нешкова, С.Б.Суворовой, под редакцией С.А.Теляковского. Структура рабочей тетради соответствует структуре учебника, представленная в ней система заданий дополняет и расширяет систему упражнений, содержащихся в учебнике и дидактических материалах. Использование рабоч...
Предлагаемая тетрадь является методическим пособием для занятий по геометрии в 9 классе общеобразовательной школы по учебнику "Геометрия 7-11" А.В.Погорелова. Она предназначена помочь организовать работу учащихся в классе и дома. Выполнение заданий, помещённых в "Тетради", будет способствовать более ясному и сознательному усвоению учащимися основных понятий и идей учебного материала. Порядок сле...
Групповой анализ служит для описания свойств дифференциальных уравнений при помощи допускаемых групп преобразований. Он даёт практические методы понижения порядка или полного интегрирования отдельных дифференциальных уравнений и построения отдельных классов точных решений линейных и нелинейных уравнений математической физики. Настоящая брошюра включает фрагменты курса лекций по групповому анализ...
Книга предназначена в первую очередь, для тех, кто пользуется учебным пособием для 5-го класса "Десятичные дроби в Муми-доме" (серия МПИ) а также может быть использована теми учащимися и учителями, кто работает по другим учебникам, включающим темы "Натуральные числа" и "Десятичные дроби".
Рецензии на книгу
Написано 0 рецензий