Descriptor
Computation | 1 |
Computer Oriented Programs | 1 |
Induction | 1 |
Mathematical Concepts | 1 |
Mathematics Instruction | 1 |
Microcomputers | 1 |
Programing | 1 |
Proof (Mathematics) | 1 |
Secondary Education | 1 |
Secondary School Mathematics | 1 |
Source
For the Learning of… | 1 |
Author
Leron, Uri | 1 |
Zazkis, Rina | 1 |
Publication Type
Guides - Classroom - Teacher | 1 |
Journal Articles | 1 |
Education Level
Audience
Practitioners | 1 |
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating

Leron, Uri; Zazkis, Rina – For the Learning of Mathematics, 1986
The relation between mathematical and computational aspects of recursion are discussed and some examples analyzed. Definition, proof, and construction are considered, as well as their counterparts in computer languages (illustrated with Logo procedures). (MNS)
Descriptors: Computation, Computer Oriented Programs, Induction, Mathematical Concepts