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 |
Системно излагаются основы математической логики. Основное внимание уделяется методу резолюций и решению задач возникающих при применении метода в исчисление предикатов. Приводятся графические иллюстрации и примеры. Проводится постоянная систематизация материала в виде схем и упорядоченного изложения основных тезисов представленного материала. Используется методика изложения «от простого к сложному».
| Network | User group | Action |
|---|---|---|
| ILC SPbPU Local Network | All |
|
| Internet | All |
|
Access count: 16587
Last 30 days: 285
