Studienhandbuch | Logik und Softwaredesign

Inhalt

Es ist eine neuere Version 2012W dieses Fachs/Moduls im Curriculum Doctoral programme Engineering Sciences 2014S vorhanden.

^(*) Unfortunately this information is not available in english.

Workload	Mode of examination	Education level	Study areas	Responsible person	Coordinating university
9 ECTS	Accumulative subject examination	R - Doctoral programme	Mathematics	Walter Zulehner	Johannes Kepler University Linz

Detailed information
Original study plan	Doctoral programme Doctoral Program in Engineering Sciences 2009W

Subordinated subjects, modules and lectures
Subject ^(*)Weitere Lehrveranstaltungen
VL Algorithmic algebraic geometry
UE ^(*)Algorithmische Kombinatorik
VL ^(*)Algorithmische Kombinatorik
UE ^(*)Analytische Kombinatorik
VL ^(*)Analytische Kombinatorik
VL Computability theory
VL Computer analysis
KV Computer algebra systems
VL Introduction to parallel and distributed computing
VL Elimination theory
VL Decidable logical theories
VL Decidibility and complexity classes
VL ^(*)Entwurf und Analyse von Algorithmen
KV ^(*)Formale Methoden in der Software-Entwicklung
VL ^(*)Formale Semantik von Programmiersprachen
KV Functional programming
VL Geometric modeling
UE ^(*)Kommutative Algebra und Algebraische Geometrie
VL ^(*)Kommutative Algebra und Algebraische Geometrie
UE ^(*)Kryptographie
VL Cryptography
KV Logic programming
UE ^(*)Mathematische Logik 1
VL ^(*)Mathematische Logik 1
VL Mathematical logic 2
KV ^(*)Praktische Softwaretechnologie
KV Programming in Mathematica
KV Programming project symbolic computation
KV Project engineering
VL Rewriting in computer science and logic
SE ^(*)Seminar Logik und Softwaredesign
VL ^(*)Spezialvorlesung Logik und Softwaredesign
VL A survey of symbolic computation
VL ^(*)Computerunterstützte Logik
VL ^(*)Thinking, Speaking, Writing
VL Lecture series symbolic computation