Computer science students' difficulties with proofs by induction: an exploratory study.
Irene PolycarpouPublished in: ACM Southeast Regional Conference (2006)
Keyphrases
- computer science students
- computer science
- proof search
- theorem proving
- theorem prover
- version space
- constructive induction
- proof planning
- decision procedures
- formal proofs
- formal proof
- program synthesis
- concept learning
- inductive learning
- data sets
- induction algorithms
- grammar induction
- rule induction
- sequence prediction
- explanation based learning
- mathematical knowledge
- inductive logic programming
- equational theories