Abstract
While logic plays an important role in several areas of Computer Science (CS), most educational software developed for teaching logic ignores their application in a more large portion of the CS education domain. In this paper we describe an innovative methodology based on a logic teaching tool on semantic tableaux to prepare students for using logic as a formal proof technique in other topics of CS, such as the formal verification and the declarative debugging of imperative programs, which are at the basis of a good development of software.
This work has been partially supported by the Spanish projects TIN2008-06622-C03-01 (FAST-STAMP), S2009/TIC-1465 (PROMETIDOS), UCM-BSCH-GR58/08-910502 (GPD-UCM), and PIMCD 2010/97 (Project for the Innovation and Improvement of the Educational Quality).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)
van Ditmarsch, H.: Logic software and logic education. Conta-ins a Comprehensive List of Educational Logic Software (2005)
Fitting, M.: First-Order Logic and Automated Theorem Proving. Graduate Texts in Computer Science. Springer, Heidelberg (1990)
Kaldewaij, A.: Programming: The Derivation of Algorithms. Prentice-Hall International Series in Computer Science (1990)
Lancho, B.P., Jorge, E., de la Viuda, A., Sanchez, R.: Software Tools in Logic Education: Some Examples. Logic Journal of the IGPL 15(4), 347–357 (2007)
Naish, L.: A Declarative Debugging Scheme. Journal of Functional and Logic Programming 3 (1997)
van der Pluijm, E.: TABLEAU: Prototype of an Educational Tool for Teaching Smullyan Style Analytic Tableaux, University of Amsterdam (2007)
Shapiro, E.Y.: Algorithmic Program Debugging. MIT Press, Cambridge (1983)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
del Vado Vírseda, R., Orna, E.P., Berbis, E., de León Guerrero, S. (2011). A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms. In: Blackburn, P., van Ditmarsch, H., Manzano, M., Soler-Toscano, F. (eds) Tools for Teaching Logic. TICTTL 2011. Lecture Notes in Computer Science(), vol 6680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21350-2_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-21350-2_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21349-6
Online ISBN: 978-3-642-21350-2
eBook Packages: Computer ScienceComputer Science (R0)