Cruft-Free Sofware Quality Metric | |
Installing Graphviz 2.38 (September 30, 2018) | For many, the only reason to install Graphviz is as a dependency of PlantUML |
Links | |
▼Symbolic Logic | |
Sentential Calculus | The logic of declarative sentences |
Connectives | Logical operations of the sentential and monadic predicate calculi |
Validity | A Priori Validity vs. A Posteriori Truth |
Inference Rules | Axioms of symbolic logic expressed as formula transformations |
Tautologies | Vacuously-true statements |
Proofs | Proof procedures using inference rules |
Monadic Predicate Calculus | Generalizing symbolic logic beyond "atomic" sentences |
Appendix 1: Context-Free Grammar | Backus-Naur Form "strict" syntax for the monadic predicate calculus |
README | |
▼Scheme Tutorials | Brief tutorials on a number of features of the Scheme programming language |
Basics | Background info on Scheme |
Tail Recursion | Functional programming, CPS and tail recursion |
Lexical Closures | Lexical environments in Scheme |
Continuations | First-class continuations |
dynamic-wind | Protected logic during stack unwinding and rewinding |
Engines from Continuations | A practical application of continuations to implement sophisticated flows of control |
Tasker | Tasker scripts for Android mobile phones |
▼Formulas of the Monadic Predicate Calculus | Parsing and rendering expressions of a well-known formal language |
Parsing Symbolic Logic Formulas | Demonstrate object-oriented programing using a simple class hierarchy in Java |
TT | Generate Markfown output for a formula of the monadic predicate calculus |
Unit Testing Guidelines | Unit testing guidelines |
Using Doxygen | Documenting Java code using Doxygen |
Bibliography | |