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
Technical Mathematics
»
Electives
»
Symbolic computation
Inhalt
[
201SYMBCTHV23
]
VL
Computability theory
Versionsauswahl
Version
2023W
Workload
Education level
Study areas
Responsible person
Hours per week
Coordinating university
3 ECTS
B3 - Bachelor's programme 3. year
Mathematics
Carsten Schneider
2 hpw
Johannes Kepler University Linz
Detailed information
Original study plan
Bachelor's programme Technical Mathematics 2023W
Criteria for evaluation
Changing subject?
No
Earlier variants
They also cover the requirements of the curriculum (from - to)
201LOSDCTHV20: VL Computability theory (2020W-2023S)
TM1WIVOBERE: VL Computability theory (2005W-2020S)
On-site course
Maximum number of participants
-
Assignment procedure
Direct assignment