для студентов 1–3 курсов
механико-математический факультет
МГУ им. М. В. Ломоносова
кафедра математической логики и теории алгоритмов
в весеннем семестре 2011/2012 учебного года.
пятница,
16:45–18:20, аудитория 16–22, ГЗ МГУ
начало занятий — 17 февраля 2012 года
руководители семинара: проф. Л. Д. Беклемишев,
к. ф.-м. н. В. В. Подольский, проф. А. Л. Семёнов,
к. ф.-м. н. А. Х. Шень
постер: pdf
Просеминар для младшекурсников является традицией кафедры математической логики и теории алгоритмов. На этом семинаре начинали свою работу многие студенты, ставшие потом известными математиками. Участие в семинаре не требует дополнительной подготовки, там сразу будут предложены задачи разных уровней сложности, а также исследовательские нерешённые проблемы, вводящие участника в тематику, существенную для разных областей математики, computer science и их приложений.
Тематика просеминара включает в себя логику первого порядка, сложность вычислений, теорию моделей, интуиционистскую логику высказываний, формальные языки и грамматики, коммуникационную сложность, модальную логику, конечные автоматы, теорию игр, клеточные автоматы.
Формат просеминара — короткие серии из 2–3 занятий на разные темы, проводимые профессорами, преподавателями, аспирантами и студентами кафедры, с параллельным решением и разбором задач. Приглашаются студенты 1–3 курсов, школьники старших классов, студенты других специальностей и вообще все интересующиеся. Начинать посещение семинара можно с любого занятия.
По всем вопросам можно обращаться к Владимиру Подольскому по электронной почте: podolskii.vv@gmail.com.
| 11 ноября 2011 года | Сложность булевых схем | ||
| 14 октября 2011 года | Взвешивания | ||
| 23 сентября 2011 года | Вполне упорядоченные множества | ||
| 25 марта 2011 года | Комбинаторика бесконечных слов | ||
| 11 марта 2011 года | Комбинаторика слов | ||
| 18 февраля 2011 года | Исчисление секвенций для логики высказываний |
| 26 ноября 2010 года | Энтропия Шеннона и кодирование | ||
| 19 ноября 2010 года | Комбинаторы и лямбда-исчисление, часть 2 | ||
| 12 ноября 2010 года | Комбинаторы и лямбда-исчисление | ||
| 29 октября 2010 года | Игры и стратегии - 3. Коалиции | ||
| 15 октября 2010 года | Игры и стратегии - 2 | ||
| 1 октября 2010 года | Игры и стратегии | ||
| 17 сентября 2010 года | Выразимость предикатов | ||
| 30 апреля 2010 года | Игра Эренфойхта | ||
| 23 апреля 2010 года | Деревья разрешения 2 | ||
| 2 апреля 2010 года | Деревья разрешения | ||
| 5 марта 2010 года | Модальная логика | ||
| 19 февраля 2010 года | Взвешивания |
| 20 ноября 2009 года | Кодирование | ||
| 13 ноября 2009 года | Решётки, часть 2 | ||
| 30 октября 2009 года | Решётки | ||
| 9 октября 2009 года | P и NP. Часть 2 | ||
| 25 сентября 2009 года | P и NP. Часть 1 | ||
| 8 мая 2009 года | Игровая семантика интуиционисткой логики | ||
| 10 апреля 2009 года | Коммуникационная сложность | ||
| 27 марта 2009 года | Клеточные автоматы | ||
| 6 марта 2009 года | Интуиционистская логика высказываний | ||
| 20 февраля 2009 года | Порождающие грамматики |
| 5 декабря 2008 года | Теорема Тарского | ||
| 14 ноября 2008 года | Элиминация кванторов | ||
| 31 октября 2008 года | Вычислимость | ||
| 17 октября 2008 года | Определимость в планиметрии | ||
| 03 октября 2008 года | Выразимость предикатов | ||
| 16 мая 2008 года | Категориальные грамматики | ||
| 11 апреля 2008 года | Ординалы | ps | |
| 4 апреля 2008 года | Вполне упорядоченные множества | ps | |
| 14 марта и 21 марта 2008 года | Диагональные конструкции | ||
| 29 февраля и 7 марта 2008 года | Логика знаний | ps | |
| 15 и 22 февраля 2008 года | Взвешивания | ps |
| 30 ноября и 7 декабря 2007 года | Теория игр | ps | |
| 16 и 23 ноября 2007 года | Исчисление Ламбека | ps | |
| 9 ноября 2007 года | Комбинаторика бесконечных слов | ps | |
| 2 ноября 2007 года | Игры и стратегии | ps | |
| 19 и 26 октября 2007 года | Вычислимость | ps | |
| 12 октября 2007 года | Разные задачи | ps | |
| 5 октября 2007 года | Комбинаторика слов | ps | |
| 21 и 28 сентября 2007 года | Конечные автоматы | ps |
© 2007—2009 Просеминар по математической логике и информатике
Обратная связь