Theorem Provers as a Learning Tool in Theory of Computation.
Maria KnobelsdorfChristiane FredeSebastian BöhneChristoph KreitzPublished in: ICER (2017)
Keyphrases
- learning tools
- theorem prover
- computer algebra
- learning experience
- automated reasoning
- learning theories
- first order logic
- mobile learning
- theorem proving
- higher order logic
- automated theorem proving
- automated deduction
- inference rules
- formal semantics
- concept mapping
- engineering education
- interactive multimedia
- concept maps
- video games
- distance learning
- knowledge base
- online learning