| Книга | Страницы для поиска |
| Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 38 |
| Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 457 |
| Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 11 |
| Верещагин Н.К., Шень А. — Языки и исчисления | 10 |
| Верещагин Н.К., Шень А. — Вычислимые функции | 98, 100 |
| Мендельсон Э. — Введение в математическую логику | 20 |
| Майков Е.В. — Введение в математический анализ | 11 |
| Яблонский С.В. — Введение в дискретную математику | 13 |
| Куратовский К. — Топология (том 1) | 9 |
| Пухальский Г.И., Новосельцева Т.Я. — Цифровые устройства | 7 |
| Клини С. — Математическая логика | 14 |
| Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь | 101 |
| Тэрано Т., Асаи К., Сугэно М. — Прикладные нечеткие системы | 263 |
| Гаврилов Г.П., Сапоженко А.А. — Задачи и упражнения по дискретной математике | 12 |
| Эдельман С.Л. — Математическая логика | 15 |
| Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы | 27 |
| Гейтинг А. — Интуиционизм | 123 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика | 22 |
| Нильсон Н. — Искусственный интеллект. Методы поиска решений | 178 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 22 |
| Никольская И.Л. — Математическая логика | 12 |
| Гиндикин С.Г. — Алгебра логики в задачах | 16 |
| Кейслер Г.Дж., Чень-Чунь Ч. — Теория непрерывных моделей | 36 |
| Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование | 16, 126, 148 |
| Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов | 25, 35, 46 (см. также «Логическое сложение») |
| Степанов С.А. — Арифметика алгебраических кривых | 244 |
| Кон П. — Универсальная алгебра | 216 |
| Голдблатт Р. — Топосы. Категорный анализ логики. | 139, 140 |
| Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 11, 77, 80 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | I, 25, 385 |
| Гильберт Д., Аккерман В. — Основы теоретической логики | 24 |
| Фейс Р. — Модальная логика | 26, 67 |
| Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 27, 75 |
| Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 130, 131 |
| Марков А.А., Нагорный Н.М. — Теория алгорифмов | 37 |
| фон Нейман Дж., Моргенштерн О. — Теория игр и экономическое поведение | 92 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 53 |
| Каллан Р. — Основные концепции нейронных сетей | 195 |
| Победря Б.Е. — Численные методы в теории упругости и пластичности | 260 |
| Новиков П.С. — Элементы математической логики | 67 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 50 |
| Гладкий А.В. — Математическая логика | 65 |
| Гаврилов Г.П., Сапоженко А.А. — Сборник задач по дискретной математике | 22 |
| Шоломов Л.А. — Основы теории дискретных логических и вычислительных устройств | 26 |
| Дунаев В. — Самоучитель JavaScript | 37 |
| Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов | 377, 378 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I—124; II—137 |
| Линде Д.П. (ред.) — Справочник по радиоэлектронным устройствам (том 1) | 389 |
| Пуаза Б. — Курс теории моделей | 2.a |
| Гладкий А.В. — Введение в современную логику | 51, 55 |
| Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 46, 47 |
| Яблонский С.В. (ред.), Лупанов О.Б. (ред.) — Дискретная математика и математические вопросы кибернетики (том 1) | 12 |
| Красильщик И.С., Радковский Г.Н., Самохин А.В. — Математика. Часть I. Алгебра и аналитическая геометрия | 12 |
| Прасолов В.В. — Задачи по алгебре, арифметике и анализу | 215 |
| Борковский А.Б. — Англо-русский словарь по программированию и информатике | 86, 154, 182 |
| Джехани Н. — Язык Ада | см. «Логическая операция» |
| Панов М.И. — Методические проблемы интуиционистской математики | 64, 83 |
| Варшавский В.И., Поспелов Д.А. — Оркестр играет без дирижера: размышления об эволюции некоторых технических систем и управлении ими | 103 |
| Успенский В.А. — Лекции о вычислимых функциях | 57, 58, 72 |
| Фёдоров В.М. — Теория функций и функциональный анализ. Часть 1 | 12 |
| Слэйгл Дж. — Искусственный интелект | 95 |
| 3алманзон Л.А. — Беседы об автоматике и кибернетике | 57 |
| Лихтенштейн В.Е. — Дискретность и случайность в экономико-математических задачах | 10, 142 |
| Степанов А.Н. — Информатика | 566 |
| Гаек П., Гавранек Т. — Автоматическое образование гипотез | 36 |
| Лернер А.Я. — Начала кибернетики | 174 |
| Яблонский С.В. — Введение в дискретную математику | 13 |
| Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 297 |
| Вонг У. — Основы программирования для "чайников" | 121 |
| Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 210, 245, 448 |
| Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник | 26 |
| Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия | 638, 640, 642 |
| Босс В. — Лекции по математике. Том 10 | 27 |
| Шалыто А.А. — Логическое управление. Методы аппаратной и программной реализации | 27, 393 |
| Рывкин А.А., Рывкин А.З., Хренов Л.С. — Справочник по математике: справочное пособие для учащихся средних специальных учебных заведений и поступающих в вузы | 105 |
| Любимский Э.З., Мартынюк В.В., Трифонов Н.П. — Программирование | 50, 69 |
| Ковальски Р. — Логика в решении проблем | 212 |
| Варпаховский Ф.Л., Солодовников А.С. — Алгебра | 30 |
| Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах | 73 |
| Аксенова М.Д. (ред.) — Энциклопедия для детей. Том 11. Математика. | 583 |
| Поспелов Д.А. — Фантазия или наука: на пути к искусственному интеллекту | 55 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 173 |
| Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс | 91, 204 |
| Рыбкин А.А. — Математика. Справочное пособие. Для школьников старших классов и поступающих в вузы | 141 |
| Дружинин В.В. (ред.) — Справочник по основам радиолокационной техники | 635 |
| Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь | 53 |
| Калужин Л.А. — Введение в общую алгебру | 64 |
| Сазонов А.А., Лукичев А.Ю., Николаев В.Т. — Микроэлектронные устройства автоматики | 5 |
| Мазор Ю.Л., Мачусский Е.А., Правда В.И. — Радиотехника. Энциклопедия | 759 |
| Дикарев В.А., Кольцов В.П., Мельников А.Ф. — Вычислительные методы в задачах радиоэлектроники | 99, 104, 105, 109, 115, 120 |
| Хаггарти Р. — Дискретная математика для программистов | 25, 194 |
| Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 10 |
| Клини С.К. — Математическая логика | 14 |
| Зорин В.В., Фискович Т.Т. — Пособие по математике для поступающих в вузы | 15 |
| Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 12 |
| Новиков П.С. — Элементы математической логики | 67 |
| Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 86, 189 |
| Савельев А. Я — Арифметические и логические основы цифровых автоматов | 165 |
| Мендельсон Э. — Введение в математическую логику | 20 |
| Жолков С.Ю. — Математика и информатика для гуманитариев | 201—202 |
| Дружинин В.В. (ред.) — Справочник по основам радиолокационной техники | 635 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 22 |
| Бююль А., Цёфель П. — SPSS. Искусство обработки информации | 107 |
| Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 191 |
| Переборов А.С., Брылеев А.М., Смирнова А.В. — Теоретические основы железнодорожной автоматики и телемеханики | 131, 160 |
| Хаггарти Р. — Дискретная математика для программистов | 25, 194 |
|
|
О проекте