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

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

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

в весеннем семестре 2015/2016 учебного года
пятница, 16:45–18:20, аудитория 16–22, ГЗ МГУ
занятия возобновятся 19 февраля 2016 года

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

постер: pdf

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

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

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

По всем вопросам можно обращаться к Владимиру Подольскому по электронной почте: podolskii.vv@gmail.com.


Материалы


2016

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—2009 Просеминар по математической логике и информатике
Обратная связь