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
[
201SYMBML1U23
]
UE
Mathematical logic
Versionsauswahl
Version
2024W
2023W
Workload
Education level
Study areas
Responsible person
Hours per week
Coordinating university
1,5 ECTS
B3 - Bachelor's programme 3. year
Mathematics
Teimuraz Kutsia
1 hpw
Johannes Kepler University Linz
Detailed information
Original study plan
Bachelor's programme Technical Mathematics 2024W
Criteria for evaluation
Language
English and French
Changing subject?
No
Earlier variants
They also cover the requirements of the curriculum (from - to)
201LOSDML1U20: UE Mathematical logic 1 (2020W-2023S)
TM1WIUELOG1: UE Mathematical logic 1 (2004W-2020S)
On-site course
Maximum number of participants
25
Assignment procedure
Direct assignment