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