(*) Unfortunately this information is not available in english.
Workload
Mode of examination
Education level
Study areas
Responsible person
Coordinating university
6 ECTS
Accumulative subject examination
B1 - Bachelor's programme 1. year
Mathematics
Wolfgang Windsteiger
Johannes Kepler University Linz
Detailed information
Pre-requisites
(*)Empfohlen: Modul Mathematik und Logik
Original study plan
Bachelor's programme Business Informatics 2022W
Objectives
The students understand the underlying mathematical structures sufficiently well to formulate problems of their field of studies precisely and are prepared to solve them using appropriate software. The students know the limits of computability and formalization and are able to understand the complexity of a solution process.
Subject
Introduction to the basic principles of Theoretical Informatics. The subject 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.