Syllogistics; Argumentation; Learning analytics; Logical proofs; Deduction; Gamified quizzing; Logic teaching;
机译:现代命题逻辑三段论方法的强大功能科学出版物
机译:用CAS教授命题经典逻辑的语义表方法。
机译:在专家系统的教学中通过使用电子学习材料来学习对数学逻辑基本概念的支持
机译:使用电子学习工具教授命题和三段逻辑
机译:模特量化和模态逻辑的比较
机译:电子学习的经验挑战和接受作为在大学医务人员Covid-19大流行期间教学的工具
机译:现代命题逻辑三段论方法的强大功能