|
|
 |
| Результат поиска |
Поиск книг, содержащих: Формула выполнимая
| Книга | Страницы для поиска | | Новиков Ф.А. — Дискретная математика для программистов | 102 | | Верещагин Н.К., Шень А. — Языки и исчисления | 58, 159 | | Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 858, 859 | | Шапиро С.И. — Решение логических и игровых задач | 35 | | Эдельман С.Л. — Математическая логика | 47, 68, 75 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 39 | | Смолин Д.В. — Введение в искусственный интеллект: конспект лекций | 63 | | Мальцев А.И. — Алгебраические системы | 160, 161 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 29 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 239 | | Новиков П.С. — Элементы математической логики | 49, 159 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 225 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 47, 75 | | Москинова И.Г. — Дискретная математика. Математика для менеджера в примерах и упражнениях | 184 | | Михалевич В.С., Кукса А.И. — Методы последовательной оптимизации в дискретных сетевых задачах оптимального распределения ресурсов. | 42 | | Бочаров В.А., Маркин В.И. — Основы логики | 62, 122 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 57, 157 | | Новиков П.С. — Элементы математической логики | 49, 159 |
|
|
|
|
О проекте