Foundations of Computer Science (FM 2), Winter Term 2021/22
| Lecturer: | PD Dr. Henning Bordihn |
| Program: | Master of Cognitive Systems and Master Data Science (bridging module) |
| SWS: | 4 (2 h/week classroom presence) |
| Credits: | 6 |
| Module: | FM 2 |
Schedule
| Form: Consultation | Time: Thursday, | 16:15-17:45, | 2.70.0.10 | First Meeting: 28.10.21 |
Content
This is a reading course. Video lectures provided in the internet can be used in addition. Details are given in the slides of the Introduction.
The course covers two fundamental topics:
1. Fundamentals of Computing
- Algorithms and their complexity; Growth of functions
- Algorithmic Paradigms (Recursion, Divide and Conquer, Dynamic Programming)
- Fast algorithms (searching, sorting, ...)
2. Theory of Computation
- Finite state automata
- Determinism versus non-determinism
- Regular expressions
- Context-free grammars and pushdown automata
- Turing machines and undecidability
- NP-completeness
Slides and Assignments
Assignment 1a: Algorithms and their complexity I
Assignment 1b: Algorithms and their complexity II
Assignment 2: Finite state automata
Assignment 3: Regular expressions
(Meeting as usual on Thursday, 16th of December, not on Friday)Assignment 4: Context-free grammars
Assignment 5: Pushdown automata and context-free languages
(In the next meeting, on Jan 20, you can choose your exam date.)Assignment 6: Turing machines and decidability
Examination
Oral examination (20 minutes), individual.