|
|
 |
| Результат поиска |
Поиск книг, содержащих: Функциональный символ
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Языки и исчисления | 90 | | Клини С. — Математическая логика | 202, 245 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 28 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 150, 153, 172, 176, 179 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 178, 237, 303, 323 | | Мартин-Лёф П. — Очерки по конструктивной математике | 19 | | Линдон Р. — Заметки по логике | 20—22, 94, 105, 113 | | Девятков В.В. — Системы искусственного интеллекта | 54 | | Ковальски Р. — Логика в решении проблем | 18 | | Граве Д.А. — Трактат по алгебраическому анализу. Том 2: Исторический обзор | 248, 249 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 89 | | Клини С.К. — Математическая логика | 202, 245 |
|
|
|
|
О проекте