Details

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

Allowed Actions

Read Download (1.4 Mb)

Group Anonymous
Network Internet

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

Network User group Action
ILC SPbPU Local Network All
Read Print Download
Internet All

Access count: 16587 
Last 30 days: 285

Detailed usage statistics