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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
Новиков П.С. — Конструктивная математическая логика с точки зрения классической21
Мендельсон Э. — Введение в математическую логику36, 39
Арбиб М.А. — Алгебраическая теория автоматов, языков и полугрупп300
Клини С. — Математическая логика47, 50, 89, 133
Тэрано Т., Асаи К., Сугэно М. — Прикладные нечеткие системы28, 32
Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы477, 478
Ахо А.В., Сети Р., Ульман Д.Д. — Компиляторы: принципы, технологии и инструменты175
Токхейм Р. — Основы цифровой электроники284
Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики63
Попов Э.В. — Общение с ЭВМ на естественном языке98
Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование107, 172, 174, 181, 272
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах313
Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств226
Гладкий А.В. — Формальные грамматики и языки28
Фейс Р. — Модальная логика32, 189
Такеути Г. — Теория доказательств18, 217
Метакидес Г., Нероуд А. — Принципы логики и логического программирования45
Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание435
Бернстайн П. — Против богов: Укрощение риска88, 96, 151-153
Стелтинг С., Маассен О. — Применение шаблонов Java306
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера218
Фу К. — Структурные методы в распознавании образов14, 107 (см. также «Дерево вывода»)
Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения47
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера205
Гладкий А.В. — Математическая логика157, 164, 184
Девятков В.В. — Системы искусственного интеллекта23
Уолл Л., Кристиансен Т., Орвант Д. — Программирование на Perl52, 774
Рэндал Э., Сугальски Д., Тёч Л. — Perl 6 и Parrot Справочник162
Виноградов И.М. — Математическая энциклопедия. Предметный указательI—112, 1092
Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов60, 83
Аверкин А.Н. — Нечеткие множества в моделях управления и искусственного интеллекта173
Борковский А.Б. — Англо-русский словарь по программированию и информатике81, 132, 212
Уэно Х., Исидзука М. — Представление и использование знаний
Осуга С. — Обработка знаний34
Бишоп Дж. — C# в кратком изложении55
Йенсен К., Вирт Н. — Паскаль. Руководство для пользователя и описание языка9.2
Ярмиш Р., Ярмиш Дж. — Основы программирования на языке Ассемблера, книга 211
Лугинский Я.Н. — Словарь по электротехникеL36, T72
Журдэн Ф. — Природа математики25, 166
Джонстон Г. — Учитесь программировать27, 44, 47—66, 195
Гаек П., Гавранек Т. — Автоматическое образование гипотез19
Шампандар А.Дж. — Искусственный интеллект в компьютерных играх: как обучить виртуальные персонажи реагировать на внешние воздействия173
Подбельский В.В., Фомин С.С. — Программирование на языке Си. Учебное пособие69, 192, 252, 325, 331
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию46, 211, 443
Подбельский В.В. — Язык Си++: учебное пособиесм. "Операция вывода", "Поток вывода", "Потоковый ввод-вывод"
Ахо А.В., Лам М.С., Сети Р., Ульман Д.Д. — Компиляторы. Принципы, технологии и инструментарий.261
Винер Н. — Кибернетика и общество38
Джермейн К. — Программирование на IBM/36098
Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс313, 348
Бочаров В.А., Маркин В.И. — Основы логики149
Дудаков С.М. — Математическое введение в информатику104
Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь36
Клини С.К. — Математическая логика47, 50, 89, 133
Мендельсон Э. — Введение в математическую логику36, 39
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте