|
|
 |
| Результат поиска |
Поиск книг, содержащих: Предложение
| Книга | Страницы для поиска | | Мендельсон Э. — Введение в математическую логику | 39 | | Новиков Ф.А. — Дискретная математика для программистов | 128 | | Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей | 28 | | Непейвода Н.Н., Скопин И.Н. — Основания программирования | 752 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика | 108 | | Нильсон Н. — Искусственный интеллект. Методы поиска решений | 39, 181, 184 | | Ахо А.В., Сети Р., Ульман Д.Д. — Компиляторы: принципы, технологии и инструменты | 105, 176 | | Попов Э.В. — Общение с ЭВМ на естественном языке | 22, 23, 70, 182, 184 | | Братко И. — Программирование на языке Пролог для искусственного интеллекта | | | Кон П. — Универсальная алгебра | 218 | | Голдблатт Р. — Топосы. Категорный анализ логики. | 139, 142, 143, 247 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 12, 190, 224 | | Белоусов А.И., Ткачев С.Б. — Дискретная математика | 699 | | Фейс Р. — Модальная логика | 45, 173 | | Такеути Г. — Теория доказательств | 12 | | Феферман С. — Числовые системы. Основания алгебры и анализа | 15 | | Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание | 395 | | Кан М.Н. — Технический анализ | 36, 52, 108, 188 | | Дуда Р., Харт П. — Распознавание образов и анализ сцен | 456 | | Хант Э. — Искусственный интеллект | 340, 487 | | Хантер Р. — Проектирование и конструирование компиляторов | 22, 24, 26, 35—40, 54, 60, 62, 78, 80, 86, 88—90, 176 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | IV—580; V—269, 637 | | Пуаза Б. — Курс теории моделей | 2.а | | Сакс Дж.Е. — Теория насыщенных моделей | 18 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 69 | | Алпатов В.М., Вентцель А.Д., Городецкий Б.Ю. — Лингвистические задачи | 78—84, 86, 87, 91—98, 100—106, 118, 143, 144, 148, 155 | | Пападимитриу Х., Стайглиц К. — Комбинаторная оптимизация. Алгоритмы и сложность. | 104 | | Аверкин А.Н. — Нечеткие множества в моделях управления и искусственного интеллекта | 140 | | Осуга С., Саэки Ю. — Приобретение знаний | 251 | | Борковский А.Б. — Англо-русский словарь по программированию и информатике | 51, 230 | | Уэно Х., Исидзука М. — Представление и использование знаний | 152 | | Маджинис Дж. — Программирование на стандартном КОБОЛе | 33, 54, 101—102, 184 | | Осуга С. — Обработка знаний | 95 | | Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог | 18, 25, 81, 144 | | Уилсон А., Уилсон М. — Управление и творчество при проектировании систем | 86, 92, 193 | | Эндрю А. — Искусственный интеллект | 67 | | Бишоп Дж. — C# в кратком изложении | 17 | | Форд Л.Р., Фалкерсон Д.Р. — Потоки в сетях | 60 | | Котельников И.А., Чеботаев П.З. — LaTeX по-русски | 24 | | Квиттнер Н. — Задачи, программы, вычисления, результаты | 128—130 | | Вирт Н. — Систематическое программирование. Введение | 130 | | Алексеев В.В. (ред.), Гаврилов Г.П. (ред.), Сапоженко А.А. (ред.) — Теория графов: покрытия, укладки, турниры | 184 | | Гаек П., Гавранек Т. — Автоматическое образование гипотез | 18, 27 | | Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 1029 | | Андон Ф., Резниченко В. — Язык запросов SQL. Учебный курс | 19 | | Кейслер Г., Чэн Ч.Ч. — Теория моделей | 38 | | Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 352, 473 | | Пентковский В.М. — Язык программирования Эль-76. Принципы построения языка и руководство к пользованию | 104 | | Бускаран Э. — Теория моделей и алгебраическая геометрия | 23 | | Ковальски Р. — Логика в решении проблем | 208 | | Гетманова А.Д. — Учебник по логике | 66—67 | | Маклейн С. — Категории для работающего математика | 43 | | Бунге М. — Причинность. Место принципа причинности в современной науке | 53, 275—278 | | Стэбли Д. — Логическое программирование в системе / 360 | 67, 92, 93, 708 | | Ахо А.В., Лам М.С., Сети Р., Ульман Д.Д. — Компиляторы. Принципы, технологии и инструментарий. | 166 | | Джермейн К. — Программирование на IBM/360 | 585 | | Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс | 112 | | Гладкий А.В. — Синтаксические структуры естественного языка в автоматизированных системах общения | 12, 17 | | Крылова И.П., Крылова Е.В. — Практическая грамматика английского языка | 5, 217—220 | | Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 115, 128 | | Вирт Н. — Систематическое программирование | 130 | | Мендельсон Э. — Введение в математическую логику | 39 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 108 |
|
|
|
|
О проекте