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