| Книга | Страницы для поиска |
| Гильберт Д., Бернайс П. - Основания математики. Теория доказательств. | 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 |
|
|
О проекте