""

 

Lecture Slides

NoTopicDateSlides
A1Organizational Matters17.2.screen
print 4
print 1
A2Mathematical Foundations17.2.screen
print 4
print 1
A3Proof Techniques

17.2./
19.2.

screen
print 4
print 1
B1Propositional Logic I19.2.screen
print 4
print 1
B2Propositional Logic II24.2.screen
print 4
print 1
B3Propositional Logic III26.2.screen
print 4
print 1
B4Predicate Logic I9.3.screen
print 4
print 1
B5Predicate Logic II16.3.screen
print 4
print 1
C1Formal Languages & Grammars18.3.screen
print 4
print 1
C2Regular Languages: Finite Automata23.3.screen
print 4
print 1
C3Regular Languages: Regular Expressions25.3.screen
print 4
print 1
C4Regular Languages: Pumping Lemma, Closure Properties & Decidability30.3.screen
print 4
print 1
C5Context-free Languages: Chomsky Normal Form & PDAs1.4.screen
print 4
print 1
C6Context-free Languages: Closure Properties & Decidability6.4.screen
print 4
print 1
C7Type 1 and Type 0 Languages: Turing Machines8.4.screen
print 4
print 1

Additional Material

DescriptionFiles
Example: Exercise submission in LaTeX LaTeX source code (english)
resulting PDF (english)
LaTeX source code (german)
resulting PDF (german)
LaTeX Cheat Sheet PDF