|
|
 |
| Результат поиска |
Поиск книг, содержащих: Формулы эквивалентные
| Книга | Страницы для поиска | | Яблонский С.В. — Введение в дискретную математику | 20 | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 37 | | Верещагин Н.К., Шень А. — Языки и исчисления | 13, 159 | | Гаврилов Г.П., Сапоженко А.А. — Задачи и упражнения по дискретной математике | 14 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика | 34, 129, 144 | | Мальцев А.И. — Алгебраические системы | 162 | | Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов | 29 | | Ершов Ю.Л. — Определимость и вычислимость | 283 | | Гаврилов Г.П., Сапоженко А.А. — Сборник задач по дискретной математике | 24 | | Шоломов Л.А. — Основы теории дискретных логических и вычислительных устройств | 28 | | Яблонский С.В. (ред.), Лупанов О.Б. (ред.) — Дискретная математика и математические вопросы кибернетики (том 1) | 17 | | Яблонский С.В. — Введение в дискретную математику | 20 | | Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 178 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 13, 157 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 34, 129, 144 |
|
|
|
|
О проекте