ACM DL

Computing Education (TOCE)

Menu

Search Issue
enter search term and/or author name

Archive


Journal on Educational Resources in Computing (JERIC), Volume 5 Issue 2, June 2005

Editorial for the special issue on software support for teaching discrete mathematics
Valerie J. Harvey, Susan H. Rodger
Article No.: 1
DOI: 10.1145/1141904.1141905

Teaching proofs and algorithms in discrete mathematics with online visual logic puzzles
John Cigas, Wen-Jung Hsin
Article No.: 2
DOI: 10.1145/1141904.1141906
Visual logic puzzles provide a fertile environment for teaching multiple topics in discrete mathematics. Many puzzles can be solved by the repeated application of a small, finite set of strategies. Explicitly reasoning from a strategy to a new puzzle...

Constructing contracts: Making discrete mathematics relevant to beginning programmers
Timothy S. Gegg-Harrison
Article No.: 3
DOI: 10.1145/1141904.1141907
Although computer scientists understand the importance of discrete mathematics to the foundations of their field, computer science (CS) students do not always see the relevance. Thus, it is important to find a way to show students its relevance. The...

CDM: Teaching discrete mathematics to computer science majors
Klaus Sutner
Article No.: 4
DOI: 10.1145/1141904.1141908
CDM, for computational discrete mathematics, is a course that attempts to teach a number of topics in discrete mathematics to computer science majors. The course abandons the classical definition-theorem-proof model, and instead relies heavily on...

Realizing the promise of visualization in the theory of computing
Joshua J. Cogliati, Frances W. Goosey, Michael T. Grinder, Bradley A. Pascoe, Rockford J. ROSS, Cheston J. Williams
Article No.: 5
DOI: 10.1145/1141904.1141909
Progress on a hypertextbook on the theory of computing is presented. The hypertextbook is a novel teaching and learning resource built around web technologies that incorporates text, sound, pictures, illustrations, slide shows, video clips,...