Число задач на экзамене по логике и теории алгоритмов:
В - нужно будет решать задачу по вычислимым функциям, А - по аксиомам Пеано, Л - по лямбда-исчислению. Группа 991 Батырова ВАЛ Бондарев ВАЛ Дуров ничего Иванов ВАЛ Котов ВАЛ Крепцев АЛ Кузьминых ВЛ Мельничек ВА Свинолупова ничего Фахрудинова ВАЛ Фешина В Чеботков ВАЛ Чугунов ВАЛ Чуркина ВАЛ Юрочкин Л Группа 992 Гальцев Л Загородникова ничего Казённова ничего Лихоносов В Матешук ВЛ Михайлюк ВЛ Назаров Л Никифоров В Писарев ВАЛ Скобелин ВАЛ Смалева ничего Солодкова В Султан В Усиков В Хасанов ничего Хусаинов ВАЛ Яковлева В Группа 993 Бирюков - АЛ Голов - ВАЛ Гуляева - ВАЛ Дзюба - ВА Дудченко - ВАЛ Кисленко - ВА Крукле - ничего Куликов - АЛ Липатов - ВАЛ Лосев - А Полякова - ВАЛ Северина - ВАЛ Хузиев - ничего Чернецкий - ВЛ Шаляпина - ВАЛ Широков - ВЛ Группа 994 Аникушин - ВА Гусев - Л Егоров - ВАЛ Емельянова - Л Казбан - ВАЛ Комиссаров - ВАЛ Кондакова - ВЛ Коноплев - ВАЛ Крохина - ВЛ Обидина - ВАЛ Рухович - ничего Суходолов - ничего Таран - ничего Яговцев - АЛ Михалева - АЛ Бессонова - АЛ