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

для студентов 1–3 курсов

механико-математический факультет МГУ им. М. В. Ломоносова
кафедра математической логики и теории алгоритмов

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



постер: pdf

Возобновляются занятия просеминара в осеннем семестре 2021 года! Занятия будут по пятницам в 16:45.

Первое занятие — 1 октября.

Занятия будут удалённо через Zoom: идентификатор конференции: 822 8536 4788, код доступа: 184146.

Смотрите также страницу просеминара на сайте кафедры.

Просеминар для младшекурсников является традицией кафедры математической логики и теории алгоритмов. На этом семинаре начинали свою работу многие студенты, ставшие потом известными математиками. Участие в семинаре не требует дополнительной подготовки, там сразу будут предложены задачи разных уровней сложности, а также исследовательские нерешённые проблемы, вводящие участника в тематику, существенную для разных областей математики, 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; Просеминар по математической логике и информатике
Обратная связь