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

Название материалаАвторГод издания
Аннотация
Аннотация. Математическая логика и теория алгоритмов нетнет
Учебные издания
Математическая логика и теория алгоритмовучебная программа
2009
Математическая логика и теория алгоритмовпрактикум


2010
Математическая логика и теория алгоритмовучебная программа
2012
Презентационные материалы
Презентация2013
Презентационный материал2008
Раздаточные материалы
Задания контрольной по исчислению предикатовПервухин Михаил Александрович
Задания для контрольных работ
Задания для контрольных работ по дисциплине "Математическая логика и теория алгоритмов "
2015