Induction proofs - An introductory approach
In this paper is present an approach for teaching introductory conceptual Computer Science. Induction tests are important for the computational study, but students receive these topics in different curriculum, though not in the required volume. It also, is documented in the literature that generally...
Main Author: | Charles Lumiere |
---|---|
Format: | Article |
Language: | Spanish |
Published: |
Instituto Antioqueño de Investigación (IAI)
2015-12-01
|
Series: | Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS) |
Subjects: | |
Online Access: | http://fundacioniai.org//raccis/v5n2/n9a3.pdf |
Similar Items
-
An Innovative Approach to Teaching Structural Induction for Computer Science
by: Polycarpou, Irene
Published: (2008) -
DEDUCTIVE OR INDUCTIVE? PROSPECTIVE TEACHERS’ PREFERENCE OF PROOF METHOD ON AN INTERMEDIATE PROOF TASK
by: Tatag Yuli Eko Siswono, et al.
Published: (2020-09-01) -
Mixing Computations and Proofs
by: Michael Beeson
Published: (2016-01-01) -
Growth in Students' Conceptions of Mathematical Induction
by: Gruver, John David
Published: (2010) -
The Material Theory of Induction
Published: (2021)