والخصومات هو برنامج تعليمي يهدف إلى مساعدة الطلاب على تعلم البراهين في المنطق الصوري. الغرض منه هو لاستخدامها من قبل المعلمين والطلاب من الدورات المنطق على مستوى الكلية في الفلسفة والرياضيات وعلوم الكمبيوتر. أنه يعطي ردود فعل فورية في كل مرحلة من دليل، ويوفر تلميحات حول كيفية إكمال البراهين، ويأتي مع مجموعة من دروس الفيديو التي تشرح ومراجعة العديد من المفاهيم الصعبة في المنطق. وتهدف الخصومات على حل المشاكل الثلاث التي تجعل البراهين العنصر الأكثر صعوبة من الدورات المنطق رسمية: عدم معرفة ما إذا كانت تطبق قواعد بشكل صحيح، أن يعلقوا في منتصف برهان، وعدم اليقين بشأن القواعد والاستراتيجيات. وتتناول هذه القضايا من خلال الاستقطاعات ضعف أخطاء، بما في ذلك محرك تلميح تقديم اقتراحات حول كيفية إكمال برهان، وبعد دروس الوسائط المتعددة لمساعدة الطلاب من خلال قواعد معقدة. ميزات أبرز الملامح: 1. الكتب المدرسية: الخصومات تم تصميمه للعمل بسلاسة مع الكتب التالية: (ط) منطق كتاب (عن طريق بيرجمان، مور، ونيلسون)، (ب) والحديث الرسمي المنطق التمهيدي (بول الصراف)، (ج ) خطيرة مقدمة في المنطق الرياضي (توني روي). 2. أخطاء ضعف - الخصومات الأعلام أخطاء في البراهين في أقرب وقت حدوثها. وهذا أمر مهم، لأنه عندما الطلاب البراهين التعليمية الأولى، الخصومات يمنع الطلاب من تعلم قواعد خاطئة. 3. تلميح المحرك - الخصومات يوفر تلميحات حول كيفية إكمال البراهين. عندما تتعثر الطلاب في منتصف برهان، الخصومات تقترح كيفية تحقيق تقدم. 4. الوسائط المتعددة التعليمية - الخصومات يأتي مع مجموعة من البرامج التعليمية متعددة الوسائط، وتنقسم الى مجموعتين: كيفية استخدام الخصومات لتعلم المنطق، وكيفية استخدام قواعد المنطق. تم تصميم الخصومات للعمل مع العديد من أنظمة المنطق المختلفة والكتب المدرسية - 5. المرونة. يتم تضمين كل الرموز القياسية والبديلة، وكذلك القواعد التي يمكن أن تحول على نحو متقطع على حدة. 6. الحديثة التصميم - الخصومات يوفر واجهة حديثة. كإدخال جديد في حقل لم يشهد العديد من التحديثات في السنوات الأخيرة (يتم كتابة العديد من البرامج المنطق لDOS، ويندوز 9x، أو هي تطبيقات جافا بدائية)، الخصومات روافع تقنيات نظام التشغيل Mac OS X لتوفير واجهة مستخدم نظيفة، السحب والإفلات الدعم، ونظام شامل للمساعدة. 7. أكثر كفاءة من ورق - الخصومات يعتني التفاصيل التحرير من خلال تعديل البراهين تلقائيا عند إضافة خطوط، وإزالتها أو نقلها
ما هو الجديد في هذا الإصدار: دعم
وأضاف. لنظام حكم المنطق كتاب PD +
واضاف لدعم الوصول إليه مقدمة ND نظام الحكم +
القدرة على تصدير خصم إلى ملف نص أضاف
القدرة على تصدير خصم على قصاصة اللثي
القيود وأضاف:
فقط هي القواعد خصم التالية متوفرة في النسخة التجريبية: الفرضية، الافتراض، تكرار، حروف العطف مقدمة، حروف العطف القضاء، مقدمة المشروطة، شرطي القضاء، تيلدا مقدمة، تيلدا القضاء
لم يتم العثور على التعليقات