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 Science
»
Electives
»
General Specialization
Inhalt
[
201LOSDRCLV14
]
VL
Rewriting in Computer Science and Logic
Versionsauswahl
Version
2023W
2022W
2014S
Es ist eine neuere Version
2023W
dieser LV im Curriculum Master's programme Computational Mathematics 2023W vorhanden.
(*)
Unfortunately this information is not available in english.
Workload
Education level
Study areas
Responsible person
Hours per week
Coordinating university
3 ECTS
B3 - Bachelor's programme 3. year
Mathematics
Franz Winkler
2 hpw
Johannes Kepler University Linz
Detailed information
Original study plan
Bachelor's programme Technical Mathematics 2014S
Criteria for evaluation
Changing subject?
No
Corresponding lecture
(*)
TM1WIVOREWR: VO Rewriting in Computer Science und Logik (3 ECTS)
On-site course
Maximum number of participants
-
Assignment procedure
Direct assignment