|
|
 |
| Результат поиска |
Поиск книг, содержащих: Свободная переменная
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Языки и исчисления | 94 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 38, 40 | | Мендельсон Э. — Введение в математическую логику | 56 | | Клини С. — Математическая логика | 101, 301 | | Артамонов В.А., Салий В.Н., Скорняков Л.А. — Общая алгебра (том 2) | 312 | | Никольская И.Л. — Математическая логика | 95 | | Кейслер Г.Дж., Чень-Чунь Ч. — Теория непрерывных моделей | 35 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 27, 163—165, 171, 177, 179, 181, 184, 446 | | Степанов С.А. — Арифметика алгебраических кривых | 251 | | Филд А., Харрисон П. — Функциональное программирование | 132 | | Карри Х.Б. — Основания математической логики | 172, 177 | | Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 49 | | Феферман С. — Числовые системы. Основания алгебры и анализа | 25 | | Гордон Е.И., Кусраев А.Г., Кутателадзе С.С. — Инфинитезимальный анализ | 49 | | Девятков В.В. — Системы искусственного интеллекта | 57 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | IV—1083 | | Борковский А.Б. — Англо-русский словарь по программированию и информатике | 115 | | Успенский В.А. — Лекции о вычислимых функциях | 55, 56 | | Бенерджи Р. — Теория решения задач | 164 | | Р. Паллю де Ла Барьер — Курс теории автоматического управления | 276 | | Ковальски Р. — Логика в решении проблем | 209 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 93 | | Клини С.К. — Математическая логика | 101, 301 | | Мендельсон Э. — Введение в математическую логику | 56 |
|
|
|
|
О проекте