066 931 Masterstudium Logic and Computation

  • Zeige alle LVAs des Studienjahres an, in dem das ausgewählte Semester liegt.

2024W-2025S (2011U)

TitelAnm.Bed.StundenECTS
Masterstudium 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 2024W
Algorithmics
4.06.0
Modul Algorithmics and Complexity
9.0
VU Advanced Algorithms
4.06.0
VU Algorithms in Graph Theory
3.04.5
192.018 VU 2024W
Algorithms in Graph Theory
3.04.5
VU Algorithmic Geometry
3.04.5
192.133 VU 2024W
Algorithmic Geometry
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 2024W
Approximation Algorithms
2.03.0
VU Complexity Theory
2.03.0
181.142 VU 2024W
Komplexitätstheorie
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
192.135 VU 2024W
Fixed-Parameter Algorithms and Complexity
3.04.5
VU Graph Drawing Algorithms
3.04.5
VU Heuristic Optimization Techniques
3.04.5
192.137 VU 2024W
Heuristic Optimization Techniques
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 Parallele Algorithmen
2.03.0
184.727 VU 2024W
Parallele Algorithmen
2.03.0
VU Problems in Distributed Computing
3.04.5
182.703 VU 2024W
Problems in Distributed Computing
3.04.5
PR Project in Computer Science 1
4.06.0
193.117 PR 2024W
Project in Computer Science 1
4.06.0
191.008 PR 2024W
Project in Computer Science 1
4.06.0
192.021 PR 2025S
Project in Computer Science 1
4.06.0
192.021 PR 2024W
Project in Computer Science 1
4.06.0
194.145 PR 2024W
Project in Computer Science 1
4.06.0
PR Project in Computer Science 2
4.06.0
193.118 PR 2024W
Project in Computer Science 2
4.06.0
191.009 PR 2024W
Project in Computer Science 2
4.06.0
192.022 PR 2025S
Project in Computer Science 2
4.06.0
192.022 PR 2024W
Project in Computer Science 2
4.06.0
194.146 PR 2025S
Project in Computer Science 2
4.06.0
194.146 PR 2024W
Project in Computer Science 2
4.06.0
VU Real-Time Scheduling
2.03.0
SE Seminar in Algorithms
2.03.0
184.754 SE 2024W
Seminar aus Algorithmik
2.03.0
186.862 SE 2024W
Seminar aus Algorithmik Graphen und Geometrie
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 2024W
Algorithmic Meta-Theorems Algorithmische Meta-Theoreme
2.03.0
VU Frontiers of Algorithms and Complexity
2.03.0
192.136 VU 2024W
Frontiers of Algorithms and Complexity
2.03.0
VU Randomized Algorithms
2.03.0
192.045 VU 2024W
Randomized Algorithms
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 Abstract Argumentation
3.04.5
184.682 VU 2024W
Abstract Argumentation
3.04.5
VU Advanced Logic Programming
2.03.0
VU Advanced Methods for Regression and Classification
3.04.5
105.707 VU 2024W
Advanced Methods for Regression and Classification
3.04.5
VU Algorithmic Social Choice
4.06.0
VU Complexity Analysis
2.03.0
VU Database Theory
2.03.0
181.140 VU 2024W
Datenbanktheorie
2.03.0
VO Deductive Databases
2.03.0
192.067 VO 2024W
Deductive Databases abgesagt
2.03.0
VU Theory of Knowledge Representation
2.03.0
184.186 VU 2024W
Theory of Knowledge Representation
2.03.0
SE Seminar in Artificial Intelligence
2.03.0
184.068 SE 2024W
Seminar aus Artificial Intelligence
2.03.0
192.119 SE 2024W
Seminar in Artificial Intelligence Algorithmic and Computational Decision Theory
2.03.0
194.118 SE 2024W
Seminar in Artificial Intelligence - Theoretical Aspects of Machine Learning
2.03.0
192.047 SE 2024W
Seminar in Artificial Intelligence : Neuroscience-based Artificial Intelligence
2.03.0
SE Seminar in Databases
2.03.0
181.201 SE 2024W
Seminar aus Datenbanken
2.03.0
SE Seminar in Knowledge Representation and Reasoning
2.03.0
184.712 SE 2024W
Seminar in Knowledge Representation and Reasoning
2.03.0
192.048 SE 2024W
Seminar in Knowledge Representation and Reasoning : Neurosymbolic Artificial Intelligence
2.03.0
VO Processing of Declarative Knowledge
2.03.0
184.205 VO 2024W
Verarbeitung deklarativen Wissens
2.03.0
VU Self-Organizing Systems
3.04.5
188.413 VU 2024W
Selbstorganisierende Systeme
3.04.5
VU Nonmonotonic Reasoning
2.03.0
VO Knowledge Management
2.03.0
UE Knowledge Management
2.03.0
VU SAT Solving and Extensions
2.03.0
VU Information Design
3.04.5
VU Problem Solving and Search in Artificial Intelligence
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 2025S
Machine Learning
3.04.5
184.702 VU 2024W
Machine Learning
3.04.5
VU Similarity Modeling 1
2.03.0
188.501 VU 2024W
Similarity Modeling 1 - Computational Seeing and Hearing
2.03.0
VU Similarity Modeling 2
2.03.0
188.498 VU 2024W
Similarity Modeling 2 - Computational Seeing and Hearing
2.03.0
VU Media and Brain 1
2.03.0
VU Semantic Technologies
2.03.0
VU Media and Brain 2
2.03.0
VU Description Logics and Ontologies
2.03.0
184.772 VU 2024W
Description Logics and Ontologies
2.03.0
VU Probabilistic Reasoning
2.03.0
PR Project in Computer Science 1
4.06.0
193.117 PR 2024W
Project in Computer Science 1
4.06.0
191.008 PR 2024W
Project in Computer Science 1
4.06.0
192.021 PR 2025S
Project in Computer Science 1
4.06.0
192.021 PR 2024W
Project in Computer Science 1
4.06.0
194.145 PR 2024W
Project in Computer Science 1
4.06.0
PR Project in Computer Science 2
4.06.0
193.118 PR 2024W
Project in Computer Science 2
4.06.0
191.009 PR 2024W
Project in Computer Science 2
4.06.0
192.022 PR 2025S
Project in Computer Science 2
4.06.0
192.022 PR 2024W
Project in Computer Science 2
4.06.0
194.146 PR 2025S
Project in Computer Science 2
4.06.0
194.146 PR 2024W
Project in Computer Science 2
4.06.0
VU Knowledge Graphs
2.03.0
VU Mobile Robotik
3.04.5
183.660 VU 2024W
Mobile Robotik
3.04.5
VU Theoretical Foundations and Research Topics in Machine Learning
2.03.0
194.100 VU 2024W
Theoretical Foundations and Research Topics in Machine Learning
2.03.0
VU Practical Applications of Answer Set Programming
2.03.0
VU Probabilistic Programming and AI
4.06.0
194.150 VU 2024W
Probabilistic Programming and AI
4.06.0
VU Deep Learning for Natural Language Processing
4.06.0
192.039 VU 2024W
Deep Learning for Natural Language Processing
4.06.0
VU AI Ethics
4.06.0
192.046 VU 2024W
KI Ethik
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 2024W
Discrete Mathematics
4.04.0
UE Discrete Mathematics
2.55.0
104.272 UE 2024W
Discrete Mathematics
2.55.0
Modul Logic and Computability
6.0
VU Logic and Computability
4.06.0
185.A45 VU 2024W
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 2024W
Cryptocurrencies
4.06.0
VU Advanced Cryptography
4.06.0
VU Formal Language Theory
2.03.0
185.A42 VU 2024W
Formal Language Theory
2.03.0
VO Functional Analysis 1
4.05.0
UE Functional Analysis 1
1.02.0
101.341 UE 2025S
Funktionalanalysis 1 UE
1.02.0
VU Fuzzy Logic
2.03.0
VU Higher-order Logic
2.03.0
192.040 VU 2024W
Higher-order Logic
2.03.0
VO History of Logic
2.03.0
VU Introduction to Type Theories
2.03.0
VO Lambda Calculus
2.03.0
108.030 VO 2024W
AKLOG: Lambda Kalkül
2.03.0
VU Membrane Computing
2.03.0
VU Molecular Computing
2.03.0
VU Non-classical Logics
2.03.0
PR Project in Computer Science 1
4.06.0
193.117 PR 2024W
Project in Computer Science 1
4.06.0
191.008 PR 2024W
Project in Computer Science 1
4.06.0
192.021 PR 2025S
Project in Computer Science 1
4.06.0
192.021 PR 2024W
Project in Computer Science 1
4.06.0
194.145 PR 2024W
Project in Computer Science 1
4.06.0
PR Project in Computer Science 2
4.06.0
193.118 PR 2024W
Project in Computer Science 2
4.06.0
191.009 PR 2024W
Project in Computer Science 2
4.06.0
192.022 PR 2025S
Project in Computer Science 2
4.06.0
192.022 PR 2024W
Project in Computer Science 2
4.06.0
194.146 PR 2025S
Project in Computer Science 2
4.06.0
194.146 PR 2024W
Project in Computer Science 2
4.06.0
VU Proof Systems in Modal Logic
2.03.0
VO Proof Theory 1
2.03.0
118.131 VO 2024W
AKLOG. Beweistheorie 1
2.03.0
VO Proof Theory 2
2.03.0
118.211 VO 2025S
AKLOG: Beweistheorie 2
2.03.0
VU Quantum Computing
2.03.0
192.070 VU 2024W
Quantum Computing
2.03.0
VO Refutation Systems
2.03.0
192.094 VO 2024W
Refutation Systems
2.03.0
SE Seminar in Logic
2.03.0
184.264 SE 2024W
Seminar aus Logik
2.03.0
185.316 SE 2025S
Seminar aus Logik
2.03.0
SE Seminar in Theoretical Computer Science
2.03.0
184.067 SE 2024W
Seminar aus Theoretischer Informatik
2.03.0
184.753 SE 2024W
Seminar in Theoretical Computer Science
2.03.0
192.064 SE 2024W
Seminar in Theoretical Computer Science
2.03.0
VU Smart Contracts
4.06.0
192.078 VU 2025S
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
VU Symmetric Cryptography
4.06.0
Prüfungsfach Programming Languages and Verification
Modul Formal Methods in Computer Science
6.0
VU Formal Methods in Computer Science
4.06.0
185.291 VU 2025S
Formale Methoden der Informatik
4.06.0
185.291 VU 2024W
Formale Methoden der Informatik
4.06.0
UE Formale Methoden der Informatik
2.03.0
185.A93 UE 2024W
Formale Methoden der Informatik
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
184.726 VU 2024W
Weiterführende Multiprocessor Programmierung
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 2024W
Codegeneratoren
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 2024W
Effiziente Programme
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 2024W
Model Engineering
4.06.0
VU Optimierende Übersetzer
2.03.0
185.A04 VU 2024W
Optimierende Übersetzer
2.03.0
VU Program Analysis
2.03.0
184.703 VU 2024W
Programmanalyse
2.03.0
VU Programmiersprachen
2.03.0
PR Project in Computer Science 1
4.06.0
193.117 PR 2024W
Project in Computer Science 1
4.06.0
191.008 PR 2024W
Project in Computer Science 1
4.06.0
192.021 PR 2025S
Project in Computer Science 1
4.06.0
192.021 PR 2024W
Project in Computer Science 1
4.06.0
194.145 PR 2024W
Project in Computer Science 1
4.06.0
PR Project in Computer Science 2
4.06.0
193.118 PR 2024W
Project in Computer Science 2
4.06.0
191.009 PR 2024W
Project in Computer Science 2
4.06.0
192.022 PR 2025S
Project in Computer Science 2
4.06.0
192.022 PR 2024W
Project in Computer Science 2
4.06.0
194.146 PR 2025S
Project in Computer Science 2
4.06.0
194.146 PR 2024W
Project in Computer Science 2
4.06.0
VU Requirements Engineering and Specification
2.03.0
188.409 VU 2024W
Requirements Engineering and Specification
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 2025S
Seminar Formale Methoden
2.03.0
181.221 SE 2024W
Seminar Formale Methoden
2.03.0
VU Semantik von Programmiersprachen
3.04.5
184.749 VU 2025S
Semantik von Programmiersprachen
3.04.5
VU Software Model Checking
4.06.0
VU Stackbasierte Sprachen
2.03.0
185.310 VU 2024W
Stackbasierte Sprachen
2.03.0
VO Typsysteme
2.03.0
185.206 VO 2024W
Typsysteme
2.03.0
VU Übersetzer für Parallele Systeme
2.03.0
VU Software Testing
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 1
2.03.0
188.383 SE 2024W
Coaching als Führungsinstrument 1
2.03.0
SE Coaching als Führungsinstrument 2
2.03.0
188.472 SE 2024W
Coaching als Führungsinstrument 2
2.03.0
SE Didaktik in der Informatik
2.03.0
184.228 SE 2024W
Didaktik in der Informatik
2.03.0
194.042 SE 2025S
Didaktik in der Informatik , Abenteuer Informatik
2.03.0
194.042 SE 2024W
Didaktik in der Informatik , Abenteuer Informatik
2.03.0
VO EDV-Vertragsrecht
1.01.5
280.239 VO 2024W
EDV-Vertragsrecht
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 2024W
Forschungsmethoden
2.03.0
194.057 VU 2025S
Forschungsmethoden
2.03.0
VO Frauen in Naturwissenschaft und Technik
2.03.0
SE Gruppendynamik
3.03.0
PR IT-Projekte für Jugendliche
3.0
192.055 PR 2024W
IT-Projekte für Jugendliche
2.03.0
UE IT Projekte für Jugendliche
1.5
192.058 UE 2024W
IT Projekte für Jugendliche
1.01.5
VU Kommunikation und Moderation
2.03.0
SE Kommunikation und Rhetorik
2.03.0
181.200 SE 2025S
Kommunikation und Rhetorik
2.03.0
181.200 SE 2024W
Kommunikation und Rhetorik
2.03.0
SE Kommunikation und Rhetorik 2
2.03.0
181.204 SE 2024W
Kommunikation und Rhetorik 2
2.03.0
SE Kommunikationstechnik
1.01.5
184.004 SE 2024W
Kommunikationstechnik
1.01.5
VU Kooperatives Arbeiten
2.03.0
VU Präsentation und Moderation
2.03.0
185.A62 VU 2024W
Präsentation und Moderation
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
352.031 VU 2024W
Präsentations- und Verhandlungstechnik
2.03.0
SE Privatissimum aus Fachdidaktik Informatik
4.04.0
VU Rhetorik, Körpersprache, Argumentationstraining
2.03.0
352.490 VU 2024W
Rhetorik, Körpersprache und Argumentationstraining
2.03.0
SE Scientific Presentation and Communication
2.03.0
VU Softskills für TechnikerInnen
2.03.0
181.208 VU 2025S
Softskills für TechnikerInnen
2.03.0
181.208 VU 2024W
Softskills für TechnikerInnen
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
SE VWA Mentoring II
2.02.0
194.165 SE 2024W
VWA Mentoring II
2.02.0
VO Zwischen Karriere und Barriere
2.03.0
187.250 VO 2024W
Zwischen Karriere und Barriere
2.03.0
Zentraler Wahlfachkatalog der TU Wien für Transferable Skills
Katalog Freie Wahlfächer - Informatik
Prüfungsfach Diplomarbeit
30.0
SE Seminar für Diplomand_innen
1.01.5
180.773 SE 2024W
Seminar für Diplomand_innen für Logic and Computation
1.01.5
Modul Kommissionelle Abschlussprüfung
1.5
Modul Diplomarbeit
27.0
Verantwortliche_r Studiendekan_in
Bei Fragen zum Curriculum wenden Sie sich bitte an eine_n der verantwortlichen Studiendekan_innen.

Legende

Lehrveranstaltungen gehören zur Studieneingangs- und Orientierungsphase STEOP
Lehrveranstaltungen gehören zum Studieneingangsgespräch STEG
Lehrveranstaltungen erfordern die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
Lehrveranstaltungen erfordern die Erfüllung des Studieneingangsgesprächs STEG