SLI-Reference-Cited by-同舟云学术

SLI

Published:2013-06 Issue:2 Volume:4 Page:53-56
ISSN:2153-2184
Container-title:ACM Inroads
language:en
Short-container-title:ACM Inroads

Author:

Maestro-Prieto José A.¹,Simon-Hurtado M. Aránzazu¹

Affiliation:

1. Universidad de Valladolid

Abstract

This article describes the experience 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, a feature appreciated by students.

Publisher

Association for Computing Machinery (ACM)

Subject

Education,General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/2465085.2465101

Reference10 articles.

1. User Interaction with the Matita Proof Assistant

2. Association for Computing Machinery Computer Science Curriculum 2008: An Interim Revision of the CS 2001 2008. http://www.acm.org//education/curricula/ComputerScience2008.pdf. Accessed 2013 April 1. Association for Computing Machinery Computer Science Curriculum 2008: An Interim Revision of the CS 2001 2008. http://www.acm.org//education/curricula/ComputerScience2008.pdf. Accessed 2013 April 1.

3. Clark R.C. and Mayer R.E. e-Learning and the Science of Instruction: Proven Guidelines for Consumers and Designers of Multimedia Learning 3rd edition (San Francisco: Pfeiffer 2011). Clark R.C. and Mayer R.E. e-Learning and the Science of Instruction: Proven Guidelines for Consumers and Designers of Multimedia Learning 3rd edition (San Francisco: Pfeiffer 2011).

4. A fine-grained account of Prolog execution for teaching and debugging

5. Nine Ways to Reduce Cognitive Load in Multimedia Learning

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The pedagogical model of SIAL: an adaptive and open-ended intelligent tutoring system for first order logic;Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education;2018-07-02

2. Adding a graphical output to a theorem prover: Results of a comparison of the acceptance from a teaching point of view;Computer Applications in Engineering Education;2015-05-08

3. Learner-Adaptive Pedagogical Model in SIAL, an Open-Ended Intelligent Tutoring System for First Order Logic;Lecture Notes in Computer Science;2015