2015
DOI: 10.1002/cae.21654
|View full text |Cite
|
Sign up to set email alerts
|

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

Abstract: 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 Wiley Periodicals, Inc. Comput … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2018
2018
2018
2018

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
references
References 23 publications
0
0
0
Order By: Relevance