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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
Арратун Р. — Оптические вычисления295
Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей53
Немнюгин М.А., Стесик О.Л. — Современный фортран. Самоучитель97
Клини С. — Математическая логика241, 397
Непейвода Н.Н., Скопин И.Н. — Основания программирования102
Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь93
Нильсон Н. — Искусственный интеллект. Методы поиска решений172, 175
Ахо А.В., Сети Р., Ульман Д.Д. — Компиляторы: принципы, технологии и инструменты44
Смолин Д.В. — Введение в искусственный интеллект: конспект лекций97
Попов Э.В. — Общение с ЭВМ на естественном языке25
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах237, 239, 242, 255, 283, 285, 293, 298, 321, 322, 336, 342, 348, 357, 358, 375, 378, 382, 385—388, 391, 393, 394, 402, 406, 408, 414, 438, 446, 452, 465, 482, 483, 487, 489, 491, 494, 495, 502, 647, 650, 677, 680
Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств12
Филд А., Харрисон П. — Функциональное программирование593
Абдулазар Л. — Лучшие методики применения Excel в бизнесе327
Карри Х.Б. — Основания математической логики141
Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание438
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера214, 240
Дэвис С.Р. — C++ для "чайников"22
Хант Э. — Искусственный интеллект196, 485
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера200, 227
Гладкий А.В. — Математическая логика91
Девятков В.В. — Системы искусственного интеллекта24
Хантер Р. — Проектирование и конструирование компиляторов22, 23, 31, 33, 199
Виноградов И.М. — Математическая энциклопедия. Предметный указательIV—1110; V—636
Мелик-Гайказян И.В., Мелик-Гайказян М.В., Тарасенко В.Ф. — Методология моделирования нелинейной динамики сложных систем43, 50, 113, 116, 119, 128
Ульман Дж. — Основы систем баз данных151
Алпатов В.М., Вентцель А.Д., Городецкий Б.Ю. — Лингвистические задачи107—131 (см. также «Значение морфемы», «Значение слова»)
Пенроуз Р. — Тени разума. В поисках науки о сознании255
Пинкер С. — Язык как инстинкт50, 191, 444
Кушниренко А.Г., Лебедев Г.В. — Программирование для математиков12
Борковский А.Б. — Англо-русский словарь по программированию и информатике230
Бек Л. — Введение в системное программирование224, 225, 263, 425
Хэзфилд Р., Кирби Л. — Исскуство программирования на С491
Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог71—73
Бишоп Дж. — C# в кратком изложении19, 39
Квиттнер Н. — Задачи, программы, вычисления, результаты128, 181, 183
Джонстон Г. — Учитесь программировать84, 95, 109, 120, 126
Гаек П., Гавранек Т. — Автоматическое образование гипотез20
Зелковиц М., Шоу А., Геннон Дж. — Принципы разработки програмного обеспечение261
Шампандар А.Дж. — Искусственный интеллект в компьютерных играх: как обучить виртуальные персонажи реагировать на внешние воздействия148
Меткалф М., Рид Дж. — Описание языка программирования Фортран 9020
Снук Г — 3D-ландшафты в реальном времени на C++ и DirectX 955
Рассел С., Норвиг П. — Искусственный интеллект: современный подход72, 1022
Кейслер Г., Чэн Ч.Ч. — Теория моделей15
Власов В.К., Королев Л.Н., Сотников А.Н. — Элементы информатики169, 171
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию334, 417, 477
Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник243
Куринной Г.Ч. — Математика. Справочник57, 72
Брукшир Д.Г. — Введение в компьютерные науки. Общий обзор218
Себеста Р.У. — Основные концепции языков программирования124
Любимский Э.З., Мартынюк В.В., Трифонов Н.П. — Программирование44
Ковальски Р. — Логика в решении проблем24
Гетманова А.Д. — Учебник по логике255
Бунге М. — Причинность. Место принципа причинности в современной науке375
Рапаков Г.Г., Ржеуцкая С.Ю. — Программирование на языке Pascal20
Городецкий Б.Ю. — Новое в зарубежной лингвистике: выпуск XXIV. Компьютерная лингвистика9, 26, 32, 47, 58, 79, 162, 165, 173, 193, 194, 198, 275
Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах124
Леонов В.П. — Современные проблемы информатики. Введение в семиотику информационных технологий18
Михайлов А.И., Черный А.И., Гиляревский Р.С. — Основы информатики257
Малютин Э.А., Малютина Л.В. — ПЛ/1 для начинающих32, 71
Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс75
Дудаков С.М. — Математическое введение в информатику9
Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь171
Клини С.К. — Математическая логика241, 397
Берг А.И. (ред.), Бирюков Б.В. (ред.), Геллер Е.С. (ред.) — Управление, Информация, Интеллект87, 93, 189, 201, 203, 268
Ли У. — Методы автоматического распознавания речи. Книга 286, 413, 531
Рафаэл Б. — Думающий компьютер231, 268
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте