2019/2020
Логика
Статус:
Майнор
Кто читает:
Факультет математики
Где читается:
Факультет математики
Когда читается:
1, 2 модуль
Преподаватели:
Беклемишев Лев Дмитриевич,
Запрягаев Александр Александрович,
Колмаков Евгений Александрович,
Рыбаков Михаил Николаевич
Язык:
русский
Кредиты:
5
Контактные часы:
64
Программа дисциплины
Аннотация
Для освоения учебной дисциплины студенты должны владеть следующими знаниями и компетенциями: • Математика в объеме программы средней школы. • Иметь представление о вычислимых функциях в объеме, не превышающем содержание курса «Вычислимость и сложность» майнора «Математические структуры» . Основные положения дисциплины могут быть использованы в дальнейшем при изучении следующих дисциплин: • Графы и топология • Линейная алгебра • Математический анализ • Геометрия. • Теория чисел
Цель освоения дисциплины
- Целями освоения дисциплины «Логика» является знакомство с аксиоматическим методом и различными взглядами на философские проблемы оснований математики; с основными понятиями и системообразующими примерами из математической логики; выработка умения математически строго аргументировать свои выводы, как письменно, так и устно; Приобретение навыков работы с математической литературой.
Планируемые результаты обучения
- Знать основные понятия тех разделов математической логики, которые включены в программу. Уметь решать базовые задачи по каждому разделу. Уверенно пользоваться математическим языком, владеть терминологией по каждому разделу. Приобрести опыт устного и письменного изложения математических рассуждений.
Содержание учебной дисциплины
- Введение.Предмет математической логики. Вопросы оснований математики.
- Аксиоматическое построение элементарной геометрии, роль аксиомы о парал-лельных. Парадоксы теории множеств, семантические парадоксы. Формальный аксиоматический метод Гильберта, программа Гильбертаю Роль теорем Гёделя о неполноте.
- Логика высказываний. Теорема о дизъюнктивной нормальной форме. Исчисле-ние высказываний в секвенциальной форме Генцена. Теорема о полноте.
- Интуиционизм как философия математики. Интерпретация интуиционистской логики по Брауэру-Гейтингу-Колмогорову. Интуиционистская логика высказы-ваний, е модели Крипке. Теорема Крипке о полноте интуиционистской логики высказываний. Дизъюнктивное свойство. Теорема Гливенко.
- Модальности и их возможные интерпретации. Модальные логики, логика S4, пе-ревод Гёделя. Теорема о несоотвествии интуиционистской логики и модальной логики S4. Эпистемическое понимание модальности для системы с несколькими агентами. Логика S5, ее полнота по Крипке. Модальность как доказуемость, ло-гика доказуемости Гёделя-Лёба.
- Логика предикатов.
- Предикаты. Переменные и их области изменения. Кванторы.
- Языки первого порядка: термы, формулы, подформулы. Примеры языков первого порядка: язык арифметики, язык элементарной геометрии.
- Интерпретации (алгебраические системы, модели) для данного языка первого порядка. Истинность замкнутой формулы в данной интерпретации. Предикаты, выразимые в данной интерпретации.
- Аксиомы и правила вывода исчисления предикатов (без доказательств). Теорема о компактности для логики предикатов.
- Нестандартные модели арифметики, их существование.
- Описание отношения порядка для счетных нестандартных моделей арифметики.
- Элиминация кванторов. Теореиа Тарского о разрешимости теории поля вещественных чисел и элементарной геометрии.
- Формальная арифметика, ее стандартная модель.
- Сигма-определитель в стандартной модели арифметики.
- Эквивалентность понятий перечислимого и сигма-определимого множества. Неперечислимость множества арифметических истин. Проблема распознавания истинности замкнутых арифметических формул, ее алгоритмическая неразреши-мость. Теорема Гёделя о неполноте формальной арифметики (вторая теорема Гёделя о неполноте без доказательства)
Элементы контроля
- Домашние заданияПредполагается дать две или три домашних работы и одну контрольную работу в конце первого модуля
- Контрольная работаПредполагается дать две или три домашних работы и одну контрольную работу в конце первого модуля
- Экзамен
Промежуточная аттестация
- Промежуточная аттестация (2 модуль)0.2 * Домашние задания + 0.4 * Контрольная работа + 0.4 * Экзамен
Список литературы
Рекомендуемая основная литература
- Верещагин Н.К., Шень А. - Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств - Московский центр непрерывного математического образования - 2008 - 128с. - ISBN: 978-5-94057-321-0 - Текст электронный // ЭБС ЛАНЬ - URL: https://e.lanbook.com/book/9306
Рекомендуемая дополнительная литература
- Гладкий А.В. - Введение в современную логику - Московский центр непрерывного математического образования - 2001 - 200с. - ISBN: 5-900916-98-7 - Текст электронный // ЭБС ЛАНЬ - URL: https://e.lanbook.com/book/9324