066 931 Master programme Logic and Computation

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

2022W-2023S (2011U)

TitlePrecon.HoursECTS
Master programme Logic and Computation https://informatics.tuwien.ac.at/master/logic-and-computation/
120.0
Prüfungsfach Algorithms and Complexity
Modul Algorithmics
6.0
VU Algorithmics
4.06.0
186.814 VU 2022W
4.06.0
Modul Algorithmics and Complexity
9.0
VU Advanced Algorithms
4.06.0
VU Algorithms in Graph Theory
2.03.0
VU Algorithmic Geometry
3.04.5
192.133 VU 2022W
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 2022W
2.03.0
VU Complexity Theory
2.03.0
181.142 VU 2022W
2.03.0
VU Discrete Reasoning Methods
2.03.0
VU Distributed Algorithms
4.06.0
VU Fixed-Parameter Algorithms and Complexity
3.04.5
3.04.5
VU Graph Drawing Algorithms
2.03.0
VU Heuristic Optimization Techniques
3.04.5
3.04.5
VU Mathematical Programming
2.03.0
VU Modeling and Solving Constrained Optimization Problems
2.03.0
VU Networks: Design and Analysis
2.03.0
VU Optimization in Transport and Logistics
2.03.0
VU Parallel Algorithms
2.03.0
184.727 VU 2022W
2.03.0
VU Problems in Distributed Computing
3.04.5
3.04.5
PR Project in Computer Science 1
4.06.0
186.820 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
184.688 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
184.692 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
185.A28 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
185.A36 PR 2023S
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
4.06.0
184.718 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
4.06.0
4.06.0
194.053 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
194.079 PR 2022W
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
186.821 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
184.689 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
184.693 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
185.A29 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
185.A37 PR 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
4.06.0
184.719 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
192.076 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
4.06.0
194.054 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
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
SE Seminar in Algorithms
2.03.0
184.754 SE 2022W
2.03.0
186.182 SE 2022W
Seminar on Algorithms   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
2.03.0
SE Seminar in Complexity Theory
2.03.0
VU Structural Decompositions and Algorithms
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 2022W
2.03.0
VU Frontiers of Algorithms and Complexity
2.03.0
2.03.0
Prüfungsfach Knowledge Representation and Artificial Intelligence
Modul Knowledge-based Systems
6.0
VU Knowledge-based Systems
4.06.0
Modul Knowledge Representation and Artificial Intelligence
9.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
SE Seminar in Databases
2.03.0
181.201 SE 2022W
2.03.0
SE Seminar in Knowledge Representation and Reasoning
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 2022W
3.04.5
VU Abstract Argumentation
3.04.5
184.682 VU 2022W
3.04.5
VU Nonmonotonic Reasoning
2.03.0
VU Semantic Technologies
2.03.0
VO Deductive Databases
2.03.0
VO Knowledge Management
2.03.0
UE Knowledge Management
2.03.0
VU SAT Solving and Extensions
2.03.0
VU Complexity Analysis
2.03.0
VU Database Theory
2.03.0
181.140 VU 2022W
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
VU Machine Learning
3.04.5
184.702 VU 2023S
3.04.5
184.702 VU 2022W
3.04.5
VU Similarity Modeling 1
2.03.0
188.501 VU 2022W
Similarity Modeling 1 - Computational Seeing and Hearing   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VU Similarity Modeling 2
2.03.0
188.498 VU 2022W
Similarity Modeling 2 - Computational Seeing and Hearing   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VU Media and Brain 1
2.03.0
VU Media and Brain 2
2.03.0
VU Probablistic Reasoning
2.03.0
VU Description Logics and Ontologies
2.03.0
PR Project in Computer Science 1
4.06.0
186.820 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
184.688 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
184.692 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
185.A28 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
185.A36 PR 2023S
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
4.06.0
184.718 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
4.06.0
4.06.0
194.053 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
194.079 PR 2022W
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
186.821 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
184.689 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
184.693 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
185.A29 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
185.A37 PR 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
4.06.0
184.719 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
192.076 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
4.06.0
194.054 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
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
VU Mobile Robotik
3.04.5
VU Theoretical Foundations and Research Topics in Machine Learning
2.03.0
2.03.0
VU Practical Applications of Answer Set Programming
2.03.0
VU Algorithmic Social Choice
4.06.0
Prüfungsfach Logic, Mathematics, and Theoretical Computer Science
Modul Discrete Mathematics
9.0
VO Discrete Mathematics
4.04.0
104.271 VO 2022W
4.04.0
UE Discrete Mathematics
2.55.0
104.272 UE 2022W
Discrete Mathematics   Distance Learning
Distance Learning: Course is held predominantly online
2.55.0
Modul Logic and Computability
6.0
VU Logic and Computability
4.06.0
185.A45 VU 2022W
4.06.0
Modul Logic, Mathematics, and Theoretical Computer Science
9.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 2022W
4.06.0
VU Advanced Cryptography
4.06.0
VU Formal Language Theory
2.03.0
185.A42 VU 2022W
Formal Language Theory   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VO Functional Analysis 1
4.05.0
UE Functional Analysis 1
1.02.0
101.341 UE 2023S
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 2022W
2.03.0
VU Membrane Computing
2.03.0
185.A70 VU 2022W
Membrane Computing   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VU Molecular Computing
2.03.0
185.326 VU 2023S
Molecular Computing   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VU Non-classical Logics
2.03.0
PR Project in Computer Science 1
4.06.0
186.820 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
184.688 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
184.692 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
185.A28 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
185.A36 PR 2023S
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
4.06.0
184.718 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
4.06.0
4.06.0
194.053 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
194.079 PR 2022W
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
186.821 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
184.689 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
184.693 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
185.A29 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
185.A37 PR 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
4.06.0
184.719 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
192.076 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
4.06.0
194.054 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
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 2022W
2.03.0
VO Proof Theory 2
2.03.0
118.211 VO 2023S
Proof Theory 2   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VU Quantum Computing
2.03.0
192.070 VU 2022W
2.03.0
VO Refutation Systems
2.03.0
192.094 VO 2022W
2.03.0
SE Seminar in Logic
2.03.0
184.264 SE 2022W
2.03.0
185.316 SE 2023S
Seminar in Logic   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
192.132 SE 2022W
2.03.0
SE Seminar in Theoretical Computer Science
2.03.0
2.03.0
2.03.0
192.064 SE 2022W
Seminar in Theoretical Computer Science   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VU Smart Contracts
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
Prüfungsfach Programming Languages and Verification
Modul Formal Methods in Computer Science
6.0
VU Formal Methods in Computer Science
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 Multiprocessor Programming
3.04.5
VU Advanced Object-oriented Programming
2.03.0
VU Analyse und Verifikation
2.03.0
VU Automated Reasoning and Program Verification
3.04.5
VU Computer-Aided Verification
2.03.0
181.145 VU 2022W
Computer Aided Verification   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
UE Computer-Aided Verification
2.03.0
181.144 UE 2022W
Computer-Aided Verification   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VO Codegeneratoren
2.03.0
185.416 VO 2022W
2.03.0
VU Deductive Verification of Software
4.06.0
VU Dynamic Compilation
2.03.0
VU Effiziente Programme
2.03.0
185.190 VU 2022W
2.03.0
VU Formal Methods for Security and Privacy
4.06.0
VU Fortgeschrittene funktionale Programmierung
2.03.0
VU High Performance Computing
3.04.5
184.725 VU 2022W
3.04.5
VU Model Engineering
4.06.0
188.923 VU 2022W
4.06.0
VU Optimierende Übersetzer
2.03.0
185.A04 VU 2022W
2.03.0
VU Program Analysis
2.03.0
184.703 VU 2022W
Program Analysis   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VU Programmiersprachen
2.03.0
PR Project in Computer Science 1
4.06.0
186.820 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
184.688 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
184.692 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
185.A28 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
185.A36 PR 2023S
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
4.06.0
184.718 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
4.06.0
4.06.0
194.053 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
194.079 PR 2022W
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
186.821 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
184.689 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
184.693 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
185.A29 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
185.A37 PR 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
4.06.0
184.719 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
192.076 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
4.06.0
194.054 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
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
SE Seminar in Formal Methods
2.03.0
181.221 SE 2022W
Seminar Formal Methods   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VU Semantik von Programmiersprachen
3.04.5
VU Software Model Checking
4.06.0
VU Software Testing
2.03.0
183.290 VU 2022W
2.03.0
VU Stackbasierte Sprachen
2.03.0
185.310 VU 2022W
2.03.0
VO Typsysteme
2.03.0
185.206 VO 2022W
2.03.0
VU Übersetzer für Parallele Systeme
2.03.0
2.03.0
Prüfungsfach Freie Wahlfächer und Transferable Skills
9.0
Modul Freie Wahlfächer und Transferable Skills
Bei diesem Modul beachten Sie bitte die Einschränkungen des Verordnungstextes!
SE Coaching als Führungsinstrument 2
2.03.0
SE Critical Algorithm Studies
2.03.0
SE Didaktik in der Informatik
2.03.0
2.03.0
194.042 SE 2022W
2.03.0
VO EDV-Vertragsrecht
1.01.5
280.239 VO 2022W
Law of IT-Contracts   Distance Learning
Distance Learning: Course is held predominantly online
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 2022W
Research Methods   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VO Frauen in Naturwissenschaft und Technik
2.03.0
VU Kommunikation und Moderation
2.03.0
SE Kommunikationstechnik
1.01.5
184.004 SE 2022W
1.01.5
VU Kooperatives Arbeiten
2.03.0
VU Präsentation und Moderation
2.03.0
185.A62 VU 2022W
Presentation and Moderation   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
SE Privatissimum aus Fachdidaktik Informatik
4.04.0
192.100 SE 2023S
Privatissimum on Didactics of Informatics   Distance Learning
Distance Learning: Course is held predominantly online
4.04.0
VU Softskills für TechnikerInnen
2.03.0
181.208 VU 2023S
2.03.0
181.208 VU 2022W
Softskills for technicians   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VU Techniksoziologie und Technikpsychologie
2.03.0
VO Theorie und Praxis der Gruppenarbeit
2.03.0
SE Wissenschaftliche Methodik
2.03.0
Prüfungsfach Diplomarbeit
30.0
SE Seminar für Diplomand_innen
1.01.5
180.773 SE 2022W
Seminar for Master Students in Logic and Computation   Distance Learning
Distance Learning: Course is held predominantly online
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
Distance Learning
Distance Learning: Course is held predominantly online