|
|
 |
| Результат поиска |
Поиск книг, содержащих: Подформула
| Книга | Страницы для поиска | | Яблонский С.В. — Введение в дискретную математику | 15 | | Новиков Ф.А. — Дискретная математика для программистов | 82 | | Клини С. — Математическая логика | 399, 401, 404 | | Эдельман С.Л. — Математическая логика | 18, 130 | | Белоусов А.И., Ткачев С.Б. — Дискретная математика | 399 | | Ершов Ю.Л. — Определимость и вычислимость | 273 | | Такеути Г. — Теория доказательств | 36, 214 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 54 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 51 | | Гладкий А.В. — Математическая логика | 100, 145 | | Шоломов Л.А. — Основы теории дискретных логических и вычислительных устройств | 27 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 46, 69 | | Яблонский С.В. (ред.), Лупанов О.Б. (ред.) — Дискретная математика и математические вопросы кибернетики (том 1) | 12 | | Фомичев В.М. — Дискретная математика и криптология | 51 | | Яблонский С.В. — Введение в дискретную математику | 15 | | Шалыто А.А. — Логическое управление. Методы аппаратной и программной реализации | 50, 127, 198, 443 | | Ковальски Р. — Логика в решении проблем | 212 | | Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 222 | | Клини С.К. — Математическая логика | 399, 401, 404 |
|
|
|
|
О проекте