| Книга | Страницы для поиска |
| Френкель А.А., Бар-Хиллел И. - Основания теории множеств | 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 |
|
|
О проекте