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

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