• Итоги в кондуите почти подведены, если что-то из того, что вы сдали не учтено, свяжитесь с тем кому вы сдавали.

• Добавлены семинарские задачи по теме "Теория моделей логики 1ого порядка"

• Добавлены примеры задач к коллоквиуму (см. Материалы)

• Добавлены слайды лекций по алгоритмам и конспекты лекций по теории моделей логики предикатов. В разделе Литература.

• Выложены вопросы ко 2-ому коллоквиуму.

• Расписание ближайших событий по курсу "Логика и алгоритмы"

1) 31 мая: лекция и семинары перенесены на вторую и третью пары.

2) 7 июня: коллоквиум. Второй курс: начало в 14:50, третий курс: начало в 16:20. Более точное распределение будет разослано позже.

3) 14 июня: лекции и семинары по расписанию.

4) 24 июня, с 11:00 до 13:00. Экзамен (письменный), одновременно и для второго, и для третьего курса

• Четвертого листка не будет. Образцы задач по последней теме к коллоквиуму и экзамену будут разбираться на семинарах и вывешены на сайте.

• Дедлайны по сдаче всех листков продлены до 18 июня (можно досдавать задачи из предыдущих листков).

• Добавлен третий листок с задачами

• Добавлен конспект лекций по теме "Теорема Гёделя о неполноте"

• Информация по 1-ому коллоквиуму

• Добавлен второй листок с задачами.

• Добавлен конспект лекций по теории множеств.

• Добавлен первый листок с задачами.

• Создан сайт, телеграм канал и чат курса.

• Лекторы: Л.Д. Беклемишев, В.Б. Шехтман, А.В. Кудинов, Е.А. Колмаков

• Семинаристы: В.Б. Шехтман и Е.А. Колмаков.

• Регулярно (приблизительно один раз в месяц) будут выдаваться листки с задачами, которые будут проверятся письменно или устно. Точные правила оценки листков будут публиковаться вместе с листками. Первый листок по теории множеств будет выдан в начале февраля.

• В конце 3 модуля будет проведен первый коллоквиум, и где-то в начале июня будет проведен второй коллоквиум.

• Экзамен будет проведен для тех, кто не получил автомат

• Оценка по курсу высчитывается по формуле: Итоговая оценка по дисциплине вычисляется по формуле 0,4(ОК1+OK2)/2 + 0,3Л+ 0,3Э. При этом те студенты, которые до экзамена имеют оценку 8 и выше по формуле 0,5(ОК1+OK2)/2 + 0,5Л имеют право не сдавать экзамен и зачесть эту оценку в качестве итоговой. Обозначения: ОК1 и ОК2 - оценки за 1ый и 2ой коллоквиумы, Л - средняя оценка за листки, Э - оценка за экзамен.

• Новостной канал курса в телеграме: https://t.me/+ha4ZWvRb4X1jYWYy

• Чат курса: https://t.me/+uSxcAKXJxk85YWVi