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
Algorithmics   Distance Learning
Distance Learning: Course is held predominantly online
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
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
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
185.A28 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
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
194.074 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
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
185.A29 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
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
194.075 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
VU Real-Time Scheduling
2.03.0
SE Seminar in Algorithms
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
SE Seminar in Artificial Intelligence
2.03.0
184.068 SE 2022W
Artificial Intelligence Seminar   Distance Learning
Distance Learning: Course is held predominantly online
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
184.712 SE 2022W
Seminar in Knowledge Representation and Reasoning   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VO Processing of Declarative Knowledge
2.03.0
VU Self-Organizing Systems
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
Machine Learning   Distance Learning
Distance Learning: Course is held predominantly online
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
185.A28 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
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
194.074 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
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
185.A29 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
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
194.075 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
VU Knowledge Graphs
2.03.0
VU Mobile Robotik
3.04.5
VU Theoretical Foundations and Research Topics in Machine Learning
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
UE Discrete Mathematics
2.55.0
Modul Logic and Computability
6.0
VU Logic and Computability
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
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
185.A28 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
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
194.074 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
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
185.A29 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
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
194.075 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
VU Proof Systems in Modal Logic
2.03.0
VO Proof Theory 1
2.03.0
VO Proof Theory 2
2.03.0
VU Quantum Computing
2.03.0
192.070 VU 2022W
Quantum Computing   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VO Refutation Systems
2.03.0
SE Seminar in Logic
2.03.0
184.264 SE 2022W
Seminar in Logic   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
SE Seminar in Theoretical Computer Science
2.03.0
184.067 SE 2022W
Seminar in Theoretical Computer Science   Distance Learning
Distance Learning: Course is held predominantly online
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
Prüfungsfach Programming Languages and Verification
Modul Formal Methods in Computer Science
6.0
VU Formal Methods in Computer Science
4.06.0
UE Formal Methods in Computer Science
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
UE Computer-Aided Verification
2.03.0
VO Codegeneratoren
2.03.0
185.416 VO 2022W
Code Generators   Distance Learning
Distance Learning: Course is held predominantly online
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
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
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
185.A28 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Course is held predominantly online
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
194.074 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
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
185.A29 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Course is held predominantly online
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
194.075 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
VU Requirements Engineering and Specification
2.03.0
188.409 VU 2022W
Requirements Engineering and Specification   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VU Runtime Verification
4.06.0
SE Seminar aus Programmiersprachen
2.03.0
SE Seminar in Formal Methods
2.03.0
VU Semantik von Programmiersprachen
3.04.5
VU Software Model Checking
4.06.0
VU Software Testing
2.03.0
VU Stackbasierte Sprachen
2.03.0
185.310 VU 2022W
Stack-based languages   Distance Learning
Distance Learning: Course is held predominantly online
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
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