Судоплатов С. В. Математическая логика и теория алгоритмов: учебник для вузов / Судоплатов С. В., Овчинникова Е. В. - Москва; Новосибирск: ИНФРА-М: Издательство НГТУ, 2004. - 224 с.: ил. - (Высшее образование). - Список лит.: с. 212. - Предм. указ.: с. 215. - ISBN 5-16-001975-8.Гриф: Министерство образования и науки РФ Отраслевые рубрики: математика, математическая логика, теория алгоритмов Ключевые слова: алгоритмические логики, алгоритмы, Геделя теорема о неполноте, исчисление высказываний, исчисление предикатов, конечные автоматы, логики, машина Тьюринга, неклассические логики, неразрешимость, предикатные логики, пропозициональные логики, Райса теорема, рекурсивные функции, система аксиом арифметики Пеано, сортировка, теория моделей Условия доступа:
Университетская библиотека онлайн Доступ по логину и паролю. Доступ до 08.06.2024.
Сигла хранения | Всего экз. | В наличии | Заказано | абонемент | 1 | 1 | 0 | чит. зал | 1 | 1 | 0 |
|