| Detailed information |
| Pre-requisites |
(*)Erwartete Vorkenntnisse: Modul Mathematik und Logik
|
| Original study plan |
Bachelor's programme Business Informatics 2025W |
| Learning Outcomes |
Competences |
| The students have mastered formal methods of description and representation that serve as the foundation for the application systems used in business informatics.
|
|
| Skills |
Knowledge |
- LO2: The students can describe various tasks as graph-theoretical problems and assess whether solutions can be found in finite time or whether no solutions exist (K2).
- LO3: They can describe formal languages using automata and formal grammars (K2).
- LO4: They can classify formal languages using the Chomsky hierarchy (K2).
- LO5: They can classify tasks as decidable, semi-decidable, or undecidable, and assign decidable tasks to the corresponding complexity class (K2).
- LO6: They can represent processes using formal models (K3).
|
LO1: Fundamental concepts and algorithms of graph theory; graph transformations; formal languages, grammars, and automata; Turing machine; decidability and semi-decidability; complexity classes of problems and algorithms; formal process models (Petri nets, automata)
|
|
| Criteria for evaluation |
Exam
|
| Methods |
Content will be presented in a classical lecture, complemented by exercises.
|
| Language |
German |
| Study material |
Lecture notes (provided on the course webpage)
Further literature:
- Theoretische Informatik, Dirk W. Hoffmann
- Lehrbuch der Software-Technik, Helmut Balzert
- Theoretische Informatik - kurzgefasst, Uwe Schöning
|
| Changing subject? |
No |
| Further information |
VL and UE Formale Grundlagen form an inseparable didactic unit. The learning outcomes described are achieved through the interaction of both.
|
| Earlier variants |
They also cover the requirements of the curriculum (from - to)
1WBMFGV: VL Formal Foundations in Business Informatics (2002W-2014S)
|
