论文信息 - Constructivistic mathematical logic education - 字舞流文

Constructivistic mathematical logic education

Hashim Habiballa | Radek Jendryscik

[1] Judith Gal-Ezer,et al. Curriculum and Course Syllabi for a High-School CS Program , 1999, Comput. Sci. Educ..

[2] Mordechai Ben-Ari,et al. Constructivism in computer science education , 1998, SIGCSE '98.

[3] Theoretical branches in teaching computer science , 2004 .

[4] Hashim Habiballa,et al. Mathematical Logic and Deduction in Computer Science Education , 2008, Informatics Educ..

[5] Ela Zur,et al. The efficiency of algorithms - misconceptions , 2004, Comput. Educ..