Computer science students' concepts of proof by induction.
Thérèse SmithRobert McCartneyPublished in: Koli Calling (2014)
Keyphrases
- computer science students
- proof planning
- concept formation
- concept learning
- proof search
- computer science
- machine learning
- mathematical knowledge
- semantic network
- inductive learning
- theorem prover
- similarity measure
- formal concept analysis
- explanation based learning
- knowledge base
- linear logic
- search engine
- learning algorithm
- information retrieval
- real time
- automated theorem provers