Catalogue Search | MBRL
Are you sure you want to remove the book from the shelf?
{{itemTitle}}
1
result(s) for
"المنطق الرمزي والرياضي مسائل، تمارين، إلخ."
Sort by:
المنطق الرمزي المعاصر : نظري وتمارين محلولة
يمثل هذا الكتاب مدخلا إلى المنطق الرمزي المعاصر ويعرض بأسلوب مبسط ودقيق حساب القضايا حيث تدرس دلالته وتركيبة، الأستنتاج الطبيعي. هنا يتناول قواعد الاشتقاق وأنواع البراهين الصورية تم بناء نسق لحساب القضايا مع براهين صفات هذا النسق. حساب المحمولات يتم إدخاله كتوسيع لحساب القضايا، حيث تدرس دلالته من خلال البناءات التفسيرية وتركيبه، الاستنتاج الطبيعي لحساب المحمولات يقوم على إضافة قواعد اشتقاق جديدة، ثم يتم توسيعه بدراسة مفهوم الهوية يبنى النسق الصوري لحساب المحمولات. تدرس أشجار الصدق كطريقة أخرى فعالة وسلسة في حساب القضايا وأخيرا لتحديد : أنواع الصيغ، تكافئها، اتساقها وعدم اتساقها، كما يتم تعميمها على حساب المحمولات. إنه أول كتاب باللغة العربية يحوي حلولا مفصلة لمئات التمارين، التي تمثل مساعدة حقيقية للقارئ لتثبيت المعالجات النظرية المعاصرة في هذا الكتاب.
Book