Adding a graphical output to a theorem prover: Results of a comparison of the acceptance from a teaching point of view

作者：Maestro Prieto Jose A; Simon Hurtado Arancha^*

来源：Computer Applications in Engineering Education, 2015, 23(6): 837-845.

DOI：10.1002/cae.21654

• computational logic
• automatic theorem proving
• artificial intelligence practical sessions
• educational software implementation

This article describes the experience and results obtained from teaching computational logic in an introductory course for undergraduates. The proposed teaching approach helps students to reach a deeper level of understanding in first order logic representation, computational logic procedures and automated theorem proving. The article includes the description of SLI, a theorem prover with a graphical output and the results of a survey to assess the acceptance of the tool.

• 出版日期2015-11