Поиск :
Личный кабинет :
Электронный каталог: Судоплатов, Сергей Владимирович - Математическая логика и теория алгоритмов
Судоплатов, Сергей Владимирович - Математическая логика и теория алгоритмов
Экз. чит. зала
Книга
Автор: Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов : Учеб. по направлениям 654600 Информатика и вычислит.техника и др.
Серия: Высшее образование, Высшее образование
Издательство: ИНФРА-М, Изд-во НГТУ, 2004 г.
ISBN 5-16-001975-8, 5-7782-0458-2
Автор: Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов : Учеб. по направлениям 654600 Информатика и вычислит.техника и др.
Серия: Высшее образование, Высшее образование
Издательство: ИНФРА-М, Изд-во НГТУ, 2004 г.
ISBN 5-16-001975-8, 5-7782-0458-2
Книга
51мл С892
Судоплатов, Сергей Владимирович.
Математическая логика и теория алгоритмов : Учеб. по направлениям 654600 Информатика и вычислит.техника и др. / С.В.Судоплатов,Е.В.Овчинникова;Новосиб.гос.техн.ун-т . - Москва : ИНФРА-М ; Новосибирск : Изд-во НГТУ, 2004 . - 223,1с. : ил. - (Высшее образование) . - Библиогр.:с.212-214 . - На рус. яз. - ISBN 5-16-001975-8 . - ISBN 5-7782-0458-2 : 73.70 .
ББК 22.12я73-1
основной = математика
основной = математика : математическая логика
основной = математика : математическая логика : теория алгоритмов и вычислимых функций
основной = математика : математическая логика : исчисление высказываний
основной = математика : математическая логика : исчисление предикатов
основной = математика : математическая логика : теория моделей
основной = виды изданий : учебные издания
основной = виды изданий : учебные издания : учебники
основной = читательское назначение : вузы
00000000161172 МАТЧ 51мл С892
51мл С892
Судоплатов, Сергей Владимирович.
Математическая логика и теория алгоритмов : Учеб. по направлениям 654600 Информатика и вычислит.техника и др. / С.В.Судоплатов,Е.В.Овчинникова;Новосиб.гос.техн.ун-т . - Москва : ИНФРА-М ; Новосибирск : Изд-во НГТУ, 2004 . - 223,1с. : ил. - (Высшее образование) . - Библиогр.:с.212-214 . - На рус. яз. - ISBN 5-16-001975-8 . - ISBN 5-7782-0458-2 : 73.70 .
ББК 22.12я73-1
основной = математика
основной = математика : математическая логика
основной = математика : математическая логика : теория алгоритмов и вычислимых функций
основной = математика : математическая логика : исчисление высказываний
основной = математика : математическая логика : исчисление предикатов
основной = математика : математическая логика : теория моделей
основной = виды изданий : учебные издания
основной = виды изданий : учебные издания : учебники
основной = читательское назначение : вузы
00000000161172 МАТЧ 51мл С892