Index of /teaching/courses/inf1/cl/slides
2015/
2016/
2017/
CbC.pdf
Lecture-1-TrafficLightController.pdf
Lecture-10-Watching-Variables.pdf
Lecture-11-Reprise.pdf
Lecture-12-Inference.pdf
Lecture-13-Machines.pdf
Lecture-14-FSM.pdf
Lecture-15-Languages.pdf
Lecture-16-NFA-regex.pdf
Lecture-17-system-specification.pdf
Lecture-18-applied-regex.pdf
Lecture-19-Satisfaction-revisited.pdf
Lecture-2-VennDiagrams-TruthTables.pdf
Lecture-3-fromPropositionsToQuantifiers.pdf
Lecture-4-Finite-Relational-Structures.pdf
Lecture-5-Circuits-and-Syntax.pdf
Lecture-6-Satisfiability.pdf
Lecture-7-Logic-by-colouring.pdf
Lecture-8-Satistfaction.pdf
Lecture-9-Davis-Putnam.pdf
lecture-1-TrafficLightController.pdf
lecture-1.key/