Просеминар по математической логике и информатике
для студентов 1–3 курсов
руководители семинара: проф. Л. Д. Беклемишев, к. ф.-м. н. С. Л. Кузнецов, асп. А. А. Оноприенко, проф. А. Л. Семёнов
Просеминар проходит онлайн по четвергам 16:45-18:20, начиная с 6 октября.
Анонс: 27 апреля 2023 года просеминара не будет. Приглашаем на конференцию Колмогоров-120!
Просеминар для младшекурсников является традицией кафедры математической логики и теории алгоритмов. На этом семинаре начинали свою работу многие студенты, ставшие потом известными математиками. Участие в семинаре не требует дополнительной подготовки, там сразу будут предложены задачи разных уровней сложности, а также исследовательские нерешённые проблемы, вводящие участника в тематику, существенную для разных областей математики, computer science и их приложений.
Тематика просеминара включает в себя логику первого порядка, сложность вычислений, теорию моделей, интуиционистскую логику высказываний, формальные языки и грамматики, коммуникационную сложность, модальную логику, конечные автоматы, теорию игр, клеточные автоматы.
Формат просеминара — короткие серии из 2–3 занятий на разные темы, проводимые профессорами, преподавателями, аспирантами и студентами кафедры, с параллельным решением и разбором задач. Приглашаются студенты 1–3 курсов, школьники старших классов, студенты других специальностей и вообще все интересующиеся. Начинать посещение семинара можно с любого занятия.
По всем вопросам можно обращаться к Анастасии Оноприенко по электронной почте: ansidiana@yandex.ru.
Ссылка на Зум: https://us06web.zoom.us/j/81824335140?pwd=bU1kYmF6citRclpiNGxubFpIRlordz09
Идентификатор конференции: 818 2433 5140
Код доступа: 371994.
Материалы 2023 года
2 и 9 марта 2023 года Модальные логики (А. Оноприенко)
16 марта 2023 года Исчисление секвенций: первое знакомство (Д.С.Шамканов)
23 и 30 марта 2023 года лямбда-исчисление (С.Л.Кузнецов)
6 и 13 апреля Релевантная логика (К.Шишов)
Материалы 2022 года
6 октября 2022 года Теория множеств, эффективные алгоритмы на графах и математическая биология (В.А.Любецкий)
13 октября 2022 года Взвешивания и вопросы (А.А.Оноприенко)
20 и 27 октября 2022 года Деревья решений и вопросная сложность (Н.К.Верещагин)
3 ноября 2022 года. Формальные языки и где они обитают. (М.Вишникин)
10 и 17 ноября 2022 года. Интуиционистская логика (А.А.Оноприенко)
24 ноября 2022 года. Формальные языки и где они обитают. Часть 2. (М.Вишникин) Материалы
1 декабря 2022 года. Графы и монадическая логика первого порядка. (Т.Пшеницын)
8 декабря 2022 года. Определимость. (А.Л.Семенов, С.Ф.Сопрунов) Задачи. Презентация.
15 декабря 2022 года. Графы и монадическая логика второго порядка. (Т.Пшеницын)
Материалы 2021 года
1 и 8 октября 2021 года Модальные логики (А. Оноприенко)
15 октября 2021 года Булевы алгебры и теорема Стоуна (А. Запрягаев)
22 октября 2021 года Метазадачи (А. Шень)
29 октября 2021 года Многозначные логики (Я. Петрухин)
12 и 19 ноября 2021 года Конечные автоматы (М. Вишникин)
26 ноября и 3 декабря 2021 года Контекстно-свободные грамматики (Т. Пшеницын)
10 и 17 декабря Интуиционистская логика (В.Е. Плиско). Презентация от 10 декабря. Презентация от 17 декабря. Материалы.