|
|
 |
| Результат поиска |
Поиск книг, содержащих: Квантор общности
| Книга | Страницы для поиска | | Гелбаум Б., Олмстед Дж. — Контрпримеры в анализе | 21 | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 171, 183 | | Майков Е.В. — Введение в математический анализ | 10 | | Эдельман С.Л. — Математическая логика | 61 | | Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы | 42 | | Ахо А.В., Сети Р., Ульман Д.Д. — Компиляторы: принципы, технологии и инструменты | 358 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 24 | | Никольская И.Л. — Математическая логика | 95 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 26, 249, 458 | | Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов | 69 | | Кон П. — Универсальная алгебра | 217 | | Голдблатт Р. — Топосы. Категорный анализ логики. | 244, 246 | | Боярчук А.К. — АнтиДемидович (том 4: Справочное пособие по высшей математике. Функции комплексного переменного: теория и практика) | 4 | | Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 147 | | Пугачев В.С., Синицын И.Н. — Стохастические дифференциальные системы. Анализ и фильтрация | 87 | | Каллан Р. — Основные концепции нейронных сетей | 199 | | Линдон Р. — Заметки по логике | 20 | | Гладкий А.В. — Математическая логика | 60 | | Девятков В.В. — Системы искусственного интеллекта | 56 | | Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов | 380 | | Гладкий А.В. — Введение в современную логику | 46 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 68 | | Пенроуз Р. — Тени разума. В поисках науки о сознании | 152 | | Красильщик И.С., Радковский Г.Н., Самохин А.В. — Математика. Часть I. Алгебра и аналитическая геометрия | 13 | | Деньдобренко Б.Н., Малика А.С. — Автоматизация конструирования РЭА | 24 | | Осуга С. — Обработка знаний | 93 | | Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог | 16, 17, 19 | | Успенский В.А. — Лекции о вычислимых функциях | 60, 72 | | Гаек П., Гавранек Т. — Автоматическое образование гипотез | 37 | | Кремер Н.Ш. (ред.) — Высшая математика для экономистов | 142 | | Ковальски Р. — Логика в решении проблем | 208 | | Варпаховский Ф.Л., Солодовников А.С. — Алгебра | 32 | | Поспелов Д.А. — Фантазия или наука: на пути к искусственному интеллекту | 60 | | Бочаров В.А., Маркин В.И. — Основы логики | 93 | | Асмус В.Ф. — Проблема интуиции в философии и математике | 274 | | Падучева Е.В. — О семантике синтаксиса. Материалы к трансформационной грамматике русского языка | 46, 85 | | Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 94, 190 |
|
|
|
|
О проекте