|
|
 |
| Результат поиска |
Поиск книг, содержащих: Правило modus ponens
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Языки и исчисления | 79 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 43, 56, 59 | | Метакидес Г., Нероуд А. — Принципы логики и логического программирования | 44, 47, 99 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 100 | | Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 305 | | Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 118, 122 | | Хопкрофт Д., Мотвани Р., Ульман Д. — Введение в теорию автоматов, языков и вычислений | 24 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 100 |
|
|
|
|
О проекте