G. Engel and E. Roberts, "Computing Curricula 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Teaching Discrete Structures with SML - Scharff, Wildenberg (2002) (Correct)
....homeworks, such as with the WeBWorK system. Keywords: distance learning, functional programming, mathematical thinking, SML, WeBWorK. 1 Introduction According to the ACM standards for computer science education, Discrete Structures is a required course, typically taught in one or two semesters [5, 12, 13]. Two important subtopics of Discrete Structures are functions and recursion. Both are fundamental concepts in Computer Science that appear throughout the curriculum. As a new approach for problem solving, recursion is dif cult for students students typically do not see recursion as a natural ....
E. Roberts, C. Cover, C. Chang, G. Engel, A. M. Gettrick, and U. Wolz. Computing curricula 2001.
Oliver: an OnLine Inference and VERification system - Wildenberg, Scharff (2002) (Correct)
....Propositional Logic, Web. Inference System, Proof Verification, INTRODUCTION Propositional logic is a core subject in several different fields. According to the ACM standards for computer science education, Discrete Structures is a required course, typically taught in one or two semesters [4,15,16]. One subtopic of Discrete Structures is propositional logic. Proving in propositional logic forms the basis for more complicated proofs in set theory and number theory later on in the Discrete Structures curriculum. Proof based topics also appear in standard curricula for Mathematics, Philosophy, ....
Roberts, E., Cover, C., Chang, C., Engel, G., Mc Gettrick, A. and Wolz, U., "Computing Curricula 2001.
Requirements Engineering: a Close Look at Industry Needs.. - Curricula Oliver Minor (2004) (Correct)
No context found.
G. Engel and E. Roberts, "Computing Curricula 2001.
Tight Spirals and Industry Clients: The Modern SE.. - Hogan, Smith, Thomas (2005) (Correct)
No context found.
Chang, C. et al. (2001): Computing Curricula, http://www.computer.org/education/cc2001/final/index.ht m.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC