| Книга | Страницы для поиска |
| Кудрявцев Л.Д. — Курс математического анализа. Том 3 | 205, 329 |
| ван дер Варден Б.Л. — Алгебра | 26 |
| Грэхем Р., Кнут Д., Паташник О. — Конкретная математика. Основание информатики | 148 |
| Зорич В.А. — Математический анализ (том 1) | 20, 23, 25 |
| Колмогоров А.Н., Фомин С.В. — Элементы теории функций и функционального анализа | 19 |
| Арбиб М.А. — Алгебраическая теория автоматов, языков и полугрупп | 15 |
| Халмош П. — Конечномерные векторные пространства | 53 |
| Дороговцев А.Я. — Математический анализ | 97 |
| Мендельсон Э. — Введение в математическую логику | 13 |
| Шварц Л. — Анализ. Том 1 | 17 |
| Келли Дж.Л. — Общая топология | 23 |
| Картан А. — Дифференциальное исчисление. Дифференциальные формы. | 28, 57, 97 |
| Рид М., Саймон Б. — Методы современной математической физики. Том 1: Функциональный анализ | 14 |
| Кутателадзе С.С. — Основы функционального анализа | 1.2.2 |
| Липский В. — Комбинаторика для программистов | 6 |
| Сарданашвили Г.А. — Современные методы теории поля (Том 1) | 10 |
| Новиков Ф.А. — Дискретная математика для программистов | 42 |
| Энгелькинг Р. — Общая топология | 20 |
| Оре О. — Теория графов | 27, 242 |
| Кострикин А.И. — Введение в алгебру. Основы алгебры. | 48 |
| Куратовский К. — Топология (том 1) | 18 |
| Свами М., Тхуласираман К. — Графы, сети и алгоритмы | 84 |
| Ахо А.В., Хопкрофт Д.Э., Ульман Д.Д. — Структуры данных и алгоритмы | 159 |
| Корн Г., Корн Т. — Справочник по математике для научных работников и инженеров | 12.1—3 |
| Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 1208 |
| Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 83 |
| Александров П.С. — Лекции по аналитической геометрии, пополненные необходимыми знаниями из алгебры. | 785 |
| Пухальский Г.И., Новосельцева Т.Я. — Цифровые устройства | 7 |
| Клини С. — Математическая логика | 189, 190, 218, 321 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 51, 82, 84, 226 |
| Антоневич А.Б., Князев П.Н., Радыно Я.В. — Задачи и упражнения по функциональному анализу | 6 |
| Куратовский К., Мостовский А. — Теория множеств | 73 |
| Гретцер Г. — Общая теория решеток | 38 |
| Клиффорд А., Престон Г. — Алгебраическая теория полугрупп. Том 1 | 32 |
| Цаленко М.Ш., Шульгейфер Е.Г. — Основы теории категорий | 10, 240 |
| Эдельман С.Л. — Математическая логика | 24—28, 115, 142—144 |
| Антоневич А.Б., Радыно Я.В. — Функциональный анализ и интегральные уравнения | 7 |
| Победря Б.Е. — Лекции по тензорному анализу | 56, 66 |
| Кутателадзе С.С. — Основы функционального анализа | 1.2.2 |
| Александров П.С. — Введение в теорию множеств и общую топологию | 16 |
| Кофман А., Анри-Лабордер А. — Методы и модели исследования операций. (том 3) Целочисленное программирование. | 187 |
| Коснёвски Ч. — Начальный курс алгебраической топологии | 10 |
| Стинрод Н., Эйленберг С. — Основания алгебраической топологии | 159 |
| Шутц Б. — Геометрические методы математической физики | 187 |
| Бакельман И.Я., Вернер А.Л., Кантор Б.Е. — Введение в дифференциальную геометрию "в целом" | 23 |
| Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика | 28 |
| Кук Д., Бейз Г. — Компьютерная математика | 47 |
| Ланкастер П. — Теория матриц | 60 |
| Садовничий В.А. — Теория операторов | 13 |
| Бухбергер Б., Коллинз Дж., Лоос Р. — Компьютерная алгебра: символьные и алгебраические вычисления | 23 |
| Кострикин А.И. — Введение в алгебру (Часть I. Основы алгебры) | 41 |
| Брауэр В. — Введение в теорию конечных автоматов | 20 |
| Данилов В.И. — Алгебраические многообразия и схемы | 163 |
| Реммерт Р., Петернел Т., Грауэрт Г. — Комплексный анализ – многие переменные – 7 | 127 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 8 |
| Артамонов В.А., Салий В.Н., Скорняков Л.А. — Общая алгебра (том 2) | 424 |
| Фейс К. — Алгебра: кольца, модули и категории (том 1) | 46 |
| Дьедонне Ж. — Линейная алгебра и элементарная геометрия | СМТ |
| Мальцев А.И. — Алгебраические системы | 23 |
| Никольская И.Л. — Математическая логика | 92 |
| Джонстон П.Т. — Теория топосов | 36 |
| Винберг Э.Б. — Курс алгебры | 25 |
| Скорняков Л.А. (ред.) — Общая алгебра (том 1) | 23 |
| Лаллеман Ж. — Полугруппы и комбинаторные приложения | 24 |
| Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование | 53 |
| Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 604, 606—608, 614 |
| Голдблатт Р. — Топосы. Категорный анализ логики. | 73 |
| Федорчук В.В. — Курс аналитической геометрии и линейной алгебры | 7 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | 66 |
| Спеньер Э. — Алгебраическая топология | 10 |
| Прасолов В.В., Сосинский А.Б. — Узлы, зацепления, косы и трехмерные многообразия | 301 |
| Векуа И.Н. — Основы тензорного анализа и теории ковариантов | 15 |
| Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 258 |
| Феферман С. — Числовые системы. Основания алгебры и анализа | 57 |
| Кириллов А.А., Гвишиани А.Д. — Теоремы и задачи функционального анализа | 9 |
| Александрян Р.А., Мирзаханян Е.А. — Общая топология | 321 |
| Менский М.Б. — Метод индуцированных представлений:пространство-время и концепция частиц | 123 |
| Никайдо Х. — Выпуклые структуры и математическая экономика | 309 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 33 |
| Иванов Б.Н. — Дискретная математика. Алгоритмы и программы | 124 |
| Иванов Б.Н. — Дискретная математика. Алгоритмы и программы | 124 |
| Пфанцагль И. — Теория измерений | 16 |
| Нечаев В.И. — Числовые системы | 37 |
| Зорич В.А. — Математический анализ (Часть 1) | 24, 27, 30 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 32 |
| Гладкий А.В. — Математическая логика | 422 |
| Девятков В.В. — Системы искусственного интеллекта | 108 |
| Логачев О.А., Сальников А.А., Ященко В.В. — Булевы функции в теории кодирования и криптологии | 18 |
| Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов | 383 |
| Пуаза Б. — Курс теории моделей | 1.b, 4.09, 13.c |
| Марков А.А. — Введение в теорию кодирования | 15 |
| Кудрявцев Л.Д. — Курс математического анализа (т. 3) | 106 |
| Резниченко С.В. — Аналитическая геометрия в примерах и задачах | 15, 200, 202 |
| Садовничий В.А. — Теория операторов | 10 |
| Красильщик И.С., Радковский Г.Н., Самохин А.В. — Математика. Часть I. Алгебра и аналитическая геометрия | 18, 24, 97 |
| Фрейман Г.А. — Начала структурной теории сложения множеств | 16 (Курош, А.Г. «Лекции по общей алгебре», ФМ., М., 1962) |
| Деньдобренко Б.Н., Малика А.С. — Автоматизация конструирования РЭА | 26 |
| Вулих Б.З. — Краткий курс теории функций вещественной переменной (введение в теорию интеграла) | 173 |
| Глухов М.М., Елизаров В.П., Нечаев А.А. — Алгебра (Том 1) | 30 |
| Калман Р., Фалб П., Арбиб М. — Очерки по математической теории систем | 215, 218 |
| Касьянов В.Н. — Оптимизирующие преобразования программ | 9 |
| Фёдоров В.М. — Теория функций и функциональный анализ. Часть 1 | 19 |
| Федорчук В.В. — Курс аналитической геометрии и линейной алгебры | 7 |
| Москинова И.Г. — Дискретная математика. Математика для менеджера в примерах и упражнениях | см. «Эквивалентность» |
| Мантуров О.В., Матвеев Н.М. — Курс высшей математики: Линейная алгебра. Аналитическая геометрия. Дифференциальное исчисление функций одной переменной | 288, 289 |
| Акилов Г.П., Дятлов В.Н., Решетняк Ю.Г. (ред.) — Основы математического анализа | 58 |
| Курош А.Г. — Лекции по общей алгебре | 16 |
| Карнап Р. — Философские основания физики | 102, 105 |
| Грауэрт Г., Либ И. — Дифференциальное интегральное исчисление | 235 |
| Воеводин В.В., Кузнецов Ю.А. — Матрицы и вычисления | 1.7 |
| Фомичев В.М. — Дискретная математика и криптология | 12 |
| Никайдо Х., Браверман Э.М. (ред.), Малишевский А.В. (пер.) — Выпуклые структуры и математическая экономика | 309 |
| Шрейдер Ю.А. — Равенство, сходство, порядок | 51, 54 |
| Пизо Ш., Заманский М. — Курс математики. Алгебра и анализ | 29 |
| Варга Дж. — Оптимальное управление дифференциальными и функциональными уравнениями | 12 |
| Макаров И.М., Виноградская Т.М., Рубчинский А.А. — Теория выбора и принятия решений | 28 |
| Донеддю А. — Евклидова планиметрия | 19 |
| Гаек П., Гавранек Т. — Автоматическое образование гипотез | 49 |
| Акилов Г.П., Кутателадзе С.С., Булавский В.А. (ред.) — Упорядоченные векторные пространства | 97 |
| Воеводин В.В. — Энциклопедия линейной алгебры. Электронная система ЛИНЕАЛ | 1.3—5 |
| Шерстнев А.Н. — Конспект лекций по математическому анализу | 441 |
| Зуланке Р., Онищик А.Л. — Алгебра и геометрия: том 1. Введение | 20 |
| Романовский И.В. — Дискретный анализ | 178 |
| Мао В. — Современная криптография: теория и практика | 216 |
| Кейслер Г., Чэн Ч.Ч. — Теория моделей | 552 |
| Ким Г.Д., Крицков Л.В. — Алгебра и аналитическая геометрия. Теоремы и задачи. Том I | 111 |
| Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 101 |
| Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник | 415 |
| Кемени Дж., Снелл Дж. — Кибернетическое моделирование. Некоторые приложения | 23 |
| Гусятников П.Б,, Резниченко С.В. — Векторная алгебра в примерах и задачах | 11, 178—180 |
| Кудрявцев Л.Д. — Курс математического анализа. В 3-х томах. Том 3. Гармонический анализ. Элементы функционального анализа. | 106 |
| Егоров И.П. — Геометрия | 10 |
| Богачев В.И., Смолянов О.Г. — Действительный и функциональный анализ. Университетский курс | 14 |
| Варпаховский Ф.Л., Солодовников А.С. — Алгебра | 21 |
| Савельев Л.Я. — Комбинаторика и вероятность | 33 |
| Корн Г.А., Корн Т.М. — Справочник по математике для ученых инженеров | 12.1—3 |
| Корн Г., Корн Т. — Справочник по математике для научных работников и инженеров. | 12.1—3 |
| Корн Г.А., Корн Т.М. — Справочник по математике для научных работников и инженеров | 12.1—3 |
| Корн Г., Корн Т. — Справочник по математике (для научных работников и инженеров) | 12.1—3 |
| Аксенова М.Д. (ред.) — Энциклопедия для детей. Том 11. Математика. | 545 |
| Калман Р.Э., Фалб П.Л., Арбиб М.А. — Очерки по математической теории систем | 215, 218 |
| Анисимов А.В. — Рекурсивные преобразователи информации | 98 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 34 |
| Головина Л.И. — Линейная алгебра и некоторые ее приложения | 289 |
| Баранов В.И., Стечкин Б.С. — Экстремальные комбинаторные задачи и их приложения | 40 |
| Данилов В.И., Шакуров В.В., Гамкрелидзе Р.В. (ред.) — Итоги науки и техники: современные проблемы математики (том 23) | 163 |
| Пытьев Ю.П. — Возможность. Элементы теории и применения | 29 |
| Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс | 337 |
| Седжвик Р. — Фундаментальные алгоритмы на C++. Часть 5. Алгоритмы на графах | 191 |
| Хаггарти Р. — Дискретная математика для программистов | 77 |
| Ланкастер П. — Теория матриц | 60 |
| Клини С.К. — Математическая логика | 189, 190, 218, 321 |
| Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 38 |
| Коршунов Ю.М. — Математические основы кибернетики | 40, 49 |
| Шутц Б. — Геометрические методы математической физики | 187 |
| Калман Р., Фалб П., Арбиб М. — Очерки по математической теории систем | 215, 218 |
| Бухбергер Б., Калме Ж., Калтофен Э. — Компьютерная алгебра - символьные и алгебраические вычисления | 23 |
| Ланкастер П. — Теория матриц | 60 |
| Мендельсон Э. — Введение в математическую логику | 13 |
| Егупов Н.Д. (ред.) — Методы классической и современной теории автоматического управления: Учебник в 3-х т. Т.3: Методы современной теории автоматического управления | 59 |
| Базылев В., Дуничев К., Иваницкая В. — Геометрия. Учебное пособие для студентов 1 курса физико-математических факультетов педагогических институтов | 9 |
| Гильберт А. — Как работать с матрицами | 17 |
| Хаггарти Р. — Дискретная математика для программистов | 77 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 51, 82, 84, 226 |
|
|
О проекте