Class notes
Computer Science Logic
- Course
- Institution
Notes that gained me 80 in the Computer Science Logic examination, all notes are hand written and scanned into a PDF document, all students taking any Logic module will find sanctuary with these notes. Computational tree logic, Linear temporal logic, model checking, verification and many more....I...
[Show more]