Просеминар по математической логике и информатике
для студентов 1–3 курсов
механико-математический факультет
МГУ им. М. В. Ломоносова
кафедра математической логики и теории алгоритмов
руководители семинара: проф. Л. Д. Беклемишев,
к. ф.-м. н. С. Л. Кузнецов,
асп. А. А. Оноприенко,
проф. А. Л. Семёнов
постер: pdf
Просеминар для младшекурсников является традицией
кафедры
математической логики и теории алгоритмов . На этом семинаре начинали
свою работу многие студенты, ставшие потом известными математиками.
Участие в семинаре не требует дополнительной подготовки, там сразу
будут предложены задачи разных уровней сложности, а также исследовательские
нерешённые проблемы, вводящие участника в тематику, существенную для
разных областей математики, computer science и их приложений.
Тематика просеминара включает в себя
логику первого порядка,
сложность вычислений, теорию моделей,
интуиционистскую логику высказываний,
формальные языки и грамматики,
коммуникационную сложность,
модальную логику,
конечные автоматы,
теорию игр,
клеточные автоматы.
Формат просеминара — короткие серии из 2–3 занятий на разные
темы, проводимые профессорами, преподавателями, аспирантами и
студентами кафедры, с параллельным решением и разбором задач.
Приглашаются студенты 1–3 курсов, школьники старших
классов, студенты других специальностей и вообще все интересующиеся.
Начинать посещение семинара можно с любого занятия.
По всем вопросам (в том числе для оформления пропуска в МГУ участникам семинара,
не являющихся его студентами или аспирантами) можно обращаться к Анастасии Оноприенко по электронной почте:
ansidiana@yandex.ru .
Материалы
2021
18 и 25 мая 2021 года
Диагональные конструкции
Zoom
pdf
27 апреля 2021 года
Арифметика Пресбургера
20 апреля 2021 года
Логика описания понятий (дескрипционная логика) — продолжение
pdf
13 апреля 2021 года
Логика описания понятий (дескрипционная логика)
pdf
6 апреля 2021 года
λ-исчисление
pdf
30 марта 2021 года
Интуиционистская логика
pdf
2020
В осеннем семестре 2020 г. просеминар проводился совместно с факультативом по математической логике для 2 курса .
2 июня 2020 года
Исчисление секвенций (окончание)
видео
19 мая 2020 года
Исчисление секвенций для логики предикатов: классической и интуиционистской
видео
pdf
12 мая 2020 года
Исчисление секвенций для логики высказываний
видео
pdf
10 марта 2020 года
Колмогоровская сложность (продолжение)
pdf
3 марта 2020 года
Колмогоровская сложность
pdf
18 февраля 2020 года
Взвешивания и вопросы
pdf
2019
В осеннем семестре 2019 г. просеминар проводился совместно с факультативом по математической логике для 2 курса .
9 апреля 2019 года
Логика описания понятий (дескрипционная логика)
pdf
26 марта 2019 года
Модальные логики (добавок)
pdf
19 марта 2019 года
Модальные логики
pdf
26 февраля 2019 года
Порождающие грамматики
pdf
2018
7 декабря 2018 года
Определимость в геометрии
pdf
9 ноября 2018 года
Колмогоровская сложность
pdf
12 октября 2018 года
Вычислимость
pdf
28 сентября 2018 года
Интуиционистское исчисление высказываний
pdf
20 апреля 2018 года
Игры Эренфойхта
pdf
23 марта 2018 года
Логика описания понятий (дескрипционная логика)
pdf
16 марта 2018 года
Колмогоровская сложность (дополнительные задачи)
pdf
16 февраля 2018 года
Колмогоровская сложность
pdf
2017
17 ноября 2017 года
Порядки и решётки
pdf
20 и 27 октября 2017 года
Порождающие грамматики
pdf
6 октября 2017 года
Клеточные автоматы
pdf
5 мая 2017 года
Многообразия алгебр
pdf
24 марта 2017 года
Конечные автоматы
pdf
10 февраля 2017 года
Вполне упорядоченные множества и ординалы
pdf
2016
25 ноября 2016 года
Игры Эренфойхта
pdf
11 ноября 2016 года
Исчисление секвенций для логики предикатов
pdf
21 октября 2016 года
Исчисление секвенций для логики высказываний
pdf
30 сентября 2016 года
Определимость в геометрии
pdf
13 мая 2016 года
Игры и стратегии
pdf
15 апреля 2016 года
Интуиционистское исчисление высказываний
pdf
25 марта 2016 года
λ-исчисление
pdf
4 марта 2016 года
Колмогоровская сложность
pdf
19 февраля 2016 года
Взвешивания (и не только)
pdf
2015
16 октября 2015 года
Комбинаторика слов
pdf
2 октября 2015 года
Логика знаний
pdf
25 сентября 2015 года
Эпистемические головоломки
pdf
17 апреля 2015 года
Игровая семантика интуиционистской логики
pdf
27 февраля 2015 года
Комбинаторы и лямбда-исчисление
pdf
2014
12 декабря 2014 года
Машина Тьюринга
pdf
21 ноября 2014 года
Вычислимость
pdf
7 ноября 2014 года
Выразимость предикатов
pdf
17 октября 2014 года
Разрешающие деревья
pdf
3 октября 2014 года
Коммуникационная сложность
pdf
11 апреля 2014 года
Игры на графах социальных сетей
pdf
28 марта 2014 года
P и NP. Часть 3.
pdf
21 марта 2014 года
P и NP. Часть 2.
pdf
28 февраля 2014 года
P и NP. Часть 1.
pdf
2013
13 декабря 2013 года
Взвешивания
pdf
8 ноября 2013 года
Вполне упорядоченные множества
pdf
18 октября 2013 года
Клеточные автоматы
pdf
4 октября 2013 года
Определимость в геометрии
pdf
10 мая 2013 года
Игры и стратегии 2
pdf
19 апреля 2013 года
Игры и стратегии
pdf
29 марта 2013 года
Порождающие грамматики
pdf
2012
23 ноября 2012 года
Игры Эренфойхта
pdf
16 ноября 2012 года
Логика знаний
pdf
12 октября 2012 года
Разрешающие деревья 2
pdf
28 сентября 2012 года
Разрешающие деревья
pdf
11 мая 2012 года
Энтропия Шеннона, часть вторая
pdf
20 апреля 2012 года
Кодирование и энтропия
pdf
6 апреля 2012 года
Игровая семантика интуиционистской логики
pdf
17 февраля 2012 года
Коммуникационная сложность
pdf
2011
11 ноября 2011 года
Сложность булевых схем
pdf
14 октября 2011 года
Взвешивания
pdf
23 сентября 2011 года
Вполне упорядоченные множества
pdf
25 марта 2011 года
Комбинаторика бесконечных слов
pdf
11 марта 2011 года
Комбинаторика слов
pdf
18 февраля 2011 года
Исчисление секвенций для логики высказываний
pdf
2010
26 ноября 2010 года
Энтропия Шеннона и кодирование
pdf
19 ноября 2010 года
Комбинаторы и лямбда-исчисление, часть 2
pdf
12 ноября 2010 года
Комбинаторы и лямбда-исчисление
pdf
29 октября 2010 года
Игры и стратегии - 3. Коалиции
pdf
15 октября 2010 года
Игры и стратегии - 2
pdf
1 октября 2010 года
Игры и стратегии
pdf
17 сентября 2010 года
Выразимость предикатов
pdf
30 апреля 2010 года
Игра Эренфойхта
pdf
23 апреля 2010 года
Деревья разрешения 2
pdf
2 апреля 2010 года
Деревья разрешения
pdf
5 марта 2010 года
Модальная логика
pdf
19 февраля 2010 года
Взвешивания
pdf
2009
20 ноября 2009 года
Кодирование
pdf
13 ноября 2009 года
Решётки, часть 2
pdf
30 октября 2009 года
Решётки
pdf
9 октября 2009 года
P и NP. Часть 2
pdf
25 сентября 2009 года
P и NP. Часть 1
pdf
8 мая 2009 года
Игровая семантика интуиционисткой логики
pdf
10 апреля 2009 года
Коммуникационная сложность
pdf
27 марта 2009 года
Клеточные автоматы
pdf
6 марта 2009 года
Интуиционистская логика высказываний
pdf
20 февраля 2009 года
Порождающие грамматики
pdf
2008
5 декабря 2008 года
Теорема Тарского
pdf
14 ноября 2008 года
Элиминация кванторов
pdf
31 октября 2008 года
Вычислимость
pdf
17 октября 2008 года
Определимость в планиметрии
pdf
03 октября 2008 года
Выразимость предикатов
pdf
16 мая 2008 года
Категориальные грамматики
pdf
11 апреля 2008 года
Ординалы
ps
pdf
4 апреля 2008 года
Вполне упорядоченные множества
ps
pdf
14 марта и 21 марта 2008 года
Диагональные конструкции
pdf
29 февраля и 7 марта 2008 года
Логика знаний
ps
pdf
15 и 22 февраля 2008 года
Взвешивания
ps
pdf
2007
30 ноября и 7 декабря 2007 года
Теория игр
ps
pdf
16 и 23 ноября 2007 года
Исчисление Ламбека
ps
pdf
9 ноября 2007 года
Комбинаторика бесконечных слов
ps
pdf
2 ноября 2007 года
Игры и стратегии
ps
pdf
19 и 26 октября 2007 года
Вычислимость
ps
pdf
12 октября 2007 года
Разные задачи
ps
pdf
5 октября 2007 года
Комбинаторика слов
ps
pdf
21 и 28 сентября 2007 года
Конечные автоматы
ps
pdf
© 2007—&infty; Просеминар по математической логике и информатике
Обратная связь