On Teaching Logic and Algebraic Specification.
Till MossakowskiPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
- asynchronous circuits
- linear temporal logic
- state machine
- algebraic structure
- classical logic
- learning environment
- learning process
- formal language
- operational semantics
- transition systems
- logic programming
- learning systems
- higher education
- modal logic
- predicate logic
- high level
- e learning
- active rules
- online learning
- computer algebra
- computer programming
- web based learning
- hybrid learning
- multi valued
- logical framework
- temporal logic
- educational technology
- learning analytics
- mathematical theory
- cooperative learning
- distance learning
- learning community
- blended learning
- automated reasoning
- formal verification
- formal specification
- hong kong
- teacher education
- teaching materials