Осенний семестр 2015/2016 уч. года: среда, 16:45, ауд. 12-13.
Аннотация.
В курсе рассматриваются различные подходы к описанию замкнутых классов функций многозначной логики. Доказывается теорема Поста о конечной порожденности замкнутых классов булевых функций, приводится описание всех замкнутых классов. Изучаются семейства предполных классов функций k-значной логики; рассматривается ряд других семейств классов.
Современные управляемые языки программирования, суббота, 5 пара, 802 2 Уч. корпус
В курсе изучаются языки программирования Java и C# и основы объектно-ориентированного программирования в применении к реализации эффективных алгоритмов и структур данных.
Исследуются современные алгоритмы обработки больших объемов данных. Изучаются современные платформы (MapReduce, Hadoop), позволяющие эффективно распараллеливать обработку данных различного вида (в частности, веб-страниц).