A conceptual approach to teaching induction for computer science-Reference-Cited by-同舟云学术

A conceptual approach to teaching induction for computer science

Published:2008-02-29 Issue:1 Volume:40 Page:9-13
ISSN:0097-8418
Container-title:ACM SIGCSE Bulletin
language:en
Short-container-title:SIGCSE Bull.

Author:

Polycarpou Irene¹,Pasztor Ana¹,Adjouadi Malek¹

Affiliation:

1. Florida International University, Miami, FL, USA

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/1352322.1352142

Reference39 articles.

1. Baker D. "Characterizing students' difficulty with proof by mathematical induction " Ph.D. Thesis Indiana University Bloomington IN (1995). Baker D. "Characterizing students' difficulty with proof by mathematical induction " Ph.D. Thesis Indiana University Bloomington IN (1995).

2. Barwise J. and Etchemendy J. "Computers visualization and the nature of reasoning " In B. Ward T. Ward and H.J. Moor (Eds) The Digital Phoenix: How Computers are Changing Philosophy (pp. 93--116). Blackwell Publishing Inc. Oxford UK and Malden MA (1998). Barwise J. and Etchemendy J. "Computers visualization and the nature of reasoning " In B. Ward T. Ward and H.J. Moor (Eds) The Digital Phoenix: How Computers are Changing Philosophy (pp. 93--116). Blackwell Publishing Inc. Oxford UK and Malden MA (1998).

3. Ben-Ari M. Mathematical Logic for Computer Science 2nd ed. Springer-Verlag London U.K. (2001). Ben-Ari M. Mathematical Logic for Computer Science 2nd ed. Springer-Verlag London U.K. (2001).

4. Bratko I. PROLOG: Programming for Artificial Intelligence 3rd ed. Pearson Education Limited Essex England (2001). Bratko I. PROLOG: Programming for Artificial Intelligence 3rd ed. Pearson Education Limited Essex England (2001).

5. Why math?

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Recursion in Secondary Computer Science Education: A Comparative Study of Visual Programming Approaches;Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1;2024-03-07

2. RecurTutor;ACM Transactions on Computing Education;2019-03-31

3. Using cargo-bot to provide contextualized learning of recursion;Proceedings of the ninth annual international ACM conference on International computing education research;2013-08-12