خصومات لماك تعلم البراهين في المنطق الرسمي.
التحميل الان

خصومات لماك الترتيب والملخص

خصومات لماك العلامات

خصومات لماك وصف

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

خصومات لماك برامج ذات صلة