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

Показано с 16 по 16 из 16 документов

16. Сургутанов В. В. Математическая логика и теория алгоритмов : учеб. пособие Ч. 2. / В. В. Сургутанов, О. О. Привалов ; ВолгГТУ, КТИ (филиал) ВолгГТУ. - Волгоград : ВолгГТУ, 2010. - 80 с.
Другие авторы: Привалов О. О.

Аннотация :
Пособие содержит лекционный материал, материал для практических занятий, методические указания по решению типовых задач, а также варианты заданий для семестровых работ.

Ключевые слова :
математическая логика; логика предикатов; альтернативные логики; алгоритмические модели; теория сложности

Полный текст