Data Structures and Algorithm Analysis in Java
Data Structures and Algorithm Analysis in Java
A Decision Algorithm for Full Propositional Temporal Logic
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
| Hi-index | 0.00 |
This is a hands-on tutorial giving attendees experience using the program ProofBuilder, which helps students construct proofs. ProofBuilder covers basic Discrete Mathematics for Computer Science: propositional and predicate logic, different proof techniques, number theory (e.g. mod), functions including log2(), sets, summations, time complexity (O(), Θ(), etc.), and counting (combinatorics). This software was written in Java, so it runs on common platforms. A Website provides documentation for ProofBuilder, including sample proofs of material from commonly used textbooks on Discrete Mathematics by Epp, Gersting, and Rosen; the URL is as follows: http://www.cis.gvsu.edu/~mcguire/ProofBuilder/