| Книга | Страницы для поиска |
| Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 457 |
| Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 11 |
| Яблонский С.В. — Введение в дискретную математику | 13 |
| Мендельсон Э. — Введение в математическую логику | 20 |
| Майков Е.В. — Введение в математический анализ | 9 |
| Уэйкерли Дж.Ф. — Проектирование цифровых устройств (том 1) | 273 |
| Клини С. — Математическая логика | 14 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 31 |
| Шапиро С.И. — Решение логических и игровых задач | 7, 23 |
| Тэрано Т., Асаи К., Сугэно М. — Прикладные нечеткие системы | 28, 263 |
| Куратовский К., Мостовский А. — Теория множеств | 11 |
| Гаврилов Г.П., Сапоженко А.А. — Задачи и упражнения по дискретной математике | 12, 89 |
| Эдельман С.Л. — Математическая логика | 15 |
| Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы | 27 |
| Гейтинг А. — Интуиционизм | 123 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика | 22 |
| Глушков В.М. — Синтез цифровых автоматов | 196 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 22 |
| Никольская И.Л. — Математическая логика | 15, 16 |
| Гиндикин С.Г. — Алгебра логики в задачах | 18 |
| Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование | 88 |
| Степанов С.А. — Арифметика алгебраических кривых | 244 |
| Кон П. — Универсальная алгебра | 216 |
| Голдблатт Р. — Топосы. Категорный анализ логики. | 141 |
| Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 11 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | I, 25, 385 |
| Гильберт Д., Аккерман В. — Основы теоретической логики | 24 |
| Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 27, 76 |
| Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 130 |
| Феферман С. — Числовые системы. Основания алгебры и анализа | 22 |
| Марков А.А., Нагорный Н.М. — Теория алгорифмов | 43, 54 |
| Александрян Р.А., Мирзаханян Е.А. — Общая топология | 5 |
| Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание | 137, 198, 269, 275, 292 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 53 |
| Каллан Р. — Основные концепции нейронных сетей | 195 |
| Победря Б.Е. — Численные методы в теории упругости и пластичности | 260 |
| Новиков П.С. — Элементы математической логики | 38, 67 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 50 |
| Гладкий А.В. — Математическая логика | 67 |
| Девятков В.В. — Системы искусственного интеллекта | 28 |
| Гаврилов Г.П., Сапоженко А.А. — Сборник задач по дискретной математике | 22, 78 |
| Шоломов Л.А. — Основы теории дискретных логических и вычислительных устройств | 26 |
| Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов | 377, 378 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I-124; II-524; IV-726 |
| Гладкий А.В. — Введение в современную логику | 53, 55 |
| Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 46 |
| Кофман А. — Введение в теорию нечетких множеств | 234 |
| Яблонский С.В. (ред.), Лупанов О.Б. (ред.) — Дискретная математика и математические вопросы кибернетики (том 1) | 12 |
| Столл Р.Р. — Множества. Логика. Аксиоматические теории | 72 |
| Попович Н.Г., Ковальчук А.В., Красовский Е.П. — Автоматизация производственных процессов и установок | 48 |
| Аверкин А.Н. — Нечеткие множества в моделях управления и искусственного интеллекта | 111 |
| Красильщик И.С., Радковский Г.Н., Самохин А.В. — Математика. Часть I. Алгебра и аналитическая геометрия | 12 |
| Прасолов В.В. — Задачи по алгебре, арифметике и анализу | 215 |
| Левина И.С. (ред) — Алгоритмический язык АЛГОЛ-60. Пересмотренное сообщение | определение 3.4.1 |
| Борковский А.Б. — Англо-русский словарь по программированию и информатике | 130 |
| Панов М.И. — Методические проблемы интуиционистской математики | 83 |
| Осуга С. — Обработка знаний | 91 |
| Хавин В.П. — Дифференциальное и интегральное исчисление функций одной переменной | 24 |
| Успенский В.А. — Лекции о вычислимых функциях | 57, 59, 72 |
| Фёдоров В.М. — Теория функций и функциональный анализ. Часть 1 | 12 |
| Йенсен К., Вирт Н. — Паскаль. Руководство для пользователя и описание языка | 2.1 |
| Гаазе-Рапопорт М.Г. — Автоматы и живые организмы | 91 |
| Глушков В.М. — Основы безбумажной информатики | 530 |
| 3алманзон Л.А. — Беседы об автоматике и кибернетике | 57 |
| Джонстон Г. — Учитесь программировать | 181, 182 |
| Лихтенштейн В.Е. — Дискретность и случайность в экономико-математических задачах | 10, 12, 142 |
| Донеддю А. — Евклидова планиметрия | 16 |
| Гаек П., Гавранек Т. — Автоматическое образование гипотез | 36 |
| Шампандар А.Дж. — Искусственный интеллект в компьютерных играх: как обучить виртуальные персонажи реагировать на внешние воздействия | 604 |
| Яблонский С.В. — Введение в дискретную математику | 13 |
| Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 297 |
| Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 61, 452 |
| Аганбегян А.Г., Осипов Г.В. — Количественные методы в социологии | 99, 100, 104, 105 |
| Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия | 639, 642 |
| Любимский Э.З., Мартынюк В.В., Трифонов Н.П. — Программирование | 50 |
| Ковальски Р. — Логика в решении проблем | 19 |
| Варпаховский Ф.Л., Солодовников А.С. — Алгебра | 30 |
| Бунге М. — Причинность. Место принципа причинности в современной науке | 52, 55 |
| Городецкий Б.Ю. — Новое в зарубежной лингвистике: выпуск XXIV. Компьютерная лингвистика | 110, 132, см. также "Причинные отношения" |
| Аксенова М.Д. (ред.) — Энциклопедия для детей. Том 11. Математика. | 583, 588 |
| Поспелов Д.А. — Фантазия или наука: на пути к искусственному интеллекту | 55 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 173 |
| Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь | 65 |
| Калужин Л.А. — Введение в общую алгебру | 66 |
| Клини С.К. — Математическая логика | 14 |
| Падучева Е.В. — О семантике синтаксиса. Материалы к трансформационной грамматике русского языка | 46 |
| Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 12 |
| Гаазе-Рапопорт М.Г. — Автоматы и живые организмы. Моделирование поведения живых организмов | 91 |
| Берг А.И. (ред.), Бирюков Б.В. (ред.), Геллер Е.С. (ред.) — Управление, Информация, Интеллект | 197, 205, 222, 226, 227, 273 |
| Новиков П.С. — Элементы математической логики | 38, 67 |
| Мееровский Б.В. (ред.) — Английские материалисты XVII в. Собрание произведений в трех томах. Том 2 | 263 |
| Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 87, 189 |
| Савельев А. Я — Арифметические и логические основы цифровых автоматов | 166 |
| Мендельсон Э. — Введение в математическую логику | 20 |
| Жолков С.Ю. — Математика и информатика для гуманитариев | 201—203 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 22 |
| Столл Р.Р. — Множества. Логика. Аксиоматические теории | 72 |
| Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 191 |
| Переборов А.С., Брылеев А.М., Смирнова А.В. — Теоретические основы железнодорожной автоматики и телемеханики | 143 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 31 |
|
|
О проекте