Study guide of JKU Linz
Seitenbereiche:
Sprachauswahl:
Sprache:
DE
[
EN
]
.
Studienhandbuch-Login
User ID
Password
.
Menü
Overview
All curricula
External tools
KUSSS
Auwea NG
Positionsanzeige
Computer Mathematics
»
Electives
»
i. Logic and software design
Inhalt
[
201LOSDCTHV20
]
VL
Computability theory
Versionsauswahl
Version
2020W
Es ist eine neuere Version
2023W
dieser LV im Curriculum Master's programme Computational Mathematics 2023W vorhanden.
Workload
Education level
Study areas
Responsible person
Hours per week
Coordinating university
3 ECTS
B3 - Bachelor's programme 3. year
Mathematics
Heinrich Rolletschek
2 hpw
Johannes Kepler University Linz
Detailed information
Original study plan
Bachelor's programme Technical Mathematics 2020W
Criteria for evaluation
Changing subject?
No
Further information
Until term 2020S known as: TM1WIVOBERE VL Computability theory
Earlier variants
They also cover the requirements of the curriculum (from - to)
TM1WIVOBERE: VL Computability theory (2005W-2020S)
On-site course
Maximum number of participants
-
Assignment procedure
Direct assignment