Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs.
Tobias NipkowPublished in: VMCAI (2012)
Keyphrases
- theorem prover
- mathematical proofs
- theorem proving
- formal semantics
- interactive theorem proving
- natural deduction
- formal proof
- proof search
- complete axiomatization
- higher order logic
- proof theory
- automated theorem provers
- automated theorem proving
- logical rules
- proof theoretic
- decision procedures
- logical framework
- precise definition
- test bed
- university level
- model theoretic
- computer programming
- online learning
- inference rules
- high school
- learning process
- proof procedure
- hong kong
- learning environment
- conceptual model
- distance education
- logic programming
- learning systems
- mathematical knowledge
- semantic information
- higher education
- first order logic
- learning analytics
- problem based learning
- web based learning
- cooperative learning
- default reasoning
- teacher education
- teaching methods