Детальная информация

Название: Математическая логика: учебное пособие для вузов по направлению подготовки магистров "Системный анализ и управление"
Авторы: Попова Светлана Владимировна; Ходырев Иван Александрович
Организация: Санкт-Петербургский государственный политехнический университет
Выходные сведения: Санкт-Петербург, 2010
Коллекция: Учебная и учебно-методическая литература; Общая коллекция
Тематика: Математическая логика
УДК: 510.6(075.8)
Тип документа: Учебное издание
Тип файла: PDF
Язык: Русский
Права доступа: Свободный доступ из сети Интернет (чтение, печать)

Разрешенные действия: Прочитать Загрузить (1,4 Мб)

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

Системно излагаются основы математической логики. Основное внимание уделяется методу резолюций и решению задач возникающих при применении метода в исчисление предикатов. Приводятся графические иллюстрации и примеры. Проводится постоянная систематизация материала в виде схем и упорядоченного изложения основных тезисов представленного материала. Используется методика изложения «от простого к сложному».

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
Интернет Авторизованные пользователи Прочитать Печать Загрузить
-> Интернет Анонимные пользователи Прочитать Печать Загрузить

Статистика использования

stat Количество обращений: 1311
За последние 30 дней: 9
Подробная статистика