On Teaching Logic and Algebraic Specification

Till Mossakowski

Abstract


We discuss teaching experiences with courses on first-order logic and
on algebraic specification, with an emphasis on software tools that can be used by students and that illustrate the meaning of logical notions. In particular, we discuss Language, Proof and Logic and the Heterogeneous Tool Set. Moreover, we claim that structuring constructs like those of the Common Algebraic Specification Language can be better digested when starting with applying them to propositional logic.

Full Text:

PDF


DOI: http://dx.doi.org/10.14279/tuj.eceasst.26.378

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.26.378.353

Hosted By Universit├Ątsbibliothek TU Berlin.