[ 526FORGFOGV14 ] VL Formal Foundations in Business Informatics
|
|
|
| Es ist eine neuere Version 2025W dieser LV im Curriculum Bachelor's programme Business Informatics 2025W vorhanden. |
|
| (*) Unfortunately this information is not available in english. |
 |
| Workload |
Education level |
Study areas |
Responsible person |
Hours per week |
Coordinating university |
| 4,5 ECTS |
B1 - Bachelor's programme 1. year |
Mathematics |
Veronika Pillwein |
3 hpw |
Johannes Kepler University Linz |
|
|
|
| Detailed information |
| Pre-requisites |
(*)Empfohlen: Modul Mathematik und Logik
|
| Original study plan |
Bachelor's programme Business Informatics 2014W |
| Objectives |
Introduction to the basic principles of theoretical informatics.
see also Formale Grundlagen
|
| Subject |
The lecture covers the topics graph theory, formal languages and theory of automata, petri nets, computability and decidability as well as complexity theory (NP-completeness) in theory and practice.
see also Formale Grundlagen
|
| Criteria for evaluation |
exam
|
| Language |
German |
| Study material |
Basic literature:
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 |
| Earlier variants |
They also cover the requirements of the curriculum (from - to)
1WBMFGV: VL Formal Foundations in Business Informatics (2002W-2014S)
|
|
|
|
| On-site course |
| Maximum number of participants |
200 |
| Assignment procedure |
Assignment according to priority |
|
