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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
Зорич В.А. — Математический анализ (том 1)7, 30
Гелбаум Б., Олмстед Дж. — Контрпримеры в анализе12
Новиков П.С. — Конструктивная математическая логика с точки зрения классической171, 183
Мендельсон Э. — Введение в математическую логику53, 55, 235
Бугров Я.С., Никольский С.М. — Высшая математика. Дифференциальное и интегральное исчисление12
Новиков Ф.А. — Дискретная математика для программистов119
Майков Е.В. — Введение в математический анализ10
Бутузов В.Ф., Крутицкая Н.Ч., Медведев Г.Н. — Математический анализ в вопросах и задачах8
Клини С. — Математическая логика100
Шапиро С.И. — Решение логических и игровых задач55
Тэрано Т., Асаи К., Сугэно М. — Прикладные нечеткие системы21
Эдельман С.Л. — Математическая логика61
Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы42
Ершов Ю.Л., Палютин Е.А. — Математическая логика105
Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика142
Нильсон Н. — Искусственный интеллект. Методы поиска решений179
Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии180
Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики25
Фейс К. — Алгебра: кольца, модули и категории (том 1)28
Никольская И.Л. — Математическая логика95
Гиндикин С.Г. — Алгебра логики в задачах260
Кейслер Г.Дж., Чень-Чунь Ч. — Теория непрерывных моделей36
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах26, 249, 458
Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов69
Кон П. — Универсальная алгебра217
Голдблатт Р. — Топосы. Категорный анализ логики.250
Белоусов А.И., Ткачев С.Б. — Дискретная математикаI, 28
Фейс Р. — Модальная логика24
Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики.26, 135
Боярчук А.К. — АнтиДемидович (том 4: Справочное пособие по высшей математике. Функции комплексного переменного: теория и практика)4
Шиханович Ю.А. — Введение в современную математику. Начальные понятия147
Воднев В.Т., Наумович А.Ф., Наумович Н.Ф. — Основные математические формулы. Справочник248
Каллан Р. — Основные концепции нейронных сетей199
Линдон Р. — Заметки по логике20
Новиков П.С. — Элементы математической логики129, 185
Хант Э. — Искусственный интеллект396
Зорич В.А. — Математический анализ (Часть 1)8, 36
Гладкий А.В. — Математическая логика60
Девятков В.В. — Системы искусственного интеллекта56
Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов380
Виноградов И.М. — Математическая энциклопедия. Предметный указательIV-93
Гладкий А.В. — Введение в современную логику46
Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов68
Вопенка П. — Альтернативная теория множеств. Новый взгляд на бесконечность43
Красильщик И.С., Радковский Г.Н., Самохин А.В. — Математика. Часть I. Алгебра и аналитическая геометрия13
Деньдобренко Б.Н., Малика А.С. — Автоматизация конструирования РЭА24
Осуга С. — Обработка знаний93
Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог19
Успенский В.А. — Лекции о вычислимых функциях60, 72
Глушков В.М. — Основы безбумажной информатики182
3алманзон Л.А. — Беседы об автоматике и кибернетике292
Лихтенштейн В.Е. — Дискретность и случайность в экономико-математических задачах10
Гаек П., Гавранек Т. — Автоматическое образование гипотез37
Кремер Н.Ш. (ред.) — Высшая математика для экономистов142
Рассел С., Норвиг П. — Искусственный интеллект: современный подход357
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию210
Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия665
Куринной Г.Ч. — Математика. Справочник71
Плоткин Б.И. — Универсальная алгебра, алгебраическая логика и базы данных180, 181, 182
Ковальски Р. — Логика в решении проблем208
Лорьер Ж.-Л. — Системы искусственного интеллекта102
Варпаховский Ф.Л., Солодовников А.С. — Алгебра31
Поспелов Д.А. — Фантазия или наука: на пути к искусственному интеллекту60
Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики222
Бочаров В.А., Маркин В.И. — Основы логики93
Дудаков С.М. — Математическое введение в информатику29
Калужин Л.А. — Введение в общую алгебру80
Асмус В.Ф. — Проблема интуиции в философии и математике274
Клини С.К. — Математическая логика100
Падучева Е.В. — О семантике синтаксиса. Материалы к трансформационной грамматике русского языка46, 85
Бугров Я.С., Никольский С.М. — Высшая математика. Том 2. Дифференциальное и интегральное исчисление15
Новиков П.С. — Элементы математической логики129, 185
Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга94, 190
Мендельсон Э. — Введение в математическую логику53, 55, 235
Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов105
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте