|
|
 |
| Результат поиска |
Поиск книг, содержащих: Формальная система
| Книга | Страницы для поиска | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 324, 380 | | Клини С. — Математическая логика | 233, 237—269, 334 | | Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование | 172 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 248 | | Карри Х.Б. — Основания математической логики | 56, 135 | | Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 359 | | Гордон Е.И., Кусраев А.Г., Кутателадзе С.С. — Инфинитезимальный анализ | 48 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | III—653; V—639 | | Лорьер Ж.-Л. — Системы искусственного интеллекта | 81 | | Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс | 349 | | Клини С.К. — Математическая логика | 233, 237—269, 334 |
|
|
|
|
О проекте