|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Просеминар по математической логике и информатикеучебный курс
- Авторы: Беклемишев Лев Дмитриевич, Подольский Владимир Владимирович, Семёнов Алексей Львович, Кузнецов Степан Львович
- Год создания: 2011
- Организация: МГУ имени М.В. Ломоносова
- Описание: Просеминар для младшекурсников является традицией кафедры математической логики и теории алгоритмов. На этом семинаре начинали свою работу многие студенты, ставшие потом известными математиками. Участие в семинаре не требует дополнительной подготовки, там сразу будут предложены задачи разных уровней сложности, а также исследовательские нерешённые проблемы, вводящие участника в тематику, существенную для разных областей математики, computer science и их приложений. Тематика просеминара включает в себя логику первого порядка, сложность вычислений, теорию моделей, интуиционистскую логику высказываний, формальные языки и грамматики, коммуникационную сложность, модальную логику, конечные автоматы, теорию игр, клеточные автоматы. Формат просеминара — короткие серии из 2–3 занятий на разные темы, проводимые профессорами, преподавателями, аспирантами и студентами кафедры, с параллельным решением и разбором задач. Приглашаются студенты 1–3 курсов, школьники старших классов, студенты других специальностей и вообще все интересующиеся. Начинать посещение семинара можно с любого занятия.
- Добавил в систему: Золин Евгений Евгеньевич
Преподавание курса
- 1 сентября 2019 - 20 декабря 2019 Золин Евгений Евгеньевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, вариативной части, семинары, 4 часов
- Авторы: Беклемишев Лев Дмитриевич, Подольский Владимир Владимирович, Семёнов Алексей Львович, Кузнецов Степан Львович
- 1 февраля 2019 - 31 мая 2019 Золин Евгений Евгеньевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, вариативной части, семинары, 4 часов
- Авторы: Беклемишев Лев Дмитриевич, Подольский Владимир Владимирович, Семёнов Алексей Львович, Кузнецов Степан Львович
- 1 сентября 2018 - 31 мая 2019 Семенов Алексей Львович
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- факультативная, семинары, 23 часов
- Авторы: Беклемишев Лев Дмитриевич, Подольский Владимир Владимирович, Семёнов Алексей Львович, Кузнецов Степан Львович
- 1 сентября 2017 - 31 мая 2018 Семенов Алексей Львович
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- факультативная, семинары, 23 часов
- Авторы: Беклемишев Лев Дмитриевич, Подольский Владимир Владимирович, Семёнов Алексей Львович, Кузнецов Степан Львович
- 1 сентября 2016 - 31 мая 2017 Семенов Алексей Львович
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- факультативная, семинары, 23 часов
- Авторы: Беклемишев Лев Дмитриевич, Подольский Владимир Владимирович, Семёнов Алексей Львович, Кузнецов Степан Львович
- 1 сентября 2015 - 31 мая 2016 Беклемишев Лев Дмитриевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- факультативная, семинары, 23 часов
- Авторы: Беклемишев Лев Дмитриевич, Подольский Владимир Владимирович, Семёнов Алексей Львович, Кузнецов Степан Львович
- 1 сентября 2015 - 31 мая 2016 Кузнецов Степан Львович
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- факультативная, семинары, 23 часов
- Авторы: Беклемишев Лев Дмитриевич, Подольский Владимир Владимирович, Семёнов Алексей Львович, Кузнецов Степан Львович
- 1 сентября 2015 - 31 мая 2016 Семенов Алексей Львович
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- факультативная, семинары, 23 часов
- Авторы: Беклемишев Лев Дмитриевич, Подольский Владимир Владимирович, Семёнов Алексей Львович, Кузнецов Степан Львович
- 1 сентября 2014 - 31 мая 2015 Семенов Алексей Львович
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- факультативная, семинары, 34 часов
- Авторы: Беклемишев Лев Дмитриевич, Подольский Владимир Владимирович, Семёнов Алексей Львович, Кузнецов Степан Львович