|
|
Электронная библиотека
механико-математического факультета
Московского государственного университета
|
|
|
|
|
| Результат поиска |
Поиск книг, содержащих: Свободная переменная
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. - Языки и исчисления | 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 |
|
|
|
|
|
|
|
О проекте