066 931 Master programme Logic and Computation

  • Show all courses of the academic year of which the selected semester is part of.

2019W-2020S (2011U)

TitlePrecon.HoursECTS
Master programme Logic and Computation http://www.informatik.tuwien.ac.at/studium/angebot/studienplaene
120.0
Prüfungsfach Algorithms and Complexity
Modul Algorithmics
6.0
VU Algorithmics
4.06.0
186.814 VU 2019W
4.06.0
Modul Algorithmics and Complexity
9.0
VU Advanced Algorithms
2.03.0
VU Algorithmic Game Theory
2.03.0
VU Algorithms in Graph Theory
2.03.0
VU Algorithmic Geometry
2.03.0
186.122 VU 2019W
2.03.0
VO Analysis of Algorithms
3.05.0
UE Analysis of Algorithms
2.04.0
VU Approximation Algorithms
2.03.0
186.102 VU 2019W
2.03.0
VU Complexity Theory
2.03.0
181.142 VU 2019W
2.03.0
VU Discrete Reasoning Methods
2.03.0
VU Distributed Algorithms
4.06.0
182.702 VU 2020S
4.06.0
VU Fixed-Parameter Algorithms and Complexity
2.03.0
2.03.0
VU Graph Drawing Algorithms
2.03.0
192.053 VU 2020S
2.03.0
VU Heuristic Optimization Techniques
2.03.0
2.03.0
VU Mathematical Programming
2.03.0
186.835 VU 2020S
2.03.0
VU Modeling and Solving Constrained Optimization Problems
2.03.0
2.03.0
VU Networks: Design and Analysis
2.03.0
2.03.0
VU Optimization in Transport and Logistics
2.03.0
VU Parallel Algorithms
2.03.0
184.727 VU 2019W
2.03.0
VU Problems in Distributed Computing
3.04.5
3.04.5
PR Project in Computer Science 1
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
194.079 PR 2020S
4.06.0
194.079 PR 2019W
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
PR Project in Computer Science 2
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
VU Real-Time Scheduling
2.03.0
182.086 VU 2020S
2.03.0
SE Seminar in Algorithms
2.03.0
SE Seminar in Complexity Theory
2.03.0
184.687 SE 2019W
2.03.0
SE Seminar aus Algorithmik
2.03.0
184.754 SE 2019W
2.03.0
186.182 SE 2020S
2.03.0
186.182 SE 2019W
2.03.0
2.03.0
VU Structural Decompositions and Algorithms
2.03.0
2.03.0
VO Advanced Graph Theory
2.03.0
SE Critical Algorithm Studies
2.03.0
Prüfungsfach Knowledge Representation and Artificial Intelligence
Modul Knowledge-based Systems
6.0
VU Knowledge-based Systems
4.06.0
184.730 VU 2020S
4.06.0
Modul Knowledge Representation and Artificial Intelligence
9.0
VU Theory of Knowledge Representation
2.03.0
2.03.0
SE Seminar in Artificial Intelligence
2.03.0
2.03.0
2.03.0
2.03.0
2.03.0
2.03.0
SE Seminar in Databases
2.03.0
181.201 SE 2019W
2.03.0
SE Seminar in Knowledge Representation and Reasoning
2.03.0
2.03.0
2.03.0
VO Processing of Declarative Knowledge
2.03.0
2.03.0
VU Self-Organizing Systems
3.04.5
188.413 VU 2019W
3.04.5
VU Abstract Argumentation
3.04.5
184.682 VU 2019W
3.04.5
VU Nonmonotonic Reasoning
2.03.0
VU Semantic Web Technologies
2.03.0
184.729 VU 2020S
2.03.0
VO Deductive Databases
2.03.0
192.067 VO 2019W
2.03.0
VO Knowledge Management
2.03.0
188.483 VO 2019W
2.03.0
UE Knowledge Management
2.03.0
188.486 UE 2019W
2.03.0
VU SAT Solving and Extensions
2.03.0
VU Complexity Analysis
2.03.0
184.215 VU 2020S
2.03.0
VU Database Theory
2.03.0
181.140 VU 2019W
2.03.0
VU Information Design
3.04.5
VU Advanced Logic Programming
2.03.0
VU Problem Solving and Search in Artificial Intelligence
2.03.0
2.03.0
VO Planning in Artificial Intelligence
2.03.0
VU Preferences in Artificial Intelligence
2.03.0
2.03.0
VU Machine Learning
3.04.5
184.702 VU 2020S
3.04.5
184.702 VU 2019W
3.04.5
VU Similarity Modeling 1
2.03.0
2.03.0
VU Similarity Modeling 2
2.03.0
2.03.0
VU Media and Brain 1
2.03.0
2.03.0
VU Media and Brain 2
2.03.0
2.03.0
VU Probablistic Reasoning
2.03.0
VU Description Logics and Ontologies
2.03.0
2.03.0
2.03.0
PR Project in Computer Science 1
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
194.079 PR 2020S
4.06.0
194.079 PR 2019W
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
PR Project in Computer Science 2
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
VU Advanced Regression and Classification
3.04.5
3.04.5
VU Algorithmic Social Choice
2.03.0
192.099 VU 2020S
2.03.0
VU Security, Privacy and Explainability in Machine Learning
2.03.0
2.03.0
VU Practical Applications of Answer Set Programming
2.03.0
2.03.0
Prüfungsfach Logic, Mathematics, and Theoretical Computer Science
Modul Discrete Mathematics
9.0
VO Discrete Mathematics
4.04.0
104.271 VO 2019W
4.04.0
UE Discrete Mathematics
2.55.0
104.272 UE 2019W
2.55.0
Modul Logic and Computability
6.0
VU Logic and Computability
4.06.0
185.A45 VU 2019W
4.06.0
Modul Logic, Mathematics, and Theoretical Computer Science
9.0
VU Advanced Mathematical Logic
2.03.0
104.394 VU 2020S
2.03.0
VU Advanced Topics in Formal Language Theory
2.03.0
VU Automated Deduction
4.06.0
184.774 VU 2020S
4.06.0
VO Complex Analysis
4.05.0
UE Complex Analysis
1.02.0
VU Computability Theory
2.03.0
185.203 VU 2020S
2.03.0
VU Cryptocurrencies
4.06.0
192.065 VU 2019W
4.06.0
VU Cryptography
2.03.0
VU Formal Language Theory
2.03.0
185.A42 VU 2019W
2.03.0
VO Functional Analysis 1
4.05.0
UE Functional Analysis 1
1.02.0
101.341 UE 2020S
1.02.0
VU Fuzzy Logic
2.03.0
VU Higher-order Logic
2.03.0
VO History of Logic
2.03.0
VO Lambda Calculus
2.03.0
108.030 VO 2019W
2.03.0
VU Membrane Computing
2.03.0
185.A70 VU 2019W
2.03.0
VU Molecular Computing
2.03.0
185.326 VU 2020S
2.03.0
VU Non-classical Logics
2.03.0
192.085 VU 2020S
2.03.0
PR Project in Computer Science 1
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
194.079 PR 2020S
4.06.0
194.079 PR 2019W
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
PR Project in Computer Science 2
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
VU Proof Systems in Modal Logic
2.03.0
184.711 VU 2020S
2.03.0
VO Proof Theory 1
2.03.0
118.131 VO 2019W
2.03.0
VO Proof Theory 2
2.03.0
118.211 VO 2020S
2.03.0
VU Quantum Computing
2.03.0
192.070 VU 2019W
2.03.0
VO Refutation Systems
2.03.0
192.094 VO 2019W
2.03.0
SE Seminar in Logic
2.03.0
181.206 SE 2020S
2.03.0
184.264 SE 2020S
2.03.0
184.264 SE 2019W
2.03.0
185.316 SE 2020S
2.03.0
SE Seminar in Theoretical Computer Science
2.03.0
2.03.0
2.03.0
2.03.0
192.064 SE 2019W
2.03.0
VU Smart Contracts
4.06.0
192.078 VU 2020S
4.06.0
VU Temporal Logic
2.03.0
VU Term Rewriting
2.03.0
185.224 VU 2020S
2.03.0
VU Unification Theory
2.03.0
VU Introduction to the Coq proof assistant
2.03.0
2.03.0
Prüfungsfach Programming Languages and Verification
Modul Formal Methods in Computer Science
9.0
VU Formal Methods in Computer Science
4.06.0
185.291 VU 2020S
4.06.0
4.06.0
UE Formal Methods in Computer Science
2.03.0
2.03.0
Modul Programming Languages and Verification
9.0
SE Advanced Model Engineering
2.03.0
VU Advanced Model Engineering
2.03.0
VU Advanced Object-oriented Programming
2.03.0
2.03.0
VU Analyse und Verifikation
2.03.0
185.276 VU 2020S
2.03.0
VU Automated Reasoning and Program Verification
2.03.0
VU Computer-Aided Verification
2.03.0
181.145 VU 2020S
2.03.0
UE Computer-Aided Verification
2.03.0
181.144 UE 2020S
2.03.0
VO Codegeneratoren
2.03.0
185.416 VO 2019W
2.03.0
VU Deductive Verification of Software
4.06.0
VU Dynamic Compilation
2.03.0
185.A50 VU 2020S
2.03.0
VU Effiziente Programme
2.03.0
185.190 VU 2019W
2.03.0
VU Formal Methods for Security and Privacy
4.06.0
4.06.0
VU Fortgeschrittene funktionale Programmierung
2.03.0
2.03.0
VU High Performance Computing
3.04.5
184.725 VU 2019W
3.04.5
VU Model Engineering
4.06.0
188.923 VU 2019W
4.06.0
VU Optimierende Übersetzer
2.03.0
185.A04 VU 2019W
2.03.0
VU Program Analysis
2.03.0
184.703 VU 2019W
2.03.0
VU Programmiersprachen
2.03.0
185.208 VU 2020S
2.03.0
PR Project in Computer Science 1
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
194.079 PR 2020S
4.06.0
194.079 PR 2019W
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
PR Project in Computer Science 2
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
4.06.0
VU Requirements Engineering and Specification
2.03.0
2.03.0
VU Runtime Verification
4.06.0
SE Seminar aus Programmiersprachen
2.03.0
2.03.0
2.03.0
SE Seminar in Formal Methods
2.03.0
181.221 SE 2020S
2.03.0
181.221 SE 2019W
2.03.0
VU Semantik von Programmiersprachen
3.04.5
3.04.5
VU Software Model Checking
4.06.0
VU Software Testing
2.03.0
188.280 VU 2020S
2.03.0
183.290 VU 2019W
2.03.0
VU Stackbasierte Sprachen
2.03.0
185.310 VU 2019W
2.03.0
VO Typsysteme
2.03.0
185.206 VO 2019W
2.03.0
VU Übersetzer für Parallele Systeme
2.03.0
VU Weiterführende Multiprocessor Programmierung
3.04.5
3.04.5
Prüfungsfach Fachübergreifende Qualifikationen und freie Wahl
9.0
Modul Fachübergreifende Qualifikationen
Bei diesem Modul beachten Sie bitte die Einschränkungen des Verordnungstextes!
9.0
SE Coaching als Führungsinstrument 2
2.03.0
2.03.0
SE Didaktik in der Informatik
2.03.0
2.03.0
2.03.0
194.042 SE 2020S
2.03.0
194.042 SE 2019W
2.03.0
VO EDV-Vertragsrecht
1.01.5
280.239 VO 2020S
1.01.5
280.239 VO 2019W
1.01.5
VO Einführung in Technik und Gesellschaft
2.03.0
SE Folgenabschätzung von Informationstechnologien
2.03.0
VU Forschungsmethoden
2.03.0
183.234 VU 2019W
2.03.0
185.A34 VU 2019W
2.03.0
194.057 VU 2020S
2.03.0
VU Kommunikation und Moderation
2.03.0
187.236 VU 2020S
2.03.0
187.236 VU 2019W
2.03.0
VU Kooperatives Arbeiten
2.03.0
SE Rechtsinformationsrecherche im Internet
2.03.0
VU Softskills für TechnikerInnen
2.03.0
181.208 VU 2020S
2.03.0
181.208 VU 2019W
2.03.0
VU Techniksoziologie und Technikpsychologie
2.03.0
187.329 VU 2020S
2.03.0
VO Theorie und Praxis der Gruppenarbeit
2.03.0
SE Wissenschaftliche Methodik
2.03.0
185.A77 SE 2020S
2.03.0
SE Scientific Presentation and Communication
2.03.0
PV Privatissimum aus Fachdidaktik Informatik
4.04.0
4.04.0
SE Privatissimum aus Fachdidaktik Informatik
4.04.0
4.04.0
VU Präsentation und Moderation
2.03.0
185.A62 VU 2019W
2.03.0
EX Exkursion
2.03.0
193.057 EX 2019W
2.03.0
SE Kommunikation und Rhetorik 2
2.03.0
181.204 SE 2019W
2.03.0
SE Critical Algorithm Studies
2.03.0
193.044 SE 2020S
2.03.0
Modul Freie Wahl
Prüfungsfach Diplomarbeit
30.0
SE Seminar für Diplomand_innen
1.01.5
1.01.5
1.01.5
Modul Kommissionelle Abschlussprüfung
1.5
Modul Diplomarbeit
27.0
Responsible dean of academic affairs
For questions regarding the curriculum please contact the responsible dean of academic affairs.

Legend

Courses belong to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
Courses belong to the introductory interview ("Studieneingangsgespräch")
Courses require the completion of the introductory and orientation phase
Courses require the completion of the introductory interview STEG