Название материалаАвторГод издания
Рабочая программа дисциплины Математическая логика и теория алгоритмов (БПИ)
2016
Рабочая программа дисциплины Математическая логика и теория алгоритмов (БИС)
2016
Программы
Математическая логика и теория алгоритмов
2015
Математическая логика и теория алгоритмов
2015
Рабочая программа дисциплины
2014
Рабочая программа дисциплины
2014
Аннотация
Аннотация. Математическая логика и теория алгоритмов нетнет
Учебные издания
Математическая логика и теория алгоритмов учебная программа

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



2010
Математическая логика и теория алгоритмов учебная программа

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