|
ABSTRACT
One of the units in the relatively new high school CS curriculum which is being implemented in Israel is a theoretical unit on computational models. It includes deterministic and non-deterministic finite automata, regular and non-regular languages, closure properties of regular languages, pushdown automata, closure properties of context free languages, Turing machines, the Church-Turing thesis and the halting problem. This paper focuses on part of a study we conducted dealing with the achievements of high school students studying this unit. Specifically, this paper compares the achievements of students on the technical parts of this unit vs. its theoretical parts. We also examine the correlation between achievements of students studying the Computational Models unit, and two other factors: The students' previous computer-related background (not necessarily computer science) and the level on which they studied mathematics.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Armoni, M. and Gal-Ezer, J., Non-Determinism in CS High-School Curricula, FIE2003, http://fie.engrng.pitt.edu/fie2003/papers/1251.pdf.
|
| |
2
|
Armoni, M., Gal-Ezer, J. and Tirosh D., Solving Problems Reductively. Submitted.
|
 |
3
|
William F. Atchison , Samuel D. Conte , John W. Hamblen , Thomas E. Hull , Thomas A. Keenan , William B. Kehl , Edward J. McCluskey , Silvio O. Navarro , Werner C. Rheinboldt , Earl J. Schweppe , William Viavant , David M. Young, Jr., Curriculum 68: Recommendations for academic programs in computer science: a report of the ACM curriculum committee on computer science, Communications of the ACM, v.11 n.3, p.151-197, March 1968
[doi> 10.1145/362929.362976]
|
 |
4
|
|
 |
5
|
Peter J. Denning , D. E. Comer , David Gries , Michael C. Mulder , Allen Tucker , A. Joe Turner , Paul R. Young, Computing as a discipline, Communications of the ACM, v.32 n.1, p.9-23, Jan. 1989
[doi> 10.1145/63238.63239]
|
 |
6
|
|
| |
7
|
|
| |
8
|
Gal-Ezer, J. and Harel, D., Curriculum and Course Syllabi for a High-School Program in Computer Science, Computer Science Education Vol. 9, No. 2, 1999, pp. 114--147.
|
| |
9
|
Gal-Ezer, J. and Zur, E., The Concept of 'Algorithm Efficiency' in the High School CS curriculum, FIE 2002, http://fie.engrng.pitt.edu/ fie2002/index.htm, 2001.
|
 |
10
|
|
| |
11
|
Merritt, S. M. et al., ACM Model High School Computer Science Curriculum, The Report of the Task Force of the Pre-College Committee of the Education Board of the ACM, 1994, pp. 1--25.
|
 |
12
|
|
| |
13
|
Taylor, H. G. and Mounfield, L. C., An Analysis of Success Factors in College Computer Science: High School Methodology is a Key Element, Journal of Research on Computing in Education, Vol. 24, No. 2, 1991, pp. 240--245.
|
 |
14
|
|
| |
15
|
Computational Models, A Textbook and a Teacher's Guide, The Open University, Israel, 1998 (In Hebrew).
|
| |
16
|
IEEE Computer Society/ACM Task Force, Year 2001 Model Curricula for Computing (CC-2001), http://www.computer.org/ education/cc2001/report/, 2002.
|
INDEX TERMS
Primary Classification:
F.
Theory of Computation
F.1
COMPUTATION BY ABSTRACT DEVICES
F.1.1
Models of Computation
Subjects:
Automata (e.g., finite, push-down, resource-bounded)
Additional Classification:
F.
Theory of Computation
F.1
COMPUTATION BY ABSTRACT DEVICES
F.1.1
Models of Computation
Subjects:
Relations between models;
Bounded-action devices (e.g., Turing machines, random access machines)
K.
Computing Milieux
K.3
COMPUTERS AND EDUCATION
K.3.2
Computer and Information Science Education
Subjects:
Computer science education
General Terms:
Theory
Keywords:
computational model,
computer-related background,
finite automata,
mathematics level,
pushdown automata,
turing machines
REVIEW
"Arto Salomaa : Reviewer"
This paper should be of great assistance and value to people working in theoretical computer science, as well as those interested in mathematics education at the high school level. A package, "Computational Models" (CM), consisting of 90 hou
more...
|