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

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