|
|
 |
| Результат поиска |
Поиск книг, содержащих: Теорема Поста
| Книга | Страницы для поиска | | Яблонский С.В. — Введение в дискретную математику | 42 | | Верещагин Н.К., Шень А. — Вычислимые функции | 13, 33, 108 | | Клини С. — Математическая логика | 352 | | Мальцев А.И. — Алгоритмы и рекурсивные функции | 82 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 102 | | Гиндикин С.Г. — Алгебра логики в задачах | 83 | | Гладкий А.В. — Математическая логика | 322 | | Гаврилов Г.П., Сапоженко А.А. — Сборник задач по дискретной математике | 71 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 57, 129 | | Яблонский С.В. (ред.), Лупанов О.Б. (ред.) — Дискретная математика и математические вопросы кибернетики (том 1) | 34, 35 | | Яблонский С.В. — Введение в дискретную математику | 42 | | Лорьер Ж.-Л. — Системы искусственного интеллекта | 98 | | Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 196 | | Клини С.К. — Математическая логика | 352 |
|
|
|
|
О проекте