Using SMT Solver and Logic Puzzles for Teaching Computational Logics in Discrete Mathematics Class.
Shin HongPublished in: SIGCSE (2020)
Keyphrases
- modal logic
- classical logic
- propositional calculus
- proof theory
- computer programming
- epistemic logic
- proof theoretic
- e learning
- jigsaw puzzle
- finite number
- conditional logic
- learning environment
- propositional dynamic logic
- expressive power
- nonmonotonic logics
- mathematics education
- higher order logic
- computational properties
- autoepistemic logic
- multi valued
- inference rules
- computer algebra
- higher education
- intuitionistic logic
- logic programming
- learning process