| Книга | Страницы для поиска |
| Арратун Р. — Оптические вычисления | 133 |
| Колмогоров А.Н., Фомин С.В. — Элементы теории функций и функционального анализа | 21 |
| Мендельсон Э. — Введение в математическую логику | 12 |
| Липский В. — Комбинаторика для программистов | 6, 125 |
| Новиков Ф.А. — Дискретная математика для программистов | 34 |
| Оре О. — Теория графов | 25 |
| Айгнер М. — Комбинаторная теория | 13 |
| Свами М., Тхуласираман К. — Графы, сети и алгоритмы | 84 |
| Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 83 |
| Гретцер Г. — Общая теория решеток | 15 |
| Клиффорд А., Престон Г. — Алгебраическая теория полугрупп. Том 1 | 31 |
| Стинрод Н., Эйленберг С. — Основания алгебраической топологии | 153 |
| Мальцев А.И. — Алгоритмы и рекурсивные функции | 218 |
| Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика | 22 |
| Кук Д., Бейз Г. — Компьютерная математика | 36 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 7 |
| Фейс К. — Алгебра: кольца, модули и категории (том 1) | 46 |
| Мальцев А.И. — Алгебраические системы | 17 |
| Скорняков Л.А. (ред.) — Общая алгебра (том 1) | 15, 22 |
| Лаллеман Ж. — Полугруппы и комбинаторные приложения | 18 |
| Попов Э.В. — Общение с ЭВМ на естественном языке | 134, 136 |
| Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование | 38 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | 49 |
| Гладкий А.В. — Формальные грамматики и языки | 17 |
| Байокки К., Капело А. — Вариационные и квазивариционные неравенства. Приложения к задачам со свободной границей | 378 |
| Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 364 |
| Феферман С. — Числовые системы. Основания алгебры и анализа | 55 |
| Кириллов А.А. — Элементы теории представлений | 8 |
| Мандель И.Д. — Кластерный анализ | 20, 21, 23, 40, 62, 102 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 30 |
| Вилкас Э.Й., Майминас Е.З. — Решения: теория, информация, моделирование. | 31 |
| Нечаев В.И. — Числовые системы | 11 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 29 |
| Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов | 382 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I—488 |
| Гладкий А.В. — Введение в современную логику | 41 |
| Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 13 |
| Красильщик И.С., Радковский Г.Н., Самохин А.В. — Математика. Часть I. Алгебра и аналитическая геометрия | 18 |
| Робертс Ф.С. — Дискретные математические модели с приложениями к социальным, биологическим и экологическим задачам | 412, 414 |
| Глухов М.М., Елизаров В.П., Нечаев А.А. — Алгебра (Том 1) | 30 |
| Дубов Ю.А., Травкин С.И., Якимец В.Н. — Многокритериальные модели формирования и выбора вариантов систем | 48 |
| Калман Р., Фалб П., Арбиб М. — Очерки по математической теории систем | 214 |
| Миркин Б.Г. — Проблема группового выбора | 32 |
| Мартнин Дж. — Организация баз данных в вычислительных системах | 204, 213, 477, 608 |
| Курош А.Г. — Лекции по общей алгебре | 12 |
| Фомичев В.М. — Дискретная математика и криптология | 12 |
| Шрейдер Ю.А. — Равенство, сходство, порядок | 13 |
| Пизо Ш., Заманский М. — Курс математики. Алгебра и анализ | 28 |
| Макаров И.М., Виноградская Т.М., Рубчинский А.А. — Теория выбора и принятия решений | 15 |
| Донеддю А. — Евклидова планиметрия | 14 |
| Гаек П., Гавранек Т. — Автоматическое образование гипотез | 32 |
| Воеводин В.В. — Энциклопедия линейной алгебры. Электронная система ЛИНЕАЛ | 1.3—2 |
| Крылов П.А., Туганбаев А.А., Чехлов А.Р. — Упражнения по группам,кольцам и полям | 21 |
| Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 44, 99 |
| Поспелов Г.С.(ред.) — Проблемы программно-целевого планирования и управления | 298 |
| Ковальски Р. — Логика в решении проблем | 48 |
| Егоров И.П. — Геометрия | 9 |
| Варпаховский Ф.Л., Солодовников А.С. — Алгебра | 19 |
| Калман Р.Э., Фалб П.Л., Арбиб М.А. — Очерки по математической теории систем | 214 |
| Березовский Б.А., Бораенко В.И., Кемпнер Л.М. — Бинарные отношения и многокритериальной оптимизации | 5 |
| Анисимов А.В. — Рекурсивные преобразователи информации | 98 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 17 |
| Калужин Л.А. — Введение в общую алгебру | 22 |
| Калман Р., Фалб П., Арбиб М. — Очерки по математической теории систем | 214 |
| Мендельсон Э. — Введение в математическую логику | 12 |
| Базылев В., Дуничев К., Иваницкая В. — Геометрия. Учебное пособие для студентов 1 курса физико-математических факультетов педагогических институтов | 9 |
| Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 59 |
|
|
О проекте