Кафедра математической логики и теории алгоритмов

Просеминар по математической логике и информатике

для студентов 1–3 курсов
руководители семинара: проф. Л. Д. Беклемишев, к. ф.-м. н. С. Л. Кузнецов, асп. А. А. Оноприенко, проф. А. Л. Семёнов

Просеминар проходит онлайн по пятницам 16:45-18:20, начиная с 1 октября.

Анонс: 29 октября на просеминаре будет тема «Многозначные логики» (Я.Петрухин).

Просеминар для младшекурсников является традицией кафедры математической логики и теории алгоритмов. На этом семинаре начинали свою работу многие студенты, ставшие потом известными математиками. Участие в семинаре не требует дополнительной подготовки, там сразу будут предложены задачи разных уровней сложности, а также исследовательские нерешённые проблемы, вводящие участника в тематику, существенную для разных областей математики, computer science и их приложений.

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

Формат просеминара — короткие серии из 2–3 занятий на разные темы, проводимые профессорами, преподавателями, аспирантами и студентами кафедры, с параллельным решением и разбором задач. Приглашаются студенты 1–3 курсов, школьники старших классов, студенты других специальностей и вообще все интересующиеся. Начинать посещение семинара можно с любого занятия.

По всем вопросам можно обращаться к Анастасии Оноприенко по электронной почте: ansidiana@yandex.ru.

Ссылка на Зум: https://us02web.zoom.us/j/82285364788?pwd=RTFaNkpOd0tZWWppTXJxWHN0WXRPQT09
Идентификатор конференции: 822 8536 4788
Код доступа: 184146.

 


Материалы

1 и 8 октября 2021 года Модальные логики (А. Оноприенко)
15 октября 2021 года Булевы алгебры и теорема Стоуна (А. Запрягаев)
22 октября 2021 года Метазадачи (А. Шень)