vyshka.math.ru
Расписание занятий
Логика и алгоритмы (первый курс). 2013/2014 учебный год.
- Оценка за первый модуль вычисляется по правилу: 50% коллоквиум + 25% листки (в равных долях за каждый листок) + 25% зачёт (при условии минимум 4х баллов за зачёт).
- Автомат получают те, кто наберёт 8 или более баллов по формуле 50% коллоквиум + 50% листки.
- Для зачета по листку (с оценкой 5) необходимо сдать все обязательные задачи.
Оставшиеся задачи оцениваются по одному баллу за задачу, таким образом для оценки в
10 баллов достаточно решить на выбор 5 дополнительных задач.
- Несданные обязательные задачи в листке означают несданный листок (и его вклад в оценку за листки обнуляется).
- Листок 3 сдаётся в письменном виде преподавателям своей группы до 11.10. Оценка за него
выводится пропорционально числу правильно решённых задач.
- Коллоквиум 14.10 с 10:30 до 13:30, ауд. 213. На коллоквиуме надо устно ответить на два
теоретических вопроса и решить одну (несложную) задачу. Программа.
- Добавлены новые учебные материалы к лекциям (2.10).
- Текущие результаты по сданным листкам и оценки за коллоквиум.
- НИС "Дополнительные главы математической логики":
по вторникам 14:00-15:30, ауд 211. Очередное занятие 3.12. Докладчик
А.Х. Шень (ИППИ, Москва и LIRMM, Montpellier), "Вероятностные алгоритмы".
На эту тему предполагается провести одно занятие.
- Выложен Листок 6 (2-й модуль, теории первого порядка).
- Коллоквиум 13.12 (пятница), с 9:00 до 12:00, ауд. 213. Группы 3 и 4 приглашаются к 10:15.
- Вопросы к коллоквиуму
- Выложены новые записки к лекциям.
- Экзамен: понедельник 23.12, ауд. 213 и 311, 11:00.
На экзамене будут предложены три задачи. Надо будет сделать первую задачу (на построение конкретной машины Тьюринга),
и решить на выбор вторую или третью задачу. Вторая задача по теме "вычислимые функции", третья задача по теме
"логика предикатов".
- Оценка за второй модуль вычисляется аналогично оценке за первый.
- Выложены материалы к теме "вычислимые функции".
Листки содержат задачи, используемые для контроля. Задачи семинаров содержат
списки дополнительных задач и упражнений по темам листков.
Программа курса (pdf)
Учебные материалы к лекциям
- Functions and Relations (pdf)
Элементарный текст про функции и отношения, теоретико-множественные обозначения и т.п., но
на английском языке.
- Аксиомы теории множеств (pdf)
Неоконченный и сырой текст про аксиомы теории множеств, натуральный ряд и индукцию.
Будет еще дополняться и обновляться, замеченные опечатки приветствуются.
- Упорядоченные множества и аксиома выбора (pdf)
- Логика высказываний и логика предикатов (pdf)
- Теорема о корректности для логики предикатов (pdf)
- Конспект лекций В.Н. Крупского по
теории вычислимости
- Задачи по теории вычислимости с примерами решений.
Машины Тьюринга;
разрешимые и перечислимые множества;
результаты о невычислимости.