Итоги в кондуите почти подведены, если что-то из того, что вы сдали не учтено, свяжитесь с тем кому вы сдавали.
Добавлены семинарские задачи по теме "Теория моделей логики 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