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