(*) Unfortunately this information is not available in english.
Workload
Education level
Study areas
Responsible person
Hours per week
Coordinating university
1,5 ECTS
B1 - Bachelor's programme 1. year
Mathematics
Wolfgang Windsteiger
1 hpw
Johannes Kepler University Linz
Detailed information
Pre-requisites
(*)Erwartete Vorkenntnisse: Modul Mathematik und Logik
Original study plan
Bachelor's programme Business Informatics 2025W
Learning Outcomes
Competences
See lecture with same name
Skills
Knowledge
See lecture with same name
See lecture with same name
Criteria for evaluation
Weekly assignments.
Methods
Exercise assignments accompanying the lecture are distributed weekly and to be submitted electronically. In the exercise lessons solutions are presented and additional examples and questions are discussed.
Language
German
Study material
Lecture notes (provided on the course webpage)
See also study material for the lecture Formale Grundlagen
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) 1WBMFGU: UE Formal Foundations in Business Informatics (2002W-2014S)
