|
Книга ID: 563775
Теория алгоритмов и дедуктивный вывод : Учеб. пособие по курсам "Дискрет. математика" и "Мат. логика" : [Для студентов спец. "Прикл. математика", "Системотехника" и т. п.] Вагин В. Н., Головина Е. Ю., Фомина М. В.; М-во общ. и проф. образования РФ. Моск. энергет. ин-т (техн. ун-т)
Тематика, ключевые слова:
Математическая логика -- Теория алгоритмов, рекурсивные функции -- Учебник для высшей школы.
Математическая логика -- Логические исчисления -- Учебник для высшей школы.
дедуктивный вывод.
Сведения об издании:
М. Изд-во МЭИ 1999
44, [2] с. 20 см
Язык:
rus
|
|
