Механико-математический факультет

понедельник с 16:45 в ауд. 14-13.

по понедельникам с 18:20 в ауд. 14-13.

для студентов 3-5 курсов и аспирантов. Четверг, с 18:30 в ауд. 16-13. 

обязательный с/к для студентов 4 курса, 1 год. По вторникам с 16:45, ауд. 406. 

Обязательный с/к для студентов 3 курса, 1 год. По понедельникам с 16:45, ауд. 13-18

Осенний семестр 2015/2016 уч. года: среда, 16:45, ауд. 12-13.

Аннотация.

В курсе рассматриваются различные подходы к описанию замкнутых классов функций многозначной логики. Доказывается теорема Поста о конечной порожденности замкнутых классов булевых функций, приводится описание всех замкнутых классов. Изучаются семейства предполных классов функций k-значной логики; рассматривается ряд других семейств классов.

Обязательный спецкурс для студентов 3 курса кафедры дискретной математики.

понедельник с 18:15 в аудитории 14-13.