066 931 Master programme Logic and Computation

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

2023W-2024S (2011U)

1. Semester

TitlePrecon.HoursECTS
VU Algorithmics
4.06.0
186.814 VU 2023W
4.06.0
VO Discrete Mathematics
4.04.0
104.271 VO 2023W
4.04.0
UE Discrete Mathematics
2.55.0
104.272 UE 2023W
2.55.0
VU Logic and Computability
4.06.0
185.A45 VU 2023W
4.06.0
VU Formal Methods in Computer Science
4.06.0
185.291 VU 2024S
4.06.0
4.06.0

2. Semester

TitlePrecon.HoursECTS
VU Knowledge-based Systems
4.06.0
184.730 VU 2024S
4.06.0

Without semester recommendation

TitlePrecon.HoursECTS
VU Advanced Algorithms
4.06.0
VU Algorithms in Graph Theory
3.04.5
192.018 VU 2023W
3.04.5
VU Algorithmic Geometry
3.04.5
192.133 VU 2023W
3.04.5
VO Analysis of Algorithms
3.05.0
UE Analysis of Algorithms
2.04.0
VU Approximation Algorithms
2.03.0
186.102 VU 2023W
2.03.0
VU Complexity Theory
2.03.0
181.142 VU 2023W
2.03.0
VU Discrete Reasoning Methods
2.03.0
VU Distributed Algorithms
4.06.0
182.702 VU 2024S
4.06.0
VU Fixed-Parameter Algorithms and Complexity
3.04.5
3.04.5
VU Graph Drawing Algorithms
3.04.5
192.141 VU 2024S
3.04.5
VU Heuristic Optimization Techniques
3.04.5
3.04.5
VU Mathematical Programming
2.03.0
186.835 VU 2024S
2.03.0
VU Modeling and Solving Constrained Optimization Problems
2.03.0
2.03.0
VU Networks: Design and Analysis
2.03.0
VU Optimization in Transport and Logistics
2.03.0
2.03.0
VU Parallel Algorithms
2.03.0
VU Problems in Distributed Computing
3.04.5
3.04.5
PR Project in Computer Science 1
4.06.0
194.079 PR 2024S
4.06.0
194.079 PR 2023W
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
PR Project in Computer Science 2
4.06.0
194.080 PR 2024S
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 2024S
2.03.0
SE Seminar in Algorithms
2.03.0
184.754 SE 2023W
2.03.0
186.182 SE 2024S
2.03.0
186.182 SE 2023W
2.03.0
2.03.0
SE Seminar in Complexity Theory
2.03.0
184.687 SE 2024S
2.03.0
VU Structural Decompositions and Algorithms
2.03.0
2.03.0
VU Algorithmic Meta-Theorems Algorithmische Meta-Theoreme https://tiss.tuwien.ac.at/course/courseAnnouncement.xhtml?dswid=3868&dsrid=250&courseNumber=192122&courseSemester=2021W
2.03.0
192.122 VU 2023W
2.03.0
VU Frontiers of Algorithms and Complexity
2.03.0
VU Randomized Algorithms
2.03.0
192.020 VU 2023W
2.03.0
VU Advanced Methods for Regression and Classification
3.04.5
3.04.5
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
194.103 SE 2023W
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 2024S
2.03.0
181.201 SE 2023W
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 2023W
3.04.5
VU Abstract Argumentation
3.04.5
184.682 VU 2023W
3.04.5
VU Nonmonotonic Reasoning
2.03.0
184.188 VU 2024S
2.03.0
VU Semantic Technologies
2.03.0
184.729 VU 2024S
2.03.0
VO Deductive Databases
2.03.0
192.067 VO 2023W
2.03.0
VO Knowledge Management
2.03.0
UE Knowledge Management
2.03.0
VU SAT Solving and Extensions
2.03.0
184.090 VU 2024S
2.03.0
VU Complexity Analysis
2.03.0
184.215 VU 2024S
2.03.0
VU Database Theory
2.03.0
181.140 VU 2023W
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 2024S
3.04.5
184.702 VU 2023W
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 Probabilistic Reasoning
2.03.0
192.030 VU 2024S
2.03.0
192.030 VU 2023W
2.03.0
VU Description Logics and Ontologies
2.03.0
2.03.0
PR Project in Computer Science 1
4.06.0
194.079 PR 2024S
4.06.0
194.079 PR 2023W
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
PR Project in Computer Science 2
4.06.0
194.080 PR 2024S
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 Knowledge Graphs
2.03.0
192.116 VU 2024S
2.03.0
VU Mobile Robotik
3.04.5
VU Theoretical Foundations and Research Topics in Machine Learning
2.03.0
2.03.0
2.03.0
VU Practical Applications of Answer Set Programming
2.03.0
VU Algorithmic Social Choice
4.06.0
192.118 VU 2024S
4.06.0
VU Probabilistic Programming and AI
4.06.0
4.06.0
VU Advanced Mathematical Logic
2.03.0
VU Advanced Topics in Formal Language Theory
2.03.0
VU Automated Deduction
4.06.0
VO Complex Analysis
4.05.0
UE Complex Analysis
1.02.0
VU Computability Theory
2.03.0
VU Cryptocurrencies
4.06.0
192.065 VU 2023W
4.06.0
VU Advanced Cryptography
4.06.0
VU Formal Language Theory
2.03.0
VO Functional Analysis 1
4.05.0
UE Functional Analysis 1
1.02.0
101.341 UE 2024S
1.02.0
VU Fuzzy Logic
2.03.0
VU Higher-order Logic
2.03.0
VO History of Logic
2.03.0
184.266 VO 2023W
2.03.0
VU Introduction to Type Theories
2.03.0
VO Lambda Calculus
2.03.0
108.030 VO 2023W
2.03.0
VU Membrane Computing
2.03.0
VU Molecular Computing
2.03.0
VU Non-classical Logics
2.03.0
192.085 VU 2024S
2.03.0
PR Project in Computer Science 1
4.06.0
194.079 PR 2024S
4.06.0
194.079 PR 2023W
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
PR Project in Computer Science 2
4.06.0
194.080 PR 2024S
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
VO Proof Theory 1
2.03.0
118.131 VO 2023W
2.03.0
VO Proof Theory 2
2.03.0
118.211 VO 2024S
2.03.0
VU Quantum Computing
2.03.0
192.070 VU 2023W
2.03.0
VO Refutation Systems
2.03.0
192.094 VO 2023W
2.03.0
SE Seminar in Logic
2.03.0
181.206 SE 2024S
2.03.0
184.264 SE 2024S
2.03.0
184.264 SE 2023W
2.03.0
185.316 SE 2024S
2.03.0
192.132 SE 2023W
2.03.0
SE Seminar in Theoretical Computer Science
2.03.0
2.03.0
2.03.0
2.03.0
2.03.0
VU Smart Contracts
4.06.0
192.078 VU 2024S
4.06.0
VU Temporal Logic
2.03.0
VU Term Rewriting
2.03.0
VU Unification Theory
2.03.0
VU Deontic Logic for Normative Reasoning
2.03.0
2.03.0
UE Formal Methods in Computer Science
2.03.0
2.03.0
SE Advanced Model Engineering
2.03.0
188.953 SE 2024S
2.03.0
VU Advanced Model Engineering
2.03.0
188.952 VU 2024S
2.03.0
VU Advanced Multiprocessor Programming
3.04.5
VU Advanced Object-oriented Programming
2.03.0
2.03.0
VU Analyse und Verifikation
2.03.0
185.276 VU 2024S
2.03.0
VU Automated Reasoning and Program Verification
3.04.5
VU Computer-Aided Verification
2.03.0
181.145 VU 2024S
2.03.0
UE Computer-Aided Verification
2.03.0
181.144 UE 2024S
2.03.0
VO Codegeneratoren
2.03.0
185.416 VO 2023W
2.03.0
VU Deductive Verification of Software
4.06.0
VU Dynamic Compilation
2.03.0
185.A50 VU 2024S
2.03.0
VU Effiziente Programme
2.03.0
185.190 VU 2023W
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 2024S
3.04.5
184.725 VU 2023W
3.04.5
VU Model Engineering
4.06.0
188.923 VU 2023W
4.06.0
VU Optimierende Übersetzer
2.03.0
185.A04 VU 2023W
2.03.0
VU Program Analysis
2.03.0
184.703 VU 2023W
2.03.0
VU Programmiersprachen
2.03.0
185.208 VU 2024S
2.03.0
PR Project in Computer Science 1
4.06.0
194.079 PR 2024S
4.06.0
194.079 PR 2023W
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
PR Project in Computer Science 2
4.06.0
194.080 PR 2024S
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
SE Seminar in Formal Methods
2.03.0
181.221 SE 2024S
2.03.0
181.221 SE 2023W
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 2024S
2.03.0
VU Stackbasierte Sprachen
2.03.0
185.310 VU 2023W
2.03.0
VO Typsysteme
2.03.0
185.206 VO 2023W
2.03.0
VU Übersetzer für Parallele Systeme
2.03.0
SE Coaching als Führungsinstrument 1
2.03.0
2.03.0
SE Coaching als Führungsinstrument 2
2.03.0
SE Didaktik in der Informatik
2.03.0
2.03.0
194.042 SE 2024S
2.03.0
194.042 SE 2023W
2.03.0
VO EDV-Vertragsrecht
1.01.5
280.239 VO 2024S
1.01.5
280.239 VO 2023W
1.01.5
VO Einführung in die Wissenschaftstheorie I
2.03.0
VO Einführung in Technik und Gesellschaft
2.03.0
SE Folgenabschätzung von Informationstechnologien
2.03.0
VU Forschungsmethoden
2.03.0
185.A34 VU 2023W
2.03.0
194.057 VU 2024S
2.03.0
VO Frauen in Naturwissenschaft und Technik
2.03.0
SE Gruppendynamik
3.03.0
260.138 SE 2024S
3.03.0
PR IT-Projekte für Jugendliche
3.0
192.055 PR 2024S
2.03.0
192.055 PR 2023W
2.03.0
UE IT Projekte für Jugendliche
1.5
192.058 UE 2024S
1.01.5
192.058 UE 2023W
1.01.5
VU Kommunikation und Moderation
2.03.0
SE Kommunikation und Rhetorik
2.03.0
181.200 SE 2024S
2.03.0
181.200 SE 2023W
2.03.0
SE Kommunikation und Rhetorik 2
2.03.0
181.204 SE 2023W
2.03.0
SE Kommunikationstechnik
1.01.5
184.004 SE 2024S
1.01.5
184.004 SE 2023W
1.01.5
VU Kooperatives Arbeiten
2.03.0
VU Präsentation und Moderation
2.03.0
185.A62 VU 2023W
2.03.0
VO Präsentation, Moderation und Mediation
1.01.5
UE Präsentation, Moderation und Mediation
2.02.0
VU Präsentations- und Verhandlungstechnik
2.03.0
2.03.0
2.03.0
SE Privatissimum aus Fachdidaktik Informatik
4.04.0
VU Rhetorik, Körpersprache, Argumentationstraining
2.03.0
2.03.0
2.03.0
SE Scientific Presentation and Communication
2.03.0
2.03.0
VU Softskills für TechnikerInnen
2.03.0
181.208 VU 2024S
2.03.0
181.208 VU 2023W
2.03.0
VU Techniksoziologie und Technikpsychologie
2.03.0
VO Theorie und Praxis der Gruppenarbeit
2.03.0
SE VWA Mentoring I
2.02.0
194.159 SE 2024S
2.02.0
SE VWA Mentoring II
2.02.0
VO Zwischen Karriere und Barriere
2.03.0
2.03.0
SE Seminar für Diplomand_innen
1.01.5
1.01.5
1.01.5

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