Thumbnail
Access Restriction
Subscribed

Author Simon-Hurtado, M. Aránzazu ♦ Maestro-Prieto, José A.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Artificial intelligence practical sessions ♦ Automatic theorem proving ♦ Computational logic ♦ Educational software implementation
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.
Description Affiliation: Universidad de Valladolid (Maestro-Prieto, José A.; Simon-Hurtado, M. Aránzazu)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2013-12-01
Publisher Place New York
Journal Inroads
Volume Number 4
Issue Number 2
Page Count 4
Starting Page 53
Ending Page 56


Open content in new tab

   Open content in new tab
Source: ACM Digital Library