vyshka.math.ru
Расписание занятий
Логика (майнор). 2018/2019 учебный год.
- Оценка за второй модуль вычисляется по правилу: 50% коллоквиум + 25% листки (в равных долях за каждый листок) + 25% зачёт (при условии минимум 4х баллов за зачёт).
- Коллоквиум по логике и алгоритмам состоится в четверг 18 декабря.
- Решения задач листка 5 надо сдать в письменном виде до 18 декабря преподавателю своей группы.
- Во вторник 9 декабря:
c 14.00 до 15.20 - прием задач листка 4 (для тех, кто еще не сдал его) и консультация по курсу 2 модуля.
с 15.30 до 16.50 - дополнительный семинар по логике (для групп, у которых семинар в четверг).
- Программа коллоквиума
-->
Листки содержат задачи, используемые для контроля. Задачи семинаров содержат
списки дополнительных задач и упражнений по темам листков.
Программа курса (pdf)
Учебные материалы к лекциям
- Functions and Relations (pdf)
Элементарный текст про функции и отношения, теоретико-множественные обозначения и т.п., но
на английском языке.
- Аксиомы теории множеств (pdf)
Неоконченный и сырой текст про аксиомы теории множеств, натуральный ряд и индукцию.
Будет еще дополняться и обновляться, замеченные опечатки приветствуются.
- Упорядоченные множества и аксиома выбора (pdf)
- Логика высказываний и логика предикатов (pdf)
- Теорема о корректности для логики предикатов (pdf)
- Конспект лекций В.Н. Крупского по
теории вычислимости
- Задачи по теории вычислимости с примерами решений.
Машины Тьюринга;
разрешимые и перечислимые множества;
результаты о невычислимости.