Introduction, Statements, and Notation, Connectives, Well-formed formulas, Tautology, Duality law, Equivalence, Implication, Normal Forms, Functionally complete set ...
Nearly everything you will find in this repository was done by students during winter semester 2013 (see the Authors information in the lecture notes for details). During winter semester 2014 I ...
These are a set of notes for the Trinity College Dublin's Discrete Mathematics module. They are not my own, and were just converted from handwritten format. About the module from the course handbook: ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results