Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Предложение



КнигаСтраницы для поиска
Мендельсон Э. — Введение в математическую логику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
Стэбли Д. — Логическое программирование в системе / 36067, 92, 93, 708
Ахо А.В., Лам М.С., Сети Р., Ульман Д.Д. — Компиляторы. Принципы, технологии и инструментарий.166
Джермейн К. — Программирование на IBM/360585
Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс112
Гладкий А.В. — Синтаксические структуры естественного языка в автоматизированных системах общения12, 17
Крылова И.П., Крылова Е.В. — Практическая грамматика английского языка5, 217—220
Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций115, 128
Вирт Н. — Систематическое программирование130
Мендельсон Э. — Введение в математическую логику39
Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов108
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте