Table | Card | RUSMARC | |
Allowed Actions: Read Download (1.4 Mb) Group: Anonymous Network: Internet |
Annotation
Системно излагаются основы математической логики. Основное внимание уделяется методу резолюций и решению задач возникающих при применении метода в исчисление предикатов. Приводятся графические иллюстрации и примеры. Проводится постоянная систематизация материала в виде схем и упорядоченного изложения основных тезисов представленного материала. Используется методика изложения «от простого к сложному».
Usage statistics
Access count: 10319
Last 30 days: 371 Detailed usage statistics |