|
|
 |
| Результат поиска |
Поиск книг, содержащих: Символ функциональный
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Языки и исчисления | 90 | | Мальцев А.И. — Алгоритмы и рекурсивные функции | 20, 264 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 150, 153, 172, 176, 179 | | Степанов С.А. — Арифметика алгебраических кривых | 249 | | Ершов Ю.Л. — Определимость и вычислимость | 271 | | Гончаров С.С. — Счетные булевы алгебры и разрешимость | 2 | | Гладкий А.В. — Математическая логика | 148, 207 | | Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 352, 354, 378 | | Кейслер Г., Чэн Ч.Ч. — Теория моделей | 32 | | Ершов Ю.Л. — Проблемы разрешимости и конструктивные модели | 12 | | Ковальски Р. — Логика в решении проблем | 18 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 89 |
|
|
|
|
О проекте