Inhalt

[ 526FORG13 ] Subject Formal Foundations

Versionsauswahl
Es ist eine neuere Version 2022W dieses Fachs/Moduls im Curriculum Bachelor's programme Business Informatics 2024W vorhanden.
(*) 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 2016W
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.
Subordinated subjects, modules and lectures