Index of /teaching/courses/inf1/cl/slides/2017

• Lecture-1-Sets.pdf
• Lecture-10-AllChange.pdf
• Lecture-11-TrafficLights.pdf
• Lecture-12-Machines.pdf
• Lecture-13-NFA-regex.pdf
• Lecture-13-NFA.pdf
• Lecture-14-regular-languages.pdf
• Lecture-15-inference.pdf
• Lecture-16-Gentzen.pdf
• Lecture-17-The-Big-Ideas.pdf
• Lecture-18-NFA-DFA-regex-review.pdf
• Lecture-19-review-inference.pdf
• Lecture-2-Logic.pdf
• Lecture-3-set-theory.pdf
• Lecture-4-VennDiagrams-TruthTables.pdf
• Lecture-5-BooleanAlgebra.pdf
• Lecture-6-CNF-KarnaughMaps.pdf
• Lecture-7-2SAT.pdf
• Lecture-8-CNF-BooleanAlgebra.pdf
• Lecture-9-Resolution.pdf