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

square Второй курс

square Третий курс

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

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

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

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

Поиск книг, содержащих: Интерпретация



КнигаСтраницы для поиска
Френкель А.А., Бар-Хиллел И. — Основания теории множеств41, 336 и сл.
Барендрегт Х. — Ламбда-исчисление. Его синтаксис и семантика101, 114
Верещагин Н.К., Шень А. — Языки и исчисления91
Мендельсон Э. — Введение в математическую логику57
Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей28, 327
Таненбаум Э. — Современные операционные системы703
Клини С. — Математическая логика162, 233, 432
Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь351
Йех Т. — Теория множеств и метод форсинга61
Нильсон Н. — Искусственный интеллект. Методы поиска решений175
Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики34
Таненбаум Э. — Архитектура компьютера19
Малпас Дж. — Реляционный язык Пролог и его применение31, 43, 252, 257, 272
Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование140, 233, 296
Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции156
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах28, 30, 36, 40, 57, 138, 140, 141, 143, 145, 233, 237, 251, 255, 290, 294, 318, 332, 336—343, 378, 385, 393, 415, 432, 435, 466, 501, 575
Степанов С.А. — Арифметика алгебраических кривых251
Филд А., Харрисон П. — Функциональное программирование207
Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики.103
Пестриков В.М., Маслобоев А.Н. — Delphi на примерах18
Бермант А.Ф. — Курс математического анализа. Часть 123
Такеути Г. — Теория доказательств50, 196, 205
Яглом И.М. — Геометрические преобразования (том 2)346
Гончаров С.С. — Счетные булевы алгебры и разрешимость2
Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание137, 197, 390, 413
Бурлачук Л., Кочарян А., Жидко М. — Психотерапия
Кан М.Н. — Технический анализ154
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера87, 239
Линдон Р. — Заметки по логике12, 13, 26—31, 33, 35, 73, 83, 88
Новиков П.С. — Элементы математической логики12
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера81, 225
Гладкий А.В. — Математическая логика129, 149
Девятков В.В. — Системы искусственного интеллекта25, 59
Виноградов И.М. — Математическая энциклопедия. Предметный указательII-635—637
Штанько В.И. — Философия и методология науки28, 39, 43, 44, 79, 88, 118, 159, 254, 259
Шеннон Р. — Имитационное моделирование систем - искусство и наука38
Столл Р.Р. — Множества. Логика. Аксиоматические теории148, 179
Борковский А.Б. — Англо-русский словарь по программированию и информатике140
Осуга С. — Обработка знаний94
Касьянов В.Н. — Оптимизирующие преобразования программ30, 40
Эндрю А. — Искусственный интеллект192, 242
Бишоп Дж. — C# в кратком изложении21
Глушков В.М. — Основы безбумажной информатики136
Пярнпуу А.А. — Программирование на современных алгоритмических языках35
Майоров С.А., Кириллов В.В., Приблуда А.А. — Введение в микроЭВМ76
Брусенцов Н П. — Миникомпьютеры60, 65
Кроудер Д. — Создание веб-сайта для чайников324
Таненбаум Э. — Архитектура компьютера18
Кусраев А.Г., Кутателадзе С.С. — Нестандартные методы анализаII.2.1.6
Гастев Ю.А. — Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования24, 26
Рассел С., Норвиг П. — Искусственный интеллект: современный подход353
Кейслер Г., Чэн Ч.Ч. — Теория моделей20
Власов В.К., Королев Л.Н., Сотников А.Н. — Элементы информатики170
Пярнпуу А.А. — Программирование на алголе и фортране35
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию61, 117, 453
Куринной Г.Ч. — Математика. Справочник71, 72
Рывкин А.А., Рывкин А.З., Хренов Л.С. — Справочник по математике: справочное пособие для учащихся средних специальных учебных заведений и поступающих в вузы205
Любимский Э.З., Мартынюк В.В., Трифонов Н.П. — Программирование341
Ковальски Р. — Логика в решении проблем28
Яглом И.М. — Геометрические преобразования. Том 2. Линейные и круговые преобразования346
Лорьер Ж.-Л. — Системы искусственного интеллекта86
Гетманова А.Д. — Учебник по логике268—269
Рапаков Г.Г., Ржеуцкая С.Ю. — Программирование на языке Pascal30
Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах325
Анисимов А.В. — Рекурсивные преобразователи информации56
Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики49, 173
Бочаров В.А., Маркин В.И. — Основы логики34, 55
Башмаков А.И., Башмаков И.А. — Интеллектуальные информационные технологии205, 225, 227
Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь70
Мазор Ю.Л., Мачусский Е.А., Правда В.И. — Радиотехника. Энциклопедия892
Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления90, 212
Клини С.К. — Математическая логика162, 233, 432
Таненбаум Э. — Архитектура компьютера19
Новиков П.С. — Элементы математической логики12
Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга102, 161, 192
Мендельсон Э. — Введение в математическую логику57
Столл Р.Р. — Множества. Логика. Аксиоматические теории148, 179
Ершов А.П. — Введение в теоретическое программирование. Беседы о методе245
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте