Логика и исчисление предикатов: Методические указания
Кацаран Т.К.
Целью настоящей методической разработки, помимо изложения фактического материала курса ''Дискретная математика'', является становление и развитие подчиненного законам формальной логики математического мышления студентов. Приводимые здесь доказательства теорем типичны и фактически являются указаниями для решения задач логики предикатов. Одна из таких задач - проверка тождественной истинности или выполнимости предикатных формул
الفئات:
عام:
2000
الناشر:
Изд-во ВГУ
اللغة:
russian
الصفحات:
13
ملف:
PDF, 170 KB
IPFS:
,
russian, 2000
Litres
هل تريد إضافة متجر كتب؟ إتصل بنا على support@z-lib.do
حول الملفات
المزيد من نتائج البحث
مميزات أخري 
![Mary Torjussen [Torjussen, Mary] — The Closer You Get](https://s3proxy.cdn-zlib.se/covers200/collections/userbooks/c307d493fe8ebddf3f427d99f304425dbce26716fa0815aef00f87ad7497c575.jpg)
أكثر المصطلحات والعبارات المستخدمة
قوائم الكتب ذات الصلة
