Логика и исчисление предикатов: Методические указания
Кацаран Т.К.
Целью настоящей методической разработки, помимо изложения фактического материала курса ''Дискретная математика'', является становление и развитие подчиненного законам формальной логики математического мышления студентов. Приводимые здесь доказательства теорем типичны и фактически являются указаниями для решения задач логики предикатов. Одна из таких задач - проверка тождественной истинности или выполнимости предикатных формул
Catégories:
Année:
2000
Editeur::
Изд-во ВГУ
Langue:
russian
Pages:
13
Fichier:
PDF, 170 KB
IPFS:
,
russian, 2000