| Книга | Страницы для поиска |
| Яблонский С.В. — Введение в дискретную математику | 113, 118 |
| Верещагин Н.К., Шень А. — Вычислимые функции | 6, 112, 113, 115, 117, 125, 132, 153, 156, 157 |
| Мендельсон Э. — Введение в математическую логику | 251—253 |
| Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 838 |
| Шеннон К. — Работы по теории информации и кибернетике | 165, 740 |
| Клини С. — Математическая логика | 282 и след., 318, 393 |
| Непейвода Н.Н., Скопин И.Н. — Основания программирования | 848 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 94 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика | 242, 248 |
| Мальцев А.И. — Алгоритмы и рекурсивные функции | 14, 219 |
| Китаев А., Шень А., Вялый М. — Классические и квантовые вычисления | 16 |
| Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика | 260 |
| Уэзерелл Ч. — Этюды для программистов | 71—75 |
| Хренников А.Ю. — Моделирование процессов мышления в p-адических системах координат | 68 |
| Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии | 12 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 109 |
| Лаллеман Ж. — Полугруппы и комбинаторные приложения | 155 |
| Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 9, 18, 20 |
| Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов | 11 |
| Степанов С.А. — Арифметика алгебраических кривых | 343, 344 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | 570 |
| Гэри М., Джонсон Д. — Вычислительные машины и труднорешаемые задачи | 24, 46 |
| Мартин-Лёф П. — Очерки по конструктивной математике | 21 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 155 |
| Фу К. — Структурные методы в распознавании образов | 50 |
| Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения | 66, 233 |
| Эбелинг В., Энгель А., Файстель Р. — Физика процессов эволюции | 116 |
| Хант Э. — Искусственный интеллект | 49 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 143 |
| Гладкий А.В. — Математическая логика | 282 |
| Гаврилов Г.П., Сапоженко А.А. — Сборник задач по дискретной математике | 213 |
| Шоломов Л.А. — Основы теории дискретных логических и вычислительных устройств | 159 |
| Хантер Р. — Проектирование и конструирование компиляторов | 30, 199 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I—819; V—456 |
| Пуаза Б. — Курс теории моделей | 7.f |
| Матиясевич Ю.В. — Десятая проблема Гильберта | 65 |
| Кудрявцев В.Б., Алёшин С.В., Подколзин А.С. — Введение в теорию автоматов | 29 |
| Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 122 |
| Месарович М., Такахара Я. — Общая теория систем: математические основы | 253 |
| Осуга С., Саэки Ю. — Приобретение знаний | 180 |
| Борковский А.Б. — Англо-русский словарь по программированию и информатике | 265 |
| Нивергельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подход к решению математических задач | 331 |
| Пратт Т. — Языки программирования. Разработка и реализация | 545 |
| Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог | 79, 182 |
| Успенский В.А. — Лекции о вычислимых функциях | 419 |
| Сингх С. — Книга шифров. Тайная история шифров и их расшифровки | 190—205 |
| Кергаль М. — Методы программирования на Бейсике | 11 |
| Гаек П., Гавранек Т. — Автоматическое образование гипотез | 22 |
| Лернер А.Я. — Начала кибернетики | 186 и д. |
| Шампандар А.Дж. — Искусственный интеллект в компьютерных играх: как обучить виртуальные персонажи реагировать на внешние воздействия | 578 |
| Яблонский С.В. — Введение в дискретную математику | 113, 118 |
| Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 44 881 |
| Бердж В. — Методы рекурсивного программирования | 48 |
| Мао В. — Современная криптография: теория и практика | 119 |
| Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 52, 94, 123 |
| Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник | 563 |
| Брукшир Д.Г. — Введение в компьютерные науки. Общий обзор | 570, 577, 633 |
| Босс В. — Лекции по математике. Том 10 | 41 |
| Шалыто А.А. — Логическое управление. Методы аппаратной и программной реализации | 611, 720 |
| Кудрявцев В.Б., Подколзин А.С., Болотов А.А. — Основы теории однородных структур | 35 |
| Любимский Э.З., Мартынюк В.В., Трифонов Н.П. — Программирование | 17 |
| Зиглер К. — Методы проектирования программных систем | 177 |
| Крупский В.Н. — Введение в сложность вычислений. Методы современной математики. Выпуск 2 | 11 |
| Ивенс Д. — Системы параллельной обработки | 86 |
| Поспелов Д.А. — Фантазия или наука: на пути к искусственному интеллекту | 45 |
| Анисимов А.В. — Рекурсивные преобразователи информации | 29, 104 |
| Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс | 373 |
| Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь | 105 |
| Клини С.К. — Математическая логика | 282, 318, 393 |
| Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 157, 158 |
| Хопкрофт Д., Мотвани Р., Ульман Д. — Введение в теорию автоматов, языков и вычислений | 17, 330, 331 |
| Берг А.И. (ред.), Бирюков Б.В. (ред.), Геллер Е.С. (ред.) — Управление, Информация, Интеллект | 176, 247, 257, 258—260, 276, 289, 301 |
| Нивергельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подход к решению математических задач | 331 |
| Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 13, 23 |
| Мендельсон Э. — Введение в математическую логику | 251—253 |
| Нильсен М., Чанг И. — Квантовые вычисления и квантовая информация | 22, 166 |
| Гришкин И.И. — Понятие информации. Логико-методолгический аспект. | 184, 190, 197 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 242, 248 |
| Андреева Е.В., Босова Л.Л., Фалина И.Н. — Математические основы информатики | 210, 212, 219 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 94 |
| Лопатинский. — Разложение полиномиальной матрицы на множители | 87 |
|
|
О проекте