文章基本信息

标题：On Teaching Logic and Algebraic Specification
本地全文：下载
作者：Till Mossakowski
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2010
卷号：26
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：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.