Книга | Страницы для поиска |
Зорич В.А. - Математический анализ (том 1) | 7, 30 |
Гелбаум Б., Олмстед Дж. - Контрпримеры в анализе | 12 |
Новиков П.С. - Конструктивная математическая логика с точки зрения классической | 171, 183 |
Мендельсон Э. - Введение в математическую логику | 53, 55, 235 |
Бугров Я.С., Никольский С.М. - Высшая математика. Дифференциальное и интегральное исчисление | 12 |
Новиков Ф.А. - Дискретная математика для программистов | 119 |
Майков Е.В. - Введение в математический анализ | 10 |
Бутузов В.Ф., Крутицкая Н.Ч., Медведев Г.Н. - Математический анализ в вопросах и задачах | 8 |
Клини С. - Математическая логика | 100 |
Шапиро С.И. - Решение логических и игровых задач | 55 |
Тэрано Т., Асаи К., Сугэно М. - Прикладные нечеткие системы | 21 |
Эдельман С.Л. - Математическая логика | 61 |
Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. - Логика. Автоматы. Алгоритмы | 42 |
Ершов Ю.Л., Палютин Е.А. - Математическая логика | 105 |
Горбатов В.А. - Фундаментальные основы дискретной математики. Информационная математика | 142 |
Нильсон Н. - Искусственный интеллект. Методы поиска решений | 179 |
Барвайс Д. - Справочная книга по математической логике. Часть 3: теория рекурсии | 180 |
Успенский В.А., Верещагин Н.К., Плиско В.Е. - Вводный курс математической логики | 25 |
Фейс К. - Алгебра: кольца, модули и категории (том 1) | 28 |
Никольская И.Л. - Математическая логика | 95 |
Гиндикин С.Г. - Алгебра логики в задачах | 260 |
Кейслер Г.Дж., Чень-Чунь Ч. - Теория непрерывных моделей | 36 |
Вагин В.Н., Головина Е.Ю., Загорянская А.А. - Достоверный и правдоподобный вывод в интеллектуальных системах | 26, 249, 458 |
Кобринский Н.Е., Трахтенброт Б.А. - Введение в теорию конечных автоматов | 69 |
Кон П. - Универсальная алгебра | 217 |
Голдблатт Р. - Топосы. Категорный анализ логики. | 250 |
Белоусов А.И., Ткачев С.Б. - Дискретная математика | I, 28 |
Фейс Р. - Модальная логика | 24 |
Гильберт Д., Бернайс П. - Основания математики. Логические исчисления и формализация арифметики. | 26, 135 |
Боярчук А.К. - АнтиДемидович (том 4: Справочное пособие по высшей математике. Функции комплексного переменного: теория и практика) | 4 |
Шиханович Ю.А. - Введение в современную математику. Начальные понятия | 147 |
Воднев В.Т., Наумович А.Ф., Наумович Н.Ф. - Основные математические формулы. Справочник | 248 |
Каллан Р. - Основные концепции нейронных сетей | 199 |
Линдон Р. - Заметки по логике | 20 |
Новиков П.С. - Элементы математической логики | 129, 185 |
Хант Э. - Искусственный интеллект | 396 |
Зорич В.А. - Математический анализ (Часть 1) | 8, 36 |
Гладкий А.В. - Математическая логика | 60 |
Девятков В.В. - Системы искусственного интеллекта | 56 |
Бронштейн И.Н., Семендяев К.А. - Справочник по математике для инженеров и учащихся ВТУЗов | 380 |
Виноградов И.М. - Математическая энциклопедия. Предметный указатель | IV-93 |
Гладкий А.В. - Введение в современную логику | 46 |
Лавров И.А., Максимова Л.Л. - Задачи по теории множеств, математической логике и теории алгоритмов | 68 |
Вопенка П. - Альтернативная теория множеств. Новый взгляд на бесконечность | 43 |
Красильщик И.С., Радковский Г.Н., Самохин А.В. - Математика. Часть I. Алгебра и аналитическая геометрия | 13 |
Деньдобренко Б.Н., Малика А.С. - Автоматизация конструирования РЭА | 24 |
Осуга С. - Обработка знаний | 93 |
Стерлинг Л., Шапиро Э. - Исскуство программирования на языке Пролог | 19 |
Успенский В.А. - Лекции о вычислимых функциях | 60, 72 |
Глушков В.М. - Основы безбумажной информатики | 182 |
3алманзон Л.А. - Беседы об автоматике и кибернетике | 292 |
Лихтенштейн В.Е. - Дискретность и случайность в экономико-математических задачах | 10 |
Гаек П., Гавранек Т. - Автоматическое образование гипотез | 37 |
Кремер Н.Ш. (ред.) - Высшая математика для экономистов | 142 |
Рассел С., Норвиг П. - Искусственный интеллект: современный подход | 357 |
Марков А.С., Лисовский К.Ю. - Базы данных. Введение в теорию и методологию | 210 |
Фрид Э., Пастор И., Рейман И. - Малая математическая энциклопедия | 665 |
Куринной Г.Ч. - Математика. Справочник | 71 |
Плоткин Б.И. - Универсальная алгебра, алгебраическая логика и базы данных | 180, 181, 182 |
Ковальски Р. - Логика в решении проблем | 208 |
Лорьер Ж.-Л. - Системы искусственного интеллекта | 102 |
Варпаховский Ф.Л., Солодовников А.С. - Алгебра | 31 |
Поспелов Д.А. - Фантазия или наука: на пути к искусственному интеллекту | 60 |
Судоплатов С.В., Овчинникова Е.В. - Элементы дискретной математики | 222 |
Бочаров В.А., Маркин В.И. - Основы логики | 93 |
Дудаков С.М. - Математическое введение в информатику | 29 |
Калужин Л.А. - Введение в общую алгебру | 80 |
Асмус В.Ф. - Проблема интуиции в философии и математике | 274 |
Клини С.К. - Математическая логика | 100 |