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
Computational Mathematics
»
Electives
»
Symbolic computation
Inhalt
[
201SYMBRCLV23
]
VL
Rewriting in Computer Science and Logic
Versionsauswahl
Version
2023W
(*)
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
Teimuraz Kutsia
2 hpw
Johannes Kepler University Linz
Detailed information
Original study plan
Bachelor's programme Technical Mathematics 2023W
Criteria for evaluation
Changing subject?
No
Corresponding lecture
(*)
TM1WIVOREWR: VO Rewriting in Computer Science und Logik (3 ECTS)
Earlier variants
They also cover the requirements of the curriculum (from - to)
201LOSDRCLV14: VL Rewriting in Computer Science and Logic (2014S-2023S)
On-site course
Maximum number of participants
-
Assignment procedure
Direct assignment
