Inhalt

[ 526FORGFOGV14 ] VL Formal Foundations in Business Informatics

Versionsauswahl
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.
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 (*)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)
On-site course
Maximum number of participants 200
Assignment procedure Assignment according to priority