TU Wien Nav:E066931
Masterstudium Logic and Computation
| Links | Ehemalige LVAs, Studienplan |
|---|---|
| VoWi-Stats |
|
LVAs nach Pflichtmodulen[Bearbeiten]
Algorithmics
Diplomarbeit
Discrete Mathematics
Formal Methods in Computer Science
Knowledge-based Systems
Logic and Computability
LVAs nach Wahlmodulen[Bearbeiten]
Algorithmics and Complexity
Algorithms and Complexity
- Algorithmen in der Graphentheorie VU (Fleischner)
- Critical Algorithm Studies SE (Cech)
- Fixed-Parameter Algorithms and Complexity VU (Ganian)
- Heuristic Optimization Techniques VU (Raidl)
- Komplexitätstheorie VU (Pichler)
- Networks: Design and Analysis VU (Sinnl)
- Optimization in Transport and Logistics VU (Hiermann, Ritzinger)
- Real-Time Scheduling VU (Schmid)
Formal Methods in Computer Science
Freie Wahlfächer und Transferable Skills
Knowledge Representation and Artificial Intelligence
- Datenbanktheorie VU (Pichler)
- Deductive Databases VO (Simkus)
- Knowledge Management UE (Dorn)
- Knowledge Management VO (Dorn)
- Machine Learning VU (Mayer, Musliu)
- Practical Applications of Answer Set Programming VU (Weinzierl)
- Problem Solving and Search in AI VU (Musliu)
- SAT Solving und Erweiterungen VU (Egly)
- Selbstorganisierende Systeme VU (Rauber)
- Theorie der Wissensrepräsentation VU (Eiter)
- Verarbeitung deklarativen Wissens VO (Egly)
Logic, Mathematics, and Theoretical Computer Science
- Automated Deduction VU (Laura Kovács)
- Cryptocurrencies VU (Maffei)
- Kryptographie VU (Egly)
- Lambda Calculus VO (Ciabattoni)
- Molecular Computing VU (Freund)
- Non-classical Logics VU (Fermüller)
- Smart Contracts VU (Salzer, Di Angelo)
Programming Languages and Verification
- Advanced Multiproccessor Programming VU (Träff)
- Analyse und Verifikation VU (Knoop)
- Codegeneratoren VO (Krall)
- Computer Aided Verification UE (Weissenbacher)
- Computer Aided Verification VU (Weissenbacher)
- Dynamic Compilation Dynamische Übersetzer VU (Krall)
- Formal Methods for Security and Privacy VU (Maffei)
- Fortgeschrittene funktionale Programmierung VU (Knoop)
- High Performance Computing VU (Träff)
- Programmanalyse VU (Zuleger)
- Programmiersprachen VL (Puntigam)
- Seminar Formale Methoden SE (diverse)
- Seminar aus Programmiersprachen SE (Neumerkel)
- Stackbasierte Sprachen VU (Ertl)
Alphabetisch[Bearbeiten]
A
- Advanced Multiproccessor Programming VU (Träff)
- Algorithmen in der Graphentheorie VU (Fleischner)
- Algorithmic Geometry VU (Martin Nöllenburg)
- Algorithmics VU (Raidl)
- Analyse und Verifikation VU (Knoop)
- Automated Deduction VU (Laura Kovács)
C
- Codegeneratoren VO (Krall)
- Computer Aided Verification UE (Weissenbacher)
- Computer Aided Verification VU (Weissenbacher)
- Critical Algorithm Studies SE (Cech)
- Cryptocurrencies VU (Maffei)
D
- Datenbanktheorie VU (Pichler)
- Deductive Databases VO (Simkus)
- Diplomarbeit SE (diverse)
- Discrete Mathematics UE (diverse)
- Discrete Mathematics VO (Gittenberger)
- Dynamic Compilation Dynamische Übersetzer VU (Krall)
F
F (Fortsetzung)
- Formal Methods for Security and Privacy VU (Maffei)
- Formale Methoden der Informatik UE (Kovacs)
- Formale Methoden der Informatik VU (Egly)
- Fortgeschrittene funktionale Programmierung VU (Knoop)
H
K
- Knowledge Management UE (Dorn)
- Knowledge Management VO (Dorn)
- Knowledge-based Systems VU (Egly, Eiter, Tompits)
- Kommunikation und Moderation VU (Pohl)
- Kommunikation und Rhetorik 2 SE (Pichlmair, Riedler)
- Komplexitätstheorie VU (Pichler)
- Kryptographie VU (Egly)
L
M
N
N (Fortsetzung)
O
P
- Parallele Algorithmen VU (Träff)
- Practical Applications of Answer Set Programming VU (Weinzierl)
- Problem Solving and Search in AI VU (Musliu)
- Programmanalyse VU (Zuleger)
- Programmiersprachen VL (Puntigam)
R
S
- SAT Solving und Erweiterungen VU (Egly)
- Selbstorganisierende Systeme VU (Rauber)
- Seminar Formale Methoden SE (diverse)
- Seminar aus Programmiersprachen SE (Neumerkel)
- Smart Contracts VU (Salzer, Di Angelo)
- Stackbasierte Sprachen VU (Ertl)
T
V
