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

square Второй курс

square Третий курс

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

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

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

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

Поиск книг, содержащих: Квантор общности



КнигаСтраницы для поиска
Гелбаум Б., Олмстед Дж. — Контрпримеры в анализе21
Новиков П.С. — Конструктивная математическая логика с точки зрения классической171, 183
Майков Е.В. — Введение в математический анализ10
Эдельман С.Л. — Математическая логика61
Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы42
Ахо А.В., Сети Р., Ульман Д.Д. — Компиляторы: принципы, технологии и инструменты358
Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики24
Никольская И.Л. — Математическая логика95
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах26, 249, 458
Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов69
Кон П. — Универсальная алгебра217
Голдблатт Р. — Топосы. Категорный анализ логики.244, 246
Боярчук А.К. — АнтиДемидович (том 4: Справочное пособие по высшей математике. Функции комплексного переменного: теория и практика)4
Шиханович Ю.А. — Введение в современную математику. Начальные понятия147
Пугачев В.С., Синицын И.Н. — Стохастические дифференциальные системы. Анализ и фильтрация87
Каллан Р. — Основные концепции нейронных сетей199
Линдон Р. — Заметки по логике20
Гладкий А.В. — Математическая логика60
Девятков В.В. — Системы искусственного интеллекта56
Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов380
Гладкий А.В. — Введение в современную логику46
Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов68
Пенроуз Р. — Тени разума. В поисках науки о сознании152
Красильщик И.С., Радковский Г.Н., Самохин А.В. — Математика. Часть I. Алгебра и аналитическая геометрия13
Деньдобренко Б.Н., Малика А.С. — Автоматизация конструирования РЭА24
Осуга С. — Обработка знаний93
Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог16, 17, 19
Успенский В.А. — Лекции о вычислимых функциях60, 72
Гаек П., Гавранек Т. — Автоматическое образование гипотез37
Кремер Н.Ш. (ред.) — Высшая математика для экономистов142
Ковальски Р. — Логика в решении проблем208
Варпаховский Ф.Л., Солодовников А.С. — Алгебра32
Поспелов Д.А. — Фантазия или наука: на пути к искусственному интеллекту60
Бочаров В.А., Маркин В.И. — Основы логики93
Асмус В.Ф. — Проблема интуиции в философии и математике274
Падучева Е.В. — О семантике синтаксиса. Материалы к трансформационной грамматике русского языка46, 85
Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга94, 190
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте