Details

Title: Математическая логика: учебное пособие для вузов по направлению подготовки магистров "Системный анализ и управление"
Creators: Попова Светлана Владимировна; Ходырев Иван Александрович
Organization: Санкт-Петербургский государственный политехнический университет
Imprint: Санкт-Петербург, 2010
Collection: Учебная и учебно-методическая литература; Общая коллекция
Subjects: Математическая логика
UDC: 510.6(075.8)
Document type: Tutorial
File type: PDF
Language: Russian
Rights: Свободный доступ из сети Интернет (чтение, печать)

Allowed Actions: Read Download (1.4 Mb)

Group: Anonymous

Network: Internet

Annotation

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

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
Internet Authorized users Read Print Download
-> Internet Anonymous Read Print Download

Usage statistics

stat Access count: 1303
Last 30 days: 5
Detailed usage statistics