Teaching Proofs by Induction in a Discrete Mathematics Course.
Irene PolycarpouPublished in: FECS (2009)
Keyphrases
- computer programming
- teaching mathematics
- sequence prediction
- mathematics education
- middle school students
- computer assisted instruction
- mathematical knowledge
- learning environment
- college level
- computer science
- word problems
- proof search
- theorem proving
- learning process
- middle school mathematics
- cooperative learning
- computer algebra
- discrete space
- theorem prover
- mathematical concepts
- higher education
- learning systems
- online learning
- e learning
- student achievement
- web based learning
- problem based learning
- learning analytics
- inductive learning
- inductive logic programming
- distance learning
- secondary school
- teaching strategies
- continuous variables
- natural deduction
- educational technology
- high school
- language learning
- automated theorem provers
- neural network