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