|
|
 |
| Результат поиска |
Поиск книг, содержащих: Предикатный символ
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 463 | | Верещагин Н.К., Шень А. — Языки и исчисления | 90 | | Клини С. — Математическая логика | 245 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 28 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 154 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 237, 313, 323 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 122 | | Девятков В.В. — Системы искусственного интеллекта | 55 | | Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов | 379 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | IV—577 | | Гладкий А.В. — Введение в современную логику | 72 | | Ковальски Р. — Логика в решении проблем | 21 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 89 | | Клини С.К. — Математическая логика | 245 |
|
|
|
|
О проекте