[ 526FORGFOGV14 ] VL Formal Foundations in Business Informatics
|
|
|
Es ist eine neuere Version 2022W dieser LV im Curriculum Bachelor's programme Business Informatics 2024W vorhanden. |
|
(*) Unfortunately this information is not available in english. |
![](https://studienhandbuch.jku.at/pics/pixel.gif) |
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 |
|
|
![](https://studienhandbuch.jku.at/pics/pixel.gif) |
Detailed information |
Pre-requisites |
(*)Empfohlen: Modul Mathematik und Logik
|
Original study plan |
Bachelor's programme Business Informatics 2016W |
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)
|
|
|
![](https://studienhandbuch.jku.at/pics/pixel.gif) |
On-site course |
Maximum number of participants |
200 |
Assignment procedure |
Assignment according to priority |
|