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

Course offering details

Instructors: Alexander Kreuzer; Prof. Dr. Martin Ziegler

Event type: Lecture & Exercise

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

Course Contents:
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 Übung 1

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 13. Apr. 2011 [08:00]-Wed, 25. May 2011 [09:40]

    Show small group

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

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 13. Apr. 2011 [11:40]-Wed, 25. May 2011 [13:20]

    Show small group

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

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 13. Apr. 2011 [14:25]-Wed, 25. May 2011 [16:05]

    Show small group

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

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Th, 14. Apr. 2011 [16:15]-Th, 26. May 2011 [17:55]

    Show small group

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

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Fri, 15. Apr. 2011 [13:30]-Fri, 27. May 2011 [15:10]

    Show small group

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

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Fri, 15. Apr. 2011 [14:25]-Fri, 27. May 2011 [16:05]

    Show small group

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

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 13. Apr. 2011 [09:50]-Wed, 25. May 2011 [11:30]

    Show small group

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

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 13. Apr. 2011 [11:40]-Wed, 25. May 2011 [13:20]

    Show small group

  • Foundations of Computer Science I:Automata and Formal Languages

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 13. Apr. 2011 [14:25]-Wed, 25. May 2011 [16:05]

    Show small group

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

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 13. Apr. 2011 [16:15]-Wed, 25. May 2011 [17:55]

    Show small group

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

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 13. Apr. 2011 [08:00]-Wed, 25. May 2011 [09:40]

    Show small group

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

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 13. Apr. 2011 [08:00]-Wed, 25. May 2011 [09:40]

    Show small group

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

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 13. Apr. 2011 [08:00]-Wed, 25. May 2011 [09:40]

    Show small group

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

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 13. Apr. 2011 [09:50]-Wed, 25. May 2011 [11:30]

    Show small group

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

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 13. Apr. 2011 [09:50]-Wed, 25. May 2011 [11:30]

    Show small group

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

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 13. Apr. 2011 [09:50]-Wed, 25. May 2011 [11:30]

    Show small group

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

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 13. Apr. 2011 [11:40]-Wed, 25. May 2011 [13:20]

    Show small group

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

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 13. Apr. 2011 [11:40]-Wed, 25. May 2011 [13:20]

    Show small group
Literature
Appointments
Date From To Room Instructors
1 Mon, 11. Apr. 2011 09:50 11:30 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
2 Tue, 12. Apr. 2011 17:10 18:50 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
3 Tue, 19. Apr. 2011 17:10 18:50 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
4 Tue, 26. Apr. 2011 17:10 18:50 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
5 Mon, 2. May 2011 09:50 11:30 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
6 Tue, 3. May 2011 17:10 18:50 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
7 Mon, 9. May 2011 09:50 11:30 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
8 Tue, 10. May 2011 17:10 18:50 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
9 Mon, 16. May 2011 09:50 11:30 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
10 Tue, 17. May 2011 17:10 18:50 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
11 Mon, 23. May 2011 09:50 11:30 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
12 Tue, 24. May 2011 17:10 18:50 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  •  
  •  
  •  
Instructors
Alexander Kreuzer
Prof. Dr. Martin Ziegler