Deductions 1.3

والخصومات هو برنامج تعليمي يهدف إلى مساعدة الطلاب على تعلم البراهين في المنطق الصوري. الغرض منه هو لاستخدامها من قبل المعلمين والطلاب من الدورات المنطق على مستوى الكلية في الفلسفة والرياضيات وعلوم الكمبيوتر. أنه يعطي ردود فعل فورية في كل مرحلة من دليل، ويوفر تلميحات حول كيفية إكمال البراهين، ويأتي مع مجموعة من دروس...