|
Электронная библиотека механико-математического факультета Московского государственного университета
|
|
|
|
Результат поиска |
Поиск книг, содержащих: Предложение
Книга | Страницы для поиска | Мендельсон Э. - Введение в математическую логику | 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 |
|
|
|
|
|