No abstract available.
Cited By
- Johnsonbaugh R and Kalin M A graph generation software package Proceedings of the twenty-second SIGCSE technical symposium on Computer science education, (151-154)
- Johnsonbaugh R and Kalin M (1991). A graph generation software package, ACM SIGCSE Bulletin, 23:1, (151-154), Online publication date: 1-Mar-1991.
- Chu I and Johnsonbaugh R (1991). The four-peg Tower of Hanoi puzzle, ACM SIGCSE Bulletin, 23:3, (2-4), Online publication date: 1-Sep-1991.
Index Terms
- Discrete mathematics (2nd ed.)
Recommendations
Adding coinduction into discrete mathematics
Coinduction is the dual notion of induction in the sense that union is the dual notion of intersection in set theory. Unfortunately, while induction has long been established as one of the most fundamental techniques in Computer Science, coinduction is ...
Discrete mathematics
Encyclopedia of Computer ScienceDiscrete mathematics encompasses those branches of mathematics that deal with discrete objects, in contrast to other branches, such as calculus and analysis, whose main concern is with continuous functions. Some branches of mathematics, such as ...
A New Approach to Teaching Logic in Discrete Mathematics
ICYCS '08: Proceedings of the 2008 The 9th International Conference for Young Computer ScientistsLogic is a very important part of discrete mathematics, which is fundamental to computer science. It now has wide applications in many areas and plays more and more importantrole in computer science. Soundness, completeness,and compactness theorem are ...