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