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

Материалы по дисциплине Математическая логика и теория алгоритмов

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

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



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

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