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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
Зорич В.А. — Математический анализ (том 1)7, 30
Мендельсон Э. — Введение в математическую логику53
Бугров Я.С., Никольский С.М. — Высшая математика. Дифференциальное и интегральное исчисление12
Новиков Ф.А. — Дискретная математика для программистов119
Бутузов В.Ф., Крутицкая Н.Ч., Медведев Г.Н. — Математический анализ в вопросах и задачах8
Шапиро С.И. — Решение логических и игровых задач55
Тэрано Т., Асаи К., Сугэно М. — Прикладные нечеткие системы21
Ершов Ю.Л., Палютин Е.А. — Математическая логика105
Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика142
Нильсон Н. — Искусственный интеллект. Методы поиска решений178
Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии180
Фейс К. — Алгебра: кольца, модули и категории (том 1)28
Гиндикин С.Г. — Алгебра логики в задачах260
Кейслер Г.Дж., Чень-Чунь Ч. — Теория непрерывных моделей36
Белоусов А.И., Ткачев С.Б. — Дискретная математикаI, 28
Фейс Р. — Модальная логика24
Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики.26, 135
Воднев В.Т., Наумович А.Ф., Наумович Н.Ф. — Основные математические формулы. Справочник248
Новиков П.С. — Элементы математической логики128, 185
Хант Э. — Искусственный интеллект396
Зорич В.А. — Математический анализ (Часть 1)8, 36
Виноградов И.М. — Математическая энциклопедия. Предметный указательI-769; III-1148
Гладкий А.В. — Введение в современную логику46
Вопенка П. — Альтернативная теория множеств. Новый взгляд на бесконечность42
Борковский А.Б. — Англо-русский словарь по программированию и информатике269
Бауэр Ф.Л., Гооз Г. — Информатика567
Глушков В.М. — Основы безбумажной информатики182
3алманзон Л.А. — Беседы об автоматике и кибернетике292
Лихтенштейн В.Е. — Дискретность и случайность в экономико-математических задачах10
Рассел С., Норвиг П. — Искусственный интеллект: современный подход355, 385
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию210, 222
Куринной Г.Ч. — Математика. Справочник71
Плоткин Б.И. — Универсальная алгебра, алгебраическая логика и базы данных181
Лорьер Ж.-Л. — Системы искусственного интеллекта101
Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики222
Дудаков С.М. — Математическое введение в информатику29
Калужин Л.А. — Введение в общую алгебру79
Бугров Я.С., Никольский С.М. — Высшая математика. Том 2. Дифференциальное и интегральное исчисление15
Новиков П.С. — Элементы математической логики128, 185
Мендельсон Э. — Введение в математическую логику53
Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов105
Ершов А.П. — Введение в теоретическое программирование. Беседы о методе265
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2022
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте