| Книга | Страницы для поиска |
| Вирт Н. — Алгоритмы и структуры данных | 46 |
| Яблонский С.В. — Введение в дискретную математику | 256 |
| Дейтел Х., Дейтел П. — Как программировать на C++ | 40, 386, 850, 866 |
| Новиков Ф.А. — Дискретная математика для программистов | 161 |
| Верещагин Н.К., Шень А. — Вычислимые функции | 118, 126 |
| Камерон П., ван Линт Д. — Теория графов. Теория кодирования и блок-схемы | 47 |
| Курош А.Г. — Теория групп | 107 |
| Каргаполов М.И., Мерзляков Ю.И. — Основы теории групп | 123 |
| Шафаревич И.Р. — Основные понятия алгебры | 177 |
| Мендельсон Э. — Введение в математическую логику | 229 |
| Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 102, 780 |
| Саломаа А. — Криптография с открытым ключом | 12 |
| Непейвода Н.Н., Скопин И.Н. — Основания программирования | 561 |
| Курош А.Г. — Общая алгебра | 14 |
| Эдельман С.Л. — Математическая логика | 128 |
| Мальцев А.И. — Алгоритмы и рекурсивные функции | 18 |
| Яглом А.М., Яглом И.М. — Вероятность и информация. | 263 |
| Бакельман И.Я., Вернер А.Л., Кантор Б.Е. — Введение в дифференциальную геометрию "в целом" | 100 |
| Стенли Р. — Перечислительная комбинаторика | 358 |
| Холл М. — Теория групп | 108, 186 |
| Гук М.Ю. — Аппаратные средства IBM PC | 671 |
| Ахо А.В., Сети Р., Ульман Д.Д. — Компиляторы: принципы, технологии и инструменты | 105 |
| Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии | 55, 98 |
| Кушнер Б.А. — Лекции по конструктивному математическому анализу | 28, 48 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 10 |
| Артамонов В.А., Салий В.Н., Скорняков Л.А. — Общая алгебра (том 2) | 27, 297 |
| Таненбаум Э. — Архитектура компьютера | 75 |
| Мальцев А.И. — Алгебраические системы | 138 |
| Никольская И.Л. — Математическая логика | 22 |
| Шафаревич И.Р. — Основные понятия алгебры | 152 |
| Скорняков Л.А. (ред.) — Общая алгебра (том 1) | 97 |
| Скорняков Л.А. — Элементы общей алгебры | 38 |
| Лаллеман Ж. — Полугруппы и комбинаторные приложения | 22, 127 |
| Попов Э.В. — Общение с ЭВМ на естественном языке | 22 |
| Пиотровский Р.Г., Бектаев К.Б., Пиотровская А.А. — Математическая лингвистика | 11,91—94 |
| Кон П. — Универсальная алгебра | 308 |
| Седжвик Р. — Фундаментальные алгоритмы на С++ (части 1-4 анализ, структура данных, сортировка, поиск) | 404 |
| Гасфилд Д. — Строки, деревья и последовательности в алгоритмах: Информатика и вычислительная биология | 23 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | 463 |
| Коксетер Г.С.М., Мозер У.О.Дж. — Порождающие элементы и определяющие соотношения дискретных групп | 38 |
| Масси У., Столлингс Дж. — Алгебраическая топология. Введение. | 113 |
| Чандлер Б., Магнус В. — Развитие комбинаторной теории групп | 82 |
| Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 38 |
| Мелихов А.Н. — Ориентированные графы и конечные автоматы | 16, 155 |
| Кириллов А.А., Гвишиани А.Д. — Теоремы и задачи функционального анализа | 295 |
| Мартин-Лёф П. — Очерки по конструктивной математике | 9 |
| Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание | 464 |
| Юров В.И. — Assembler | 111 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 17, 263 |
| Понтрягин Л.С. — Непрерывные группы | 366 |
| Шень А. — Программирование: теоремы и задачи | 176 |
| Зубков С.В. — Assembler для DOS, Windows и UNIX | 16 |
| Линдон Р., Шупп П. — Комбинаторная теория групп | 13, 322 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 16 |
| Гладкий А.В. — Математическая логика | 155 |
| Шоломов Л.А. — Основы теории дискретных логических и вычислительных устройств | 10 |
| Хантер Р. — Проектирование и конструирование компиляторов | 13, 143 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I—819; II—1043; IV—1209 |
| Пуаза Б. — Курс теории моделей | 2.a |
| Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 46 |
| Алпатов В.М., Вентцель А.Д., Городецкий Б.Ю. — Лингвистические задачи | см. «Морфология», «Значение слова» |
| Ландо С.К. — Лекции о производящих функциях | 40 |
| Пападимитриу Х., Стайглиц К. — Комбинаторная оптимизация. Алгоритмы и сложность. | 165 |
| Яблонский С.В. (ред.), Лупанов О.Б. (ред.) — Дискретная математика и математические вопросы кибернетики (том 1) | 209 |
| Ватолин Д., Ратушняк А., Смирнов М. — Методы сжатия данных | 7 |
| Болтон У. — Карманный справочник инженера-метролога | 20 |
| Месарович М., Такахара Я. — Общая теория систем: математические основы | 18 |
| Кушниренко А.Г., Лебедев Г.В. — Программирование для математиков | 303 |
| Осуга С., Саэки Ю. — Приобретение знаний | 216 |
| Борковский А.Б. — Англо-русский словарь по программированию и информатике | 116 |
| Каргаполов М.И., Мерзляков Ю.И. — Основы теории групп | 117 |
| Панов М.И. — Методические проблемы интуиционистской математики | 52—54 |
| Майоров С.А., Крутовских С.А. — Электронные вычислительные машины (справочник по конструированию) | 10, 15 |
| Уилсон А., Уилсон М. — Управление и творчество при проектировании систем | 64 |
| Успенский В.А. — Лекции о вычислимых функциях | 19, 408 |
| Хьюитт Е., Росс К. — Абстрактный гармонический анализ. Том 1 | 20 |
| Пирогов В. — Ассемблер и дизассемблирование | 12 |
| Котельников И.А., Чеботаев П.З. — LaTeX по-русски | 24 |
| Пярнпуу А.А. — Программирование на современных алгоритмических языках | 9 |
| Майоров С.А., Кириллов В.В., Приблуда А.А. — Введение в микроЭВМ | 8 |
| Курош А.Г. — Лекции по общей алгебре | 153, 162, 163, 164, 166, 227 |
| Брусенцов Н П. — Миникомпьютеры | 64 |
| Хьюитт Э., Росс К. — Абстрактный гармонический анализ. Том I | 20 |
| Голубь Н.Г. — Искусство программирования на Ассемблере. Лекции и упражнения | 22 |
| Гурарий В.П., Гамкрелидзе Р.В. (ред.) — Итоги науки и техники: современные проблемы математики (том 25) | 147 |
| Квиттнер Н. — Задачи, программы, вычисления, результаты | 63, 74 |
| Вирт Н. — Систематическое программирование. Введение | 124 |
| Таненбаум Э. — Архитектура компьютера | 89, 764 |
| Яблонский С.В. — Введение в дискретную математику | 256 |
| Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 1021, 1022 |
| Фултон У. — Таблицы Юнга и их приложения к теории представлений и геометрии | 33, 54 |
| Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 219, 286, 379 |
| Гук М.Ю. — Аппаратные средства IBM PC. Энциклопедия | 671 |
| Савельев Л.Я. — Комбинаторика и вероятность | 40 |
| Стэбли Д. — Логическое программирование в системе / 360 | 712 |
| Ахо А.В., Лам М.С., Сети Р., Ульман Д.Д. — Компиляторы. Принципы, технологии и инструментарий. | 166 |
| Абрамов А.Т., Артемов В.Б., Богданов В.П. — Автоматизированное конструирование монтажных плат РЭА | 24 |
| Леонов В.П. — Современные проблемы информатики. Введение в семиотику информационных технологий | 183 |
| Гамкрелидзе Р.В. (ред.) — Итоги науки и техники: современные проблемы математики. Фундаментальные направления (том 11) | 152 |
| Гамкрелидзе Р.В. — Современные проблемы математики. Фундаментальные направления. Том 18 | 131 |
| Малютин Э.А., Малютина Л.В. — ПЛ/1 для начинающих | 9 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 39 |
| Джермейн К. — Программирование на IBM/360 | 60, 502 |
| Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс | 40, 187, 339 |
| Вострикова З.П. — Программирование на языке Ассемблера ЕС ЭВМ | 10 |
| Гладкий А.В. — Синтаксические структуры естественного языка в автоматизированных системах общения | 12, 17 |
| Бесекерский В.А., Изранцев В.Б. — Системы автоматического управления с микроЭВМ | 73, 120 |
| Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь | 183 |
| Смит Б.Р., Хауорт Л., Уотте Л. — Осваиваем микрокомпьютер. Книга 2 | 73 |
| Бесекерский В.А., Изранцев В.В. — Системы автоматического управления с микроЭВМ | 73, 120 |
| Таненбаум Э. — Архитектура компьютера | 75 |
| Яглом А.М., Яглом И.М. — Вероятность и информация | 263 |
| Хопкрофт Д., Мотвани Р., Ульман Д. — Введение в теорию автоматов, языков и вычислений | 46 |
| Вирт Н. — Систематическое программирование | 124 |
| Яглом А.М., Яглом И.М. — Вероятность и информация | 263 |
| Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 95 |
| Савельев А. Я — Арифметические и логические основы цифровых автоматов | 20 |
| Мендельсон Э. — Введение в математическую логику | 229 |
| Степанов А.Н. — Архитектура вычислительных систем и компьютерных сетей | 107 |
| Степанов А.Н. — Архитектура вычислительных систем и компьютерных сетей | 107 |
| Ли У. — Методы автоматического распознавания речи. Книга 2 | 177 |
| Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 60 |
|
|
О проекте