Математическая логика и теория алгоритмов

Название материала Автор Год издания
Презентационные материалы
Презентационный материал Плешкова Татьяна Юрьевна 2008
Презентация Первухин Михаил Александрович 2013
Раздаточные материалы
Задания контрольной по исчислению предикатов Первухин Михаил Александрович
Задания для контрольных работ
Задания для контрольных работ по дисциплине «Математическая логика и теория алгоритмов»
2019