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

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


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