[ 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 |
Wolfgang Windsteiger |
3 hpw |
Johannes Kepler University Linz |
|
|
|
| Detailed information |
| Pre-requisites |
(*)Erwartete Vorkenntnisse: Modul Mathematik und Logik
|
| Original study plan |
Bachelor's programme Business Informatics 2022W |
| Objectives |
See Formale Grundlagen
|
| Subject |
See Formale Grundlagen
|
| 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 |
| 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 |
|
