| Книга | Страницы для поиска |
| Дейтел Х., Дейтел П. — Как программировать на C++ | 739, 866 |
| Верещагин Н.К., Шень А. — Вычислимые функции | 118 |
| Мендельсон Э. — Введение в математическую логику | 229 |
| Новиков Ф.А. — Дискретная математика для программистов | 161 |
| Саломаа А. — Криптография с открытым ключом | 12 |
| Эдельман С.Л. — Математическая логика | 127 |
| Мальцев А.И. — Алгоритмы и рекурсивные функции | 17 |
| Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика | 216, 259 |
| Кук Д., Бейз Г. — Компьютерная математика | 257 |
| Кушнер Б.А. — Лекции по конструктивному математическому анализу | 47 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 10 |
| Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 12, 25, 34, 39, 49, 54, 59, 69, 75, 83, 84 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | 462 |
| Гладкий А.В. — Формальные грамматики и языки | 19; см. «Символ элементарный» |
| Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 37 |
| Марков А.А., Нагорный Н.М. — Теория алгорифмов | 24 |
| Мартин-Лёф П. — Очерки по конструктивной математике | 9 |
| Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание | 29, 30, 117, 118, 145, 302, 350, 351, 377 |
| Линдон Р., Шупп П. — Комбинаторная теория групп | 13, 322, 366 |
| Ольшанский А.Ю. — Геометрия определяющих соотношений в группах | 36 |
| Гаврилов Г.П., Сапоженко А.А. — Сборник задач по дискретной математике | 30 |
| Шоломов Л.А. — Основы теории дискретных логических и вычислительных устройств | 10 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I-550; II-1043 |
| Биллингслей П. — Эргодическая теория и информация | 77, 164 |
| Панов Е.Н. — Знаки, символы, языки | 72, 97—98, 148, 234 |
| Яблонский С.В. (ред.), Лупанов О.Б. (ред.) — Дискретная математика и математические вопросы кибернетики (том 1) | 209 |
| Левина И.С. (ред) — Алгоритмический язык АЛГОЛ-60. Пересмотренное сообщение | определение 2.1, синтаксис 2, 2.4.1, 3.2.1, 4.7.1 |
| Борковский А.Б. — Англо-русский словарь по программированию и информатике | 17, 149 |
| Джехани Н. — Язык Ада | 2.3, см. также «Прописная буква», «Строчная буква» |
| Нивергельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подход к решению математических задач | 13 |
| Майоров С.А., Крутовских С.А. — Электронные вычислительные машины (справочник по конструированию) | 13 |
| Успенский В.А. — Лекции о вычислимых функциях | 19 |
| Йенсен К., Вирт Н. — Паскаль. Руководство для пользователя и описание языка | 3 |
| Пильщиков В.Н. — Язык плэнер | 9 |
| Фаронов В.В. — Delphi 6. Учебный курс | 122 |
| Котельников И.А., Чеботаев П.З. — LaTeX по-русски | 21 |
| Фомичев В.М. — Дискретная математика и криптология | 229 |
| Aнтипов И.Н. — Программирование | 36, 78 |
| Джемисон Дж.Э., Мак-Фи Р.Х., Пласс Дж.Н. — Физика и техника инфракрасного излучения | 537, 539 |
| Романовский И.В. — Дискретный анализ | 88 |
| Дейтел Х.М., Дейтел П.Дж. — Как программировать на С | 491 |
| Вонг У. — Основы программирования для "чайников" | 109 |
| Шалыто А.А. — Логическое управление. Методы аппаратной и программной реализации | 23 |
| Любимский Э.З., Мартынюк В.В., Трифонов Н.П. — Программирование | 15, 49, 449 |
| Леонов В.П. — Современные проблемы информатики. Введение в семиотику информационных технологий | 70, 183 |
| Безбородов Ю.М. — От фортрана - к PL/1 | 14, 165 |
| Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь | 26 |
| Берг А.И. (ред.), Бирюков Б.В. (ред.), Геллер Е.С. (ред.) — Управление, Информация, Интеллект | 182, 190, 247, 251 |
| Кафаров В.В, Ветохин В.Н., Бояринов А.И. — Программирование и вычислительные методы в химии и химической технологии | 48, 123, 146 |
| Нивергельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подход к решению математических задач | 13 |
| Мендельсон Э. — Введение в математическую логику | 229 |
| Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 60 |
|
|
О проекте