| Книга | Страницы для поиска |
| Верещагин Н.К., Шень А. — Языки и исчисления | 233 |
| Верещагин Н.К., Шень А. — Вычислимые функции | 113, 118, 126 |
| Мендельсон Э. — Введение в математическую логику | 229 |
| Скляр Б. — Цифровая связь. Теоретические основы и практическое применение | 32, 87 |
| Новиков Ф.А. — Дискретная математика для программистов | 161 |
| Яблонский С.В. — Введение в дискретную математику | 256 |
| Камерон П., ван Линт Д. — Теория графов. Теория кодирования и блок-схемы | 47 |
| Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 1097 |
| Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 102, 780, 841 |
| Саломаа А. — Криптография с открытым ключом | 12 |
| Бабенко К.И. — Основы численного анализа | 27 |
| Клини С. — Математическая логика | 247 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 129 |
| Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь | 160 |
| Манин Ю.И. — Доказуемое и недоказуемое | 8 |
| Эдельман С.Л. — Математическая логика | 128 |
| Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы | 15, 435 |
| Коснёвски Ч. — Начальный курс алгебраической топологии | 203 |
| Мальцев А.И. — Алгоритмы и рекурсивные функции | 17 |
| Яглом А.М., Яглом И.М. — Вероятность и информация. | 186, 196 |
| Бакельман И.Я., Вернер А.Л., Кантор Б.Е. — Введение в дифференциальную геометрию "в целом" | 100 |
| Коблиц Н. — Курс теории чисел и криптографии | 92 |
| Стенли Р. — Перечислительная комбинаторика | 326 |
| Кук Д., Бейз Г. — Компьютерная математика | 138, 257 |
| Кларк Дж. — Иллюстрированная хроника открытий и изобретений | |
| Ахо А.В., Сети Р., Ульман Д.Д. — Компиляторы: принципы, технологии и инструменты | 105 |
| Брауэр В. — Введение в теорию конечных автоматов | 28 |
| Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии | 55 |
| Кушнер Б.А. — Лекции по конструктивному математическому анализу | 47 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 10 |
| Артамонов В.А., Салий В.Н., Скорняков Л.А. — Общая алгебра (том 2) | 26 |
| Мальцев А.И. — Алгебраические системы | 138 |
| Никольская И.Л. — Математическая логика | 19, 22, 106 |
| Лаллеман Ж. — Полугруппы и комбинаторные приложения | 22, 126 |
| Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование | 172 |
| Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 4, 55, 68, 74, 82, 87, 90, 95, 108, 124, 140, 163 |
| Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 323, 324, 390 |
| Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов | 85 |
| Кон П. — Универсальная алгебра | 132 |
| Гудрич М.Т., Тамассия Р. — Структуры данных и алгоритмы в Java | 20, 534 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | 462 |
| Гладкий А.В. — Формальные грамматики и языки | 19, 27; см. «Словарь» |
| Пестриков В.М., Маслобоев А.Н. — Delphi на примерах | 36 |
| Карри Х.Б. — Основания математической логики | 58 |
| Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 37 |
| Гэри М., Джонсон Д. — Вычислительные машины и труднорешаемые задачи | 18, 33 |
| Марков А.А., Нагорный Н.М. — Теория алгорифмов | 25, 31 |
| Мелихов А.Н. — Ориентированные графы и конечные автоматы | 155 |
| Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание | 29 |
| Гордон Е.И., Кусраев А.Г., Кутателадзе С.С. — Инфинитезимальный анализ | 48 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 17, 148 |
| Шень А. — Программирование: теоремы и задачи | 176 |
| Хант Э. — Искусственный интеллект | 37 |
| Кацура А. (ред.) — Всемирная история в датах и событиях | ок. 1100 до н. э. п; III в. п; ок. 405 п; 863 п |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 16, 136 |
| Гладкий А.В. — Математическая логика | 155 |
| Девятков В.В. — Системы искусственного интеллекта | 24 |
| Хантер Р. — Проектирование и конструирование компиляторов | 23, 24, 42, 131 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I-111, 235; II-1043; IV-1082 |
| Сакс Дж.Е. — Теория насыщенных моделей | 16 |
| Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 46 |
| Биллингслей П. — Эргодическая теория и информация | 164 |
| Панов Е.Н. — Знаки, символы, языки | 232 |
| Яблонский С.В. (ред.), Лупанов О.Б. (ред.) — Дискретная математика и математические вопросы кибернетики (том 1) | 209 |
| Ватолин Д., Ратушняк А., Смирнов М. — Методы сжатия данных | 8, 33 |
| Питерсон Дж. — Теория сетей Петри и моделирование систем | 150 |
| Вопенка П. — Альтернативная теория множеств. Новый взгляд на бесконечность | 214 |
| Пинкер С. — Язык как инстинкт | 61, 152, 169, 178—180, 223, 239, 444, 447 |
| Левина И.С. (ред) — Алгоритмический язык АЛГОЛ-60. Пересмотренное сообщение | текст 2.1 |
| Кушниренко А.Г., Лебедев Г.В. — Программирование для математиков | 114, 150 |
| Борковский А.Б. — Англо-русский словарь по программированию и информатике | 17, 50 |
| Каргаполов М.И., Мерзляков Ю.И. — Основы теории групп | 117 |
| Холл П. — Вычислительные структуры. Введение в нечисленное программирование | 16—17, 80—82 |
| Майоров С.А., Крутовских С.А. — Электронные вычислительные машины (справочник по конструированию) | 12 |
| Касьянов В.Н. — Оптимизирующие преобразования программ | 12 |
| Уилсон А., Уилсон М. — Управление и творчество при проектировании систем | 65 |
| Успенский В.А. — Лекции о вычислимых функциях | 19 |
| Пильщиков В.Н. — Язык плэнер | 9 |
| Москинова И.Г. — Дискретная математика. Математика для менеджера в примерах и упражнениях | 31 |
| Котельников И.А., Чеботаев П.З. — LaTeX по-русски | 56, 93, 105 |
| Пярнпуу А.А. — Программирование на современных алгоритмических языках | 136, 224 |
| Фаронов В.В. — Программирование на персональных ЭВМ и среде ТУРБО-ПАСКАЛЬ | 72 |
| Фано Р. — Передача информации. Статическая теория связи | 61 |
| Фомичев В.М. — Дискретная математика и криптология | 105, 229 |
| Аверкин В.П., Бобровский А.И., Веснич В.В. — Программирование на С++ | 15 |
| Шрейдер Ю.А. — Равенство, сходство, порядок | 199 |
| Орлов В.А., Филиппов Л.И. — Теория информации в упражнениях и задачах | 7, 24 |
| Голдман С. — Теория информации | 32, 33, 40, 354, 380—382 |
| Гаек П., Гавранек Т. — Автоматическое образование гипотез | 25 |
| Жалдак М. И., Квитко А. Н. — Теория вероятностей с элементами информатики. | 155 |
| Лернер А.Я. — Начала кибернетики | 81, 171, 172, 173 |
| Яблонский С.В. — Введение в дискретную математику | 256 |
| Джемисон Дж.Э., Мак-Фи Р.Х., Пласс Дж.Н. — Физика и техника инфракрасного излучения | 539 |
| Кохонен Т. — Ассоциативные запоминающие устройства | 59 |
| Фултон У. — Таблицы Юнга и их приложения к теории представлений и геометрии | 17 |
| Романовский И.В. — Дискретный анализ | 88 |
| Власов В.К., Королев Л.Н., Сотников А.Н. — Элементы информатики | 171 |
| Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 93, 437 |
| Богатырев А.Б. — Экстремальные многочлены и римановы поверхности | 57 |
| Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник | 27 |
| Фридман Ф., Коффман Э. — Решение задач и структурное программирование на ФОРТРАНе | 13 |
| Попа К. — Теория определения | 92 |
| Налимов В.В. — Вероятностная модель языка | 45—47, 155 |
| Любимский Э.З., Мартынюк В.В., Трифонов Н.П. — Программирование | 15, 44, 49, 406, 449 |
| Кубенский А.А. — Структуры и алгоритмы обработки данных: объектно-ориентированный подход и реализация на С++ | 439 |
| Вернер М. — Основы кодирования | 12 |
| Хлытчиев С.М., Ворожцов А.С., Захаров И.А. — Основы автоматики и автоматизации производственных процессов | 96 |
| Ахо А.В., Лам М.С., Сети Р., Ульман Д.Д. — Компиляторы. Принципы, технологии и инструментарий. | 165 |
| Абрамов А.Т., Артемов В.Б., Богданов В.П. — Автоматизированное конструирование монтажных плат РЭА | 52 |
| Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах | 118 |
| Леонов В.П. — Современные проблемы информатики. Введение в семиотику информационных технологий | 41, 70, 128 |
| Малютин Э.А., Малютина Л.В. — ПЛ/1 для начинающих | 34 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 39 |
| Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс | 31 |
| Бочаров В.А., Маркин В.И. — Основы логики | 39 |
| Дружинин В.В. (ред.) — Справочник по основам радиолокационной техники | 634 |
| Гладкий А.В. — Синтаксические структуры естественного языка в автоматизированных системах общения | 12 |
| Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь | 15 |
| Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 229 |
| Клини С.К. — Математическая логика | 247 |
| Яглом А.М., Яглом И.М. — Вероятность и информация | 186, 196 |
| Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 154 |
| Хопкрофт Д., Мотвани Р., Ульман Д. — Введение в теорию автоматов, языков и вычислений | 46 |
| Яглом А.М., Яглом И.М. — Вероятность и информация | 186, 196 |
| Мендельсон Э. — Введение в математическую логику | 229 |
| Степанов А.Н. — Архитектура вычислительных систем и компьютерных сетей | 20 |
| Дружинин В.В. (ред.) — Справочник по основам радиолокационной техники | 634 |
| Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 60 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 129 |
|
|
О проекте