| Книга | Страницы для поиска |
| Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 41, 59 |
| Аппель П. — Теоретическая механика. Том второй. Динамика системы. Аналитическая механика | 476 |
| Верещагин Н.К., Шень А. — Языки и исчисления | 180 |
| Мендельсон Э. — Введение в математическую логику | 59 |
| Новиков Ф.А. — Дискретная математика для программистов | 52 |
| Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей | 84 |
| Айгнер М. — Комбинаторная теория | 40 |
| Корн Г., Корн Т. — Справочник по математике для научных работников и инженеров | 12.1—1 |
| Макконнелл С. — Совершенный код | 9 |
| Клини С. — Математическая логика | 232, 381, 384 |
| Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь | 40 |
| Гретцер Г. — Общая теория решеток | 305 |
| Йех Т. — Теория множеств и метод форсинга | 25 |
| Шапиро С.И. — От алгоритмов — к суждениям (Эксперименты по обучению элементам математического мышления) | 32, 44 |
| Эдельман С.Л. — Математическая логика | 60 |
| Гамма Э., Хелм Р., Джонсон Р. — Приемы объектно-ориентированного проектирования. Паттерны проектирования | 18 |
| Мальцев А.И. — Алгоритмы и рекурсивные функции | 267 |
| Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика | 39 |
| Нильсон Н. — Искусственный интеллект. Методы поиска решений | 111, 175, 189, 244 |
| Гук М.Ю. — Аппаратные средства IBM PC | 585 |
| Клейн Ф. — Элементарная математика с точки зрения высшей.Том 1: Арифметика. Алгебра. Анализ | 5, 6, 397 |
| Кларк Дж. — Иллюстрированная хроника открытий и изобретений | |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 58 |
| Артамонов В.А., Салий В.Н., Скорняков Л.А. — Общая алгебра (том 2) | 352 |
| Мальцев А.И. — Алгебраические системы | 47, 249 |
| Свитцер Р.М. — Алгебраическая топология - гомотопии и гомологии | 293 |
| Кейслер Г.Дж., Чень-Чунь Ч. — Теория непрерывных моделей | 56 |
| Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование | 67 |
| Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 325, 328, 339, 342, 359, 367, 377, 378, 385, 390, 399 |
| Степанов С.А. — Арифметика алгебраических кривых | 252 |
| Кон П. — Универсальная алгебра | 221, 236 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | 227 |
| Фейс Р. — Модальная логика | 20, 328 |
| Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 43 |
| Такеути Г. — Теория доказательств | 51 |
| Гончаров С.С. — Счетные булевы алгебры и разрешимость | 2 |
| Дынкин Е.Б., Юшкевич А.А. — Управляемые марковские процессы и их приложения | 23, 51—52, 66—67, 128, 130 |
| Гордон Е.И., Кусраев А.Г., Кутателадзе С.С. — Инфинитезимальный анализ | 45 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 239 |
| Емельянов В.В., Курейчик В.В., Курейчик В.М. — Теория и практика эволюционного моделирования | 233 |
| Льюнг Л. — Идентификация систем. Теория для пользователя | 18 |
| Линдон Р. — Заметки по логике | 33, 74, 79, 88—90 |
| Флейшман Б.С. — Элементы теории потенциальной эффективности сложных систем | 8, .120 |
| Вилкас Э.Й., Майминас Е.З. — Решения: теория, информация, моделирование. | 284—287 |
| Хант Э. — Искусственный интеллект | 340, 379 |
| Любин Дж. (ред.) — Справочник по композиционным материалам (ч. 2) | 41 |
| Сик Дж., Ли Л., Ламсдэйн Э. — C++ Boost Graph Library | 41 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 226 |
| Александров П.С., Маркушевич А.И., Хинчин А.Я. — Энциклопедия элементарной математики. Том IV. Геометрия | 21, 29 |
| Девятков В.В. — Системы искусственного интеллекта | 29, 59 |
| Полищук Н.Н., Савельева В.А. — Самоучитель Autocad 2005 | 16 |
| Фаулер М., Бек К., Брант Д., Апдайк У., Робертс Д. — Рефакторинг. Улучшение существующего кода | 368 |
| Хантер Р. — Проектирование и конструирование компиляторов | 129, 199 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | III—769 |
| Пуаза Б. — Курс теории моделей | 2.c |
| Сакс Дж.Е. — Теория насыщенных моделей | 21 |
| Штанько В.И. — Философия и методология науки | 18, 59, 77, 86, 88, 102, 107, 141, 164, 167, 173, 174, 178, 191, 197, 213, 214, 225, 240, 246, 248, 254 |
| Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 70 |
| Винн Р., Холден К. — Введение в прикладной эконометрический анализ | 9 |
| Новиков A.M. — Методология образования | 89, 90, 230 |
| Кельтон В., Лоу А. — Имитационное моделирование. Классика CS. | 19 |
| Столл Р.Р. — Множества. Логика. Аксиоматические теории | 149, 180 |
| Питерсон Дж. — Теория сетей Петри и моделирование систем | 9 |
| Леман Э. — Теория точечного оценивания | 11, см. «Модель со случайными эффектами» |
| Акофф Р., Эмери Э. — О целеустремленных системах | 84—88, 220, 221 |
| Осуга С., Саэки Ю. — Приобретение знаний | 252 |
| Борковский А.Б. — Англо-русский словарь по программированию и информатике | 168, 235 |
| Клейн Ф. — Элементарная математика с точки зрения высшей, том 1 | 5, 6, 397 |
| Осуга С. — Обработка знаний | 252 |
| Уилсон А., Уилсон М. — Управление и творчество при проектировании систем | 105 |
| Локк А.С. — Управление снарядами | 695 |
| Плоткин Б.И. — Группы автоморфизмов алгебраических систем | 59 |
| Москинова И.Г. — Дискретная математика. Математика для менеджера в примерах и упражнениях | 99—102, 184 |
| Гилман Л., Роуз А. — Курс АПЛ: диалоговый подход | 352 |
| Карлин С. — Математические методы в теории игр, программировании и экономике | 14 |
| Байхельт Ф., Франкен П. — Надежность и техническое обслуживание. Математический подход | 305, 313 |
| Воробьев Н.Н. — Основы теории игр. Бескоалиционные игры | 9 |
| Джонсон Р., Каст Ф., Розенцвейг Д. — Системы и руководство | 98, 169, 374, 467 |
| Журдэн Ф. — Природа математики | 102, 103 |
| Степанов А.Н. — Информатика | 38 |
| Гаек П., Гавранек Т. — Автоматическое образование гипотез | 20 |
| Зелковиц М., Шоу А., Геннон Дж. — Принципы разработки програмного обеспечение | 144 |
| Мортье Ш. — 3ds max 8 для "чайников" | 49 |
| Лернер А.Я. — Начала кибернетики | 40 и д. |
| Чуев Ю.В., Спехова Г.П. — Технические задачи исследования операций | 63 |
| Тернер Д. — Вероятность, статистика и исследование операций | 276 |
| Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 292 |
| Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник | 19, 332, 413, 607 |
| Мартенс Л.К. (ред.) — Техническая энциклопедия. Том 24 | 485 |
| Хорстманн К.С., Корнелл Г. — Java 2. Библиотека профессионала, том 1. Основы | 410 |
| Ершов Ю.Л. — Проблемы разрешимости и конструктивные модели | 13 |
| Плоткин Б.И. — Универсальная алгебра, алгебраическая логика и базы данных | 44 |
| Шалыто А.А. — Логическое управление. Методы аппаратной и программной реализации | 700 |
| Флейшман Б.С. — Основы системологии | 19, 25 |
| Гук М.Ю. — Аппаратные средства IBM PC. Энциклопедия | 585 |
| Бускаран Э. — Теория моделей и алгебраическая геометрия | 37 |
| Карпов Ю.Г. — Имитационное моделирование систем. Введение в моделирование с AnyLogic 5 | 13 |
| Бунге М. — Причинность. Место принципа причинности в современной науке | 54, 104, 286, 311, 384 |
| Хлытчиев С.М., Ворожцов А.С., Захаров И.А. — Основы автоматики и автоматизации производственных процессов | 65 |
| Корн Г.А., Корн Т.М. — Справочник по математике для ученых инженеров | 12.1—1 |
| Корн Г., Корн Т. — Справочник по математике для научных работников и инженеров. | 12.1—1 |
| Корн Г.А., Корн Т.М. — Справочник по математике для научных работников и инженеров | 12.1—1 |
| Корн Г., Корн Т. — Справочник по математике (для научных работников и инженеров) | 12.1—1 |
| Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах | 35 |
| Ревзин И.И. — Современная структурная лингвистика | 1.1.2 |
| Егер С.М., Лисейцев Н.К., Самойлович О.С. — Основы автоматизированного проектирования самолетов | 4 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 49 |
| Ларман К. — Применение UML и шаблонов проектирования. Введение в объектно-ориентированный анализ, проектирование и унифицированный процесс UP. | 605 |
| Бочаров В.А., Маркин В.И. — Основы логики | см. "Возможная реализация языка" |
| Ремизов А.Н., Максина А. Г., Потапенко А. Я. — Медицинская и биологическая физика | 14 |
| Херн Д., Паулин Б.М. — Компьютерная графика и стандарт OpenGL | 1029, 1040 |
| Мазур М. — Качественная теория информации | 109 |
| Трезубов В.Н., Мишнев Л.М., Незнанова Н.Ю. — Ортопедическая стоматология. Технология лечебных и профилактических аппаратов: Учебник для медицинских вузов | 43 |
| Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь | 111 |
| Полак Л.С. — Неравновесная химическая кинетика и ее применение | 19 |
| Трезубов М.М., Щербаков А.С., Мишнев Л.М. — Ортопедическая стоматология. Пропедевтика и основы частного курса | 153 |
| Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 178 |
| Бартеньев О.В. — Фортран для профессионалов. Математическая библиотека IMSL. Выпуск 1 | 355 |
| Мазур М. — Качественная теория информации | 109 |
| Клини С.К. — Математическая логика | 232, 381, 384 |
| Полуэктов Р.А. (ред.) — Динамическая теория биологических популяций | 17 |
| Зорин В.В., Фискович Т.Т. — Пособие по математике для поступающих в вузы | 21 |
| Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 58 |
| Берг А.И. (ред.), Бирюков Б.В. (ред.), Геллер Е.С. (ред.) — Управление, Информация, Интеллект | 15, 52, 73, 76, 78, 83, 92, 111, 128, 130, 132, 135, 142, 161, 162, 176, 202, 205, 206, 227, 277, 282, 298, 331, 356, 357 |
| Бартеньев О.В. — Фортран для профессионалов. Математическая библиотека IMSL. Выпуск 1 | 355 |
| Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 103, 193 |
| Мендельсон Э. — Введение в математическую логику | 59 |
| Гильберт А. — Как работать с матрицами | 111 |
| Гришкин И.И. — Понятие информации. Логико-методолгический аспект. | 174 |
| Пармон Ф.М. — Композиция костюма | 14 |
| Столл Р.Р. — Множества. Логика. Аксиоматические теории | 149, 180 |
| Клейн Ф. — Элементарная математика с точки зрения высшей. Арифметика. Алгебра. Анализ | 5, 6, 397 |
| Вистелиус А.Б. — Основы математической геологии | 29, 31 |
|
|
О проекте