| Книга | Страницы для поиска |
| Арратун Р. — Оптические вычисления | 281 |
| Новиков Ф.А. — Дискретная математика для программистов | 119 |
| Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 40 |
| Каргаполов М.И., Мерзляков Ю.И. — Основы теории групп | 275 |
| Дейт К. — Введение в системы баз данных | 100, 169, 244, 307, 309, 899, 903, 907 |
| Клини С. — Математическая логика | 93, 94, 112 |
| Непейвода Н.Н., Скопин И.Н. — Основания программирования | 751 |
| Эдельман С.Л. — Математическая логика | 9 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика | 66 |
| Мальцев А.И. — Алгоритмы и рекурсивные функции | 263 |
| Китаев А., Шень А., Вялый М. — Классические и квантовые вычисления | 18 |
| Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика | 142 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 26 |
| Смолин Д.В. — Введение в искусственный интеллект: конспект лекций | 61 |
| Никольская И.Л. — Математическая логика | 69 |
| Гиндикин С.Г. — Алгебра логики в задачах | 259 (определение 12.1) |
| Скорняков Л.А. (ред.) — Общая алгебра (том 1) | 27 |
| Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование | 67 |
| Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 82 |
| Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 27, 101, 258 |
| Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов | 68, 69, 245 и д. |
| Степанов С.А. — Арифметика алгебраических кривых | 244 |
| Кон П. — Универсальная алгебра | 204 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | 27 |
| Марченков С.С. — Функциональные системы с операцией суперпозиции | 26 |
| Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 26, 30, 120 |
| Марков А.А., Нагорный Н.М. — Теория алгорифмов | 45 |
| Воднев В.Т., Наумович А.Ф., Наумович Н.Ф. — Основные математические формулы. Справочник | 248 |
| Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 21 |
| Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание | 392 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 80 |
| Новиков П.С. — Элементы математической логики | 125 |
| Хант Э. — Искусственный интеллект | 126, 338 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 74 |
| Гладкий А.В. — Математическая логика | 56, 57 |
| Девятков В.В. — Системы искусственного интеллекта | 52 |
| Хантер Р. — Проектирование и конструирование компиляторов | 23, 199—200 |
| Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов | 379 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | IV—576, 577 |
| Сакс Дж.Е. — Теория насыщенных моделей | 14 |
| Гладкий А.В. — Введение в современную логику | 45, 124 |
| Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 69 |
| Шилдт Г. — Самоучитель C++ | 423 |
| Кушниренко А.Г., Лебедев Г.В. — Программирование для математиков | 53 |
| Левин Р., Дранг Д., Эделсон Б. — Практическое введение в технологию искусственного интеллекта и экспертных систем с иллюстрациями на бейсике | 226, 232 |
| Борковский А.Б. — Англо-русский словарь по программированию и информатике | 197 |
| Каргаполов М.И., Мерзляков Ю.И. — Основы теории групп | 218 |
| Уэно Х., Исидзука М. — Представление и использование знаний | 36 |
| Саттер Г. — Решение сложных задач на С++ | 44 |
| Касьянов В.Н. — Оптимизирующие преобразования программ | 8 |
| Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог | 112—118 |
| Успенский В.А. — Лекции о вычислимых функциях | 65 |
| Пильщиков В.Н. — Язык плэнер | 28—31 |
| Москинова И.Г. — Дискретная математика. Математика для менеджера в примерах и упражнениях | 168—171 |
| Вандервуд Д.Д. — Шаблоны С++. Справочник разработчика | 491 |
| Глушков В.М. — Основы безбумажной информатики | 20 |
| 3алманзон Л.А. — Беседы об автоматике и кибернетике | 291 |
| Робинсон А. — Введение в теорию моделей и математическую логику | 21 |
| Валиков А.Н. — Технология XSLT | 218, 224, 231 |
| Гаек П., Гавранек Т. — Автоматическое образование гипотез | 36 |
| Зелковиц М., Шоу А., Геннон Дж. — Принципы разработки програмного обеспечение | 41, 98—100 |
| Калбертсон Дж.Т. — Математика и логика цифровых устройств | 115 |
| Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 1045 |
| Андон Ф., Резниченко В. — Язык запросов SQL. Учебный курс | 41 |
| Бердж В. — Методы рекурсивного программирования | 12 |
| Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 25, 57, 127 |
| Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия | 649 |
| Эккель Б., Эллисон Ч. — Философия С++. Практическое программирование | 258, 273 |
| Ковальски Р. — Логика в решении проблем | 21 |
| Егоров И.П. — Геометрия | 118 |
| Варпаховский Ф.Л., Солодовников А.С. — Алгебра | 28 |
| Аксенова М.Д. (ред.) — Энциклопедия для детей. Том 11. Математика. | 593 |
| Поспелов Д.А. — Фантазия или наука: на пути к искусственному интеллекту | 60 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 16 |
| Шилдт Г. — Искусство программирования на С++ | 306, 308 |
| Бочаров В.А., Маркин В.И. — Основы логики | 173 |
| Гладкий А.В. — Синтаксические структуры естественного языка в автоматизированных системах общения | 28, 62 |
| Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь | 148 |
| Калужин Л.А. — Введение в общую алгебру | 72 |
| Клини С.К. — Математическая логика | 93, 94, 112 |
| Падучева Е.В. — О семантике синтаксиса. Материалы к трансформационной грамматике русского языка | 46 |
| Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 29 |
| Берг А.И. (ред.), Бирюков Б.В. (ред.), Геллер Е.С. (ред.) — Управление, Информация, Интеллект | 83, 85, 90—92, 196, 197, 201, 203, 212, 213, 218, 270—272 |
| Новиков П.С. — Элементы математической логики | 125 |
| Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 93, 190 |
| Жолков С.Ю. — Математика и информатика для гуманитариев | 403—405, 409—410 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 66 |
| Андреева Е.В., Босова Л.Л., Фалина И.Н. — Математические основы информатики | 150 |
| Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 226 |
| Рафаэл Б. — Думающий компьютер | 158—159, 162 |
|
|
О проекте