Index of /teaching/courses/inf1/cl/slides/2016
FWC.mov
FWC.mp4
FWC.pdf
FWC.png
FWC.tiff
Lecture-1-Blackboard.m4v
Lecture-1-Blackboard.mp4
Lecture-1-GooseWolfCorn.m4v
Lecture-1-GooseWolfCorn.mp4
Lecture-1-TGooseWolfCorn-2up.pdf
Lecture-1-TGooseWolfCorn.m4v
Lecture-1-TGooseWolfCorn.mp4
Lecture-1-TGooseWolfCorn.pdf
Lecture-10-Refutation.pdf
Lecture-11-Entailment.mp4
Lecture-11-Entailment.pdf
Lecture-12-Machines.mp4
Lecture-12-Machines.pdf
Lecture-13-FSM.m4v
Lecture-13-FSM.mp4
Lecture-13-FSM.pdf
Lecture-14-regular-languages.mp4
Lecture-14-regular-languages.pdf
Lecture-15-NFA-regex.mp4
Lecture-15-NFA-regex.pdf
Lecture-16-DFA-NFA.mp4
Lecture-16-DFA-NFA.pdf
Lecture-17-inference.mp4
Lecture-17-inference.pdf
Lecture-18-Gentzen.mp4
Lecture-18-Gentzen.pdf
Lecture-19-satisfaction.pdf
Lecture-2-TrafficLights-2up.pdf
Lecture-2-TrafficLights.m4v
Lecture-2-TrafficLights.mp4
Lecture-2-TrafficLights.pdf
Lecture-3-VennDiagrams-TruthTables.mp4
Lecture-3-VennDiagrams-TruthTables.pdf
Lecture-4-BooleanAlgebra.pdf
Lecture-5-KarnaughMaps.pdf
Lecture-5-Resolution.pdf
Lecture-6-CNF.pdf
Lecture-7-Satisfiability.pdf
Lecture-8-Resolution.pdf
Lecture-9-Resolution-bis.m4v
Lecture-9-Resolution-bis.mp4
Lecture-9-Resolution-bis.pdf
Lecture-bridges.pdf
Resolution-key-facts.pdf
TheLastLecture.pdf