| Книга | Страницы для поиска |
| Верещагин Н.К., Шень А. - Языки и исчисления | 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 |
|
|
О проекте