04-00-0091-vu Foundations of Computer Science I: Automata and Formal Languages

Course offering details

Instructors: Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

Event type: Lecture & Practice

Org-unit: Dept. 04 - Mathematics

Displayed in timetable as: FGdI I

Subject:

Crediting for:

Hours per week: 3

Credits: 4,5

Language of instruction: German

Min. | Max. participants: - | 540

Lehrinhalte:
introduction: systems of transition, words, languages; basic mathematical
concepts and elementary methods of proof; finite automata and regular languages;
determinism and nondeterminism, closure properties and the construction
of automata; context-free languages, CYK algorithm; Turing machines;
decidability and enumerability in the Chomsky hierarchy

Small group(s)
This course is divided into the following small groups:
  • Foundations of Computer Science I: Automata and Formal Languages 1

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Wed, 11. Apr. 2012 [08:00]-Wed, 23. May 2012 [09:40]

  • Foundations of Computer Science I: Automata and Formal Languages 10

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Wed, 11. Apr. 2012 [08:00]-Wed, 23. May 2012 [09:40]

  • Foundations of Computer Science I: Automata and Formal Languages 11

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Wed, 11. Apr. 2012 [08:00]-Wed, 23. May 2012 [09:40]

  • Foundations of Computer Science I: Automata and Formal Languages 12

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Wed, 11. Apr. 2012 [08:00]-Wed, 23. May 2012 [09:40]

  • Foundations of Computer Science I: Automata and Formal Languages 13

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Wed, 11. Apr. 2012 [09:50]-Wed, 23. May 2012 [11:30]

  • Foundations of Computer Science I: Automata and Formal Languages 14

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Wed, 11. Apr. 2012 [09:50]-Wed, 23. May 2012 [11:30]

  • Foundations of Computer Science I: Automata and Formal Languages 15

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Wed, 11. Apr. 2012 [09:50]-Wed, 23. May 2012 [11:30]

  • Foundations of Computer Science I: Automata and Formal Languages 16

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Wed, 11. Apr. 2012 [09:50]-Wed, 23. May 2012 [11:30]

  • Foundations of Computer Science I: Automata and Formal Languages 17

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Wed, 11. Apr. 2012 [11:40]-Wed, 23. May 2012 [13:20]

  • Foundations of Computer Science I: Automata and Formal Languages 18

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Wed, 11. Apr. 2012 [11:40]-Wed, 23. May 2012 [13:20]

  • Foundations of Computer Science I: Automata and Formal Languages 2

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Wed, 11. Apr. 2012 [11:40]-Wed, 23. May 2012 [13:20]

  • Foundations of Computer Science I: Automata and Formal Languages 3

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Wed, 11. Apr. 2012 [11:40]-Wed, 23. May 2012 [13:20]

  • Foundations of Computer Science I: Automata and Formal Languages 4

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Wed, 11. Apr. 2012 [14:25]-Wed, 23. May 2012 [16:05]

  • Foundations of Computer Science I: Automata and Formal Languages 5

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Wed, 11. Apr. 2012 [14:25]-Wed, 23. May 2012 [16:05]

  • Foundations of Computer Science I: Automata and Formal Languages 6

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Wed, 11. Apr. 2012 [16:15]-Wed, 23. May 2012 [17:55]

  • Foundations of Computer Science I: Automata and Formal Languages 7

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Fri, 13. Apr. 2012 [13:30]-Fri, 25. May 2012 [15:10]

  • Foundations of Computer Science I: Automata and Formal Languages 8

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Fri, 13. Apr. 2012 [14:25]-Fri, 25. May 2012 [16:05]

  • Foundations of Computer Science I: Automata and Formal Languages 9

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik

    Th, 12. Apr. 2012 [16:15]-Th, 24. May 2012 [17:55]

Literature
Appointments
Date From To Room Instructors
1 Tue, 10. Apr. 2012 17:10 18:50 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik
2 Mon, 16. Apr. 2012 09:50 11:30 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik
3 Tue, 17. Apr. 2012 17:10 18:50 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik
4 Mon, 23. Apr. 2012 09:50 11:30 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik
5 Tue, 24. Apr. 2012 17:10 18:50 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik
6 Mon, 30. Apr. 2012 09:50 11:30 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik
7 Mon, 7. May 2012 09:50 11:30 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik
8 Tue, 8. May 2012 17:10 18:50 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik
9 Mon, 14. May 2012 09:50 11:30 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik
10 Tue, 15. May 2012 17:10 18:50 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik
11 Mon, 21. May 2012 09:50 11:30 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik
12 Tue, 22. May 2012 17:10 18:50 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
Instructors
Prof. Dr. phil. nat. Ulrich Kohlenbach
Pavol Safarik
Alexander Kreuzer