| Книга | Страницы для поиска |
| Арратун Р. - Оптические вычисления | 281 |
| Новиков Ф.А. - Дискретная математика для программистов | 119 |
| Френкель А.А., Бар-Хиллел И. - Основания теории множеств | 40 |
| Каргаполов М.И., Мерзляков Ю.И. - Основы теории групп | 275 |
| Дейт К. - Введение в системы баз данных | 100, 169, 244, 307, 309, 899, 903, 907 |
| Клини С. - Математическая логика | 93, 94, 112 |
| Непейвода Н.Н., Скопин И.Н. - Основания программирования | 751 |
| Эдельман С.Л. - Математическая логика | 9 |
| Ершов Ю.Л., Палютин Е.А. - Математическая логика | 66 |
| Мальцев А.И. - Алгоритмы и рекурсивные функции | 263 |
| Китаев А., Шень А., Вялый М. - Классические и квантовые вычисления | 18 |
| Горбатов В.А. - Фундаментальные основы дискретной математики. Информационная математика | 142 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. - Вводный курс математической логики | 26 |
| Смолин Д.В. - Введение в искусственный интеллект: конспект лекций | 61 |
| Никольская И.Л. - Математическая логика | 69 |
| Гиндикин С.Г. - Алгебра логики в задачах | 259 (определение 12.1) |
| Скорняков Л.А. (ред.) - Общая алгебра (том 1) | 27 |
| Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. - Алгебра. Языки. Программирование | 67 |
| Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. - Машины Тьюринга и рекурсивные функции | 82 |
| Вагин В.Н., Головина Е.Ю., Загорянская А.А. - Достоверный и правдоподобный вывод в интеллектуальных системах | 27, 101, 258 |
| Кобринский Н.Е., Трахтенброт Б.А. - Введение в теорию конечных автоматов | 68, 69, 245 и д. |
| Степанов С.А. - Арифметика алгебраических кривых | 244 |
| Кон П. - Универсальная алгебра | 204 |
| Белоусов А.И., Ткачев С.Б. - Дискретная математика | 27 |
| Марченков С.С. - Функциональные системы с операцией суперпозиции | 26 |
| Гильберт Д., Бернайс П. - Основания математики. Логические исчисления и формализация арифметики. | 26, 30, 120 |
| Марков А.А., Нагорный Н.М. - Теория алгорифмов | 45 |
| Воднев В.Т., Наумович А.Ф., Наумович Н.Ф. - Основные математические формулы. Справочник | 248 |
| Робинсон А. - Введение в теорию моделей и мета-математику алгебры | 21 |
| Ярцева В.Н. (ред.) - Большой Энциклопедический Словарь. Языкознание | 392 |
| Кузнецов О.П., Адельсон-Вельский Г.М. - Дискретная математика для инженера | 80 |
| Новиков П.С. - Элементы математической логики | 125 |
| Хант Э. - Искусственный интеллект | 126, 338 |
| Кузнецов О.П., Адельсон-Вельский Г.М. - Дискретная математика для инженера | 74 |
| Гладкий А.В. - Математическая логика | 56, 57 |
| Девятков В.В. - Системы искусственного интеллекта | 52 |
| Хантер Р. - Проектирование и конструирование компиляторов | 23, 199-200 |
| Бронштейн И.Н., Семендяев К.А. - Справочник по математике для инженеров и учащихся ВТУЗов | 379 |
| Виноградов И.М. - Математическая энциклопедия. Предметный указатель | IV-576, 577 |
| Сакс Дж.Е. - Теория насыщенных моделей | 14 |
| Гладкий А.В. - Введение в современную логику | 45, 124 |
| Лавров И.А., Максимова Л.Л. - Задачи по теории множеств, математической логике и теории алгоритмов | 69 |
| Шилдт Г. - Самоучитель C++ | 423 |
| Кушниренко А.Г., Лебедев Г.В. - Программирование для математиков | 53 |
| Левин Р., Дранг Д., Эделсон Б. - Практическое введение в технологию искусственного интеллекта и экспертных систем с иллюстрациями на бейсике | 226, 232 |
| Борковский А.Б. - Англо-русский словарь по программированию и информатике | 197 |
| Каргаполов М.И., Мерзляков Ю.И. - Основы теории групп | 218 |
| Уэно Х., Исидзука М. - Представление и использование знаний | 36 |
| Саттер Г. - Решение сложных задач на С++ | 44 |
| Касьянов В.Н. - Оптимизирующие преобразования программ | 8 |
| Стерлинг Л., Шапиро Э. - Исскуство программирования на языке Пролог | 112-118 |
| Успенский В.А. - Лекции о вычислимых функциях | 65 |
| Пильщиков В.Н. - Язык плэнер | 28-31 |
| Москинова И.Г. - Дискретная математика. Математика для менеджера в примерах и упражнениях | 168-171 |
| Вандервуд Д.Д. - Шаблоны С++. Справочник разработчика | 491 |
| Глушков В.М. - Основы безбумажной информатики | 20 |
| 3алманзон Л.А. - Беседы об автоматике и кибернетике | 291 |
| Робинсон А. - Введение в теорию моделей и математическую логику | 21 |
| Валиков А.Н. - Технология XSLT | 218, 224, 231 |
| Гаек П., Гавранек Т. - Автоматическое образование гипотез | 36 |
| Зелковиц М., Шоу А., Геннон Дж. - Принципы разработки програмного обеспечение | 41, 98-100 |
| Калбертсон Дж.Т. - Математика и логика цифровых устройств | 115 |
| Рассел С., Норвиг П. - Искусственный интеллект: современный подход | 1045 |
| Андон Ф., Резниченко В. - Язык запросов SQL. Учебный курс | 41 |
| Бердж В. - Методы рекурсивного программирования | 12 |
| Марков А.С., Лисовский К.Ю. - Базы данных. Введение в теорию и методологию | 25, 57, 127 |
| Фрид Э., Пастор И., Рейман И. - Малая математическая энциклопедия | 649 |
| Эккель Б., Эллисон Ч. - Философия С++. Практическое программирование | 258, 273 |
| Ковальски Р. - Логика в решении проблем | 21 |
| Егоров И.П. - Геометрия | 118 |
| Варпаховский Ф.Л., Солодовников А.С. - Алгебра | 28 |
| Аксенова М.Д. (ред.) - Энциклопедия для детей. Том 11. Математика. | 593 |
| Поспелов Д.А. - Фантазия или наука: на пути к искусственному интеллекту | 60 |
| Судоплатов С.В., Овчинникова Е.В. - Элементы дискретной математики | 16 |
| Шилдт Г. - Искусство программирования на С++ | 306, 308 |
| Бочаров В.А., Маркин В.И. - Основы логики | 173 |
| Гладкий А.В. - Синтаксические структуры естественного языка в автоматизированных системах общения | 28, 62 |
| Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. - Информатика и компьютерные технологии. Основные термины. Толковый словарь | 148 |
| Калужин Л.А. - Введение в общую алгебру | 72 |
| Клини С.К. - Математическая логика | 93, 94, 112 |
|
|
О проекте