|
|
 |
| Результат поиска |
Поиск книг, содержащих: Связанная переменная
| Книга | Страницы для поиска | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 40 | | Мендельсон Э. — Введение в математическую логику | 56 | | Клини С. — Математическая логика | 101 | | Шапиро С.И. — Решение логических и игровых задач | 55 | | Никольская И.Л. — Математическая логика | 95 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 27, 446 | | Филд А., Харрисон П. — Функциональное программирование | 132 | | Карри Х.Б. — Основания математической логики | 172, 177 | | Феферман С. — Числовые системы. Основания алгебры и анализа | 25 | | Гордон Е.И., Кусраев А.Г., Кутателадзе С.С. — Инфинитезимальный анализ | 49 | | Девятков В.В. — Системы искусственного интеллекта | 57 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | IV—1088 | | Борковский А.Б. — Англо-русский словарь по программированию и информатике | 20, 40 | | Успенский В.А. — Лекции о вычислимых функциях | 55, 56 | | Ковальски Р. — Логика в решении проблем | 209 | | Клини С.К. — Математическая логика | 101 | | Мендельсон Э. — Введение в математическую логику | 56 |
|
|
|
|
О проекте