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

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

для студентов 3-5 курса и аспирантов, 1/2 года. По вторникам с 10:45 в ауд. 14-13. 

с/к для студентов 3-5 курсов и аспирантов, 1/2 года. По четвергам с 16:45, ауд. 13-23. 

обязательный с/к для студентов 5 курсов и по выбору для студентов 3-4 курсов и аспирантов, 1/2 года. По средам с 10:50, ауд. 14-13. 

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

Осенний семестр 2015/2016 уч. года: среда, 18:30.

Осенний семестр 2015/2016 уч. года: пятница, 16:45

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

Аннотация.

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

Современные управляемые языки программирования, суббота, 5 пара, 802 2 Уч. корпус

В курсе изучаются языки программирования Java и C# и основы объектно-ориентированного программирования в применении к реализации эффективных алгоритмов и структур данных.