enter search term and/or author name
Editorial for the special issue on software support for teaching discrete mathematics
Valerie J. Harvey, Susan H. Rodger
Article No.: 1
Teaching proofs and algorithms in discrete mathematics with online visual logic puzzles
John Cigas, Wen-Jung Hsin
Article No.: 2
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
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
Article No.: 4
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
Bradley A. Pascoe, Cheston J. Williams, Joshua J. Cogliati, Rockford J. ROSS, Frances W. Goosey, Michael T. Grinder
Article No.: 5
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,...