On Teaching Logic and Algebraic Specification
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.
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:
PDFDOI: 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.