066 931 Masterstudium Logic and Computation

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

2018W-2019S (2011U)

TitelAnm.Bed.StundenECTS
Masterstudium 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 2018W
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 2018W
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 2018W
2.03.0
VU Complexity Theory
2.03.0
181.142 VU 2019S
2.03.0
VU Discrete Reasoning Methods
2.03.0
VU Distributed Algorithms
4.06.0
182.702 VU 2019S
4.06.0
VU Fixed-Parameter Algorithms and Complexity
2.03.0
2.03.0
VU Heuristic Optimization Techniques
2.03.0
2.03.0
VU Mathematical Programming
2.03.0
186.835 VU 2019S
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 Parallel Algorithms
2.03.0
184.727 VU 2018W
2.03.0
VU Problems in Distributed Computing
3.04.5
3.04.5
VU Optimization in Transport and Logistics
2.03.0
VU Real-Time Scheduling
2.03.0
182.086 VU 2019S
2.03.0
SE Seminar in Algorithms
2.03.0
SE Seminar in Complexity Theory
2.03.0
184.687 SE 2018W
2.03.0
184.759 SE 2018W
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
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
VU Graph Drawing Algorithms
2.03.0
192.053 VU 2019S
2.03.0
SE Seminar aus Algorithmik
2.03.0
184.754 SE 2018W
2.03.0
186.182 SE 2019S
2.03.0
186.182 SE 2018W
2.03.0
VU Structural Decompositions and Algorithms
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
184.730 VU 2019S
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 2019S
2.03.0
181.201 SE 2018W
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 2018W
3.04.5
VU Abstract Argumentation
3.04.5
184.682 VU 2018W
3.04.5
VU Nonmonotonic Reasoning
2.03.0
184.188 VU 2019S
2.03.0
184.188 VU 2018W
2.03.0
VU Semantic Web Technologies
2.03.0
184.729 VU 2018W
2.03.0
VO Deductive Databases
2.03.0
192.067 VO 2018W
2.03.0
VO Knowledge Management
2.03.0
188.483 VO 2018W
2.03.0
UE Knowledge Management
2.03.0
188.486 UE 2018W
2.03.0
VU SAT Solving and Extensions
2.03.0
2.03.0
VU Complexity Analysis
2.03.0
184.215 VU 2019S
2.03.0
VU Database Theory
2.03.0
181.140 VU 2019S
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 2019S
3.04.5
184.702 VU 2018W
3.04.5
VU Similarity Modeling 1
2.03.0
188.501 VU 2018W
2.03.0
VU Similarity Modeling 2
2.03.0
188.498 VU 2018W
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 Classification and Discriminant Analysis
3.04.5
3.04.5
VU Probablistic Reasoning
2.03.0
VU Description Logics and Ontologies
2.03.0
184.772 VU 2018W
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
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
VU Systems and Solving Techniques for Knowledge Representation and Reasoning
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 2018W
4.04.0
UE Discrete Mathematics
2.55.0
104.272 UE 2018W
2.55.0
Modul Logic and Computability
6.0
VU Logic and Computability
4.06.0
185.A45 VU 2018W
4.06.0
Modul Logic, Mathematics, and Theoretical Computer Science
9.0
VU Cryptocurrencies
4.06.0
192.065 VU 2018W
4.06.0
VU Cryptography
2.03.0
184.189 VU 2018W
2.03.0
VU Formal Language Theory
2.03.0
185.A42 VU 2018W
2.03.0
VU Advanced Topics in Formal Language Theory
2.03.0
VU Membrane Computing
2.03.0
185.A70 VU 2018W
2.03.0
VU Quantum Computing
2.03.0
192.070 VU 2018W
2.03.0
SE Seminar in Logic
2.03.0
181.206 SE 2019S
2.03.0
184.264 SE 2019S
2.03.0
184.264 SE 2018W
2.03.0
185.316 SE 2019S
2.03.0
SE Seminar in Theoretical Computer Science
2.03.0
2.03.0
2.03.0
2.03.0
2.03.0
2.03.0
2.03.0
VU Non-classical Logics
2.03.0
2.03.0
VO Lambda Calculus
2.03.0
108.030 VO 2018W
2.03.0
192.054 VO 2019S
2.03.0
VO Proof Theory 1
2.03.0
118.131 VO 2018W
2.03.0
VO Proof Theory 2
2.03.0
118.211 VO 2019S
2.03.0
VU Advanced Mathematical Logic
2.03.0
VU Computability Theory
2.03.0
185.203 VU 2019S
2.03.0
VU Temporal Logic
2.03.0
VU Fuzzy Logic
2.03.0
VU Molecular Computing
2.03.0
185.326 VU 2019S
2.03.0
VU Unification Theory
2.03.0
VU Automated Deduction
4.06.0
184.774 VU 2019S
4.06.0
VU Higher-order Logic
2.03.0
185.A60 VU 2019S
2.03.0
VU Term Rewriting
2.03.0
VO History of Logic
2.03.0
184.266 VO 2019S
2.03.0
VU Proof Systems in Modal Logic
2.03.0
184.711 VU 2019S
2.03.0
VO Refutation Systems
2.03.0
VO Functional Analysis 1
4.05.0
UE Functional Analysis 1
1.02.0
101.341 UE 2019S
1.02.0
VO Complex Analysis
4.05.0
UE Complex Analysis
1.02.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
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
VU Smart Contracts
4.06.0
192.078 VU 2019S
4.06.0
VU Epistemic Logic and Communication
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
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
VU Computer-Aided Verification
2.03.0
181.145 VU 2019S
2.03.0
UE Computer-Aided Verification
2.03.0
181.144 UE 2019S
2.03.0
VU Software Model Checking
4.06.0
VU Requirements Engineering and Specification
2.03.0
2.03.0
VU Software Testing
2.03.0
188.280 VU 2019S
2.03.0
183.290 VU 2018W
2.03.0
VU Automated Reasoning and Program Verification
2.03.0
SE Seminar in Formal Methods
2.03.0
181.221 SE 2019S
2.03.0
181.221 SE 2018W
2.03.0
VU Fortgeschrittene funktionale Programmierung
2.03.0
2.03.0
VU Advanced Object-oriented Programming
2.03.0
2.03.0
VU High Performance Computing
3.04.5
3.04.5
VU Advanced Multiprocessor Programming
3.04.5
VU Stackbasierte Sprachen
2.03.0
185.310 VU 2018W
2.03.0
VU Effiziente Programme
2.03.0
185.190 VU 2018W
2.03.0
VU Deductive Verification of Software
4.06.0
SE Seminar aus Programmiersprachen
2.03.0
2.03.0
2.03.0
184.755 SE 2018W
2.03.0
VU Programmiersprachen
2.03.0
185.208 VU 2019S
2.03.0
VU Program Analysis
2.03.0
184.703 VU 2018W
2.03.0
VO Typsysteme
2.03.0
185.206 VO 2018W
2.03.0
VU Semantik von Programmiersprachen
3.04.5
3.04.5
VU Analyse und Verifikation
2.03.0
185.276 VU 2019S
2.03.0
VO Codegeneratoren
2.03.0
185.416 VO 2018W
2.03.0
VU Dynamic Compilation
2.03.0
2.03.0
VU Optimierende Übersetzer
2.03.0
185.A04 VU 2018W
2.03.0
VU Übersetzer für Parallele Systeme
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
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
VU Model Engineering
4.06.0
188.923 VU 2018W
4.06.0
VU Advanced Model Engineering
2.03.0
188.952 VU 2019S
2.03.0
SE Advanced Model Engineering
2.03.0
188.953 SE 2019S
2.03.0
VU Formal Methods for Security and Privacy
4.06.0
4.06.0
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
184.228 SE 2019S
2.03.0
184.228 SE 2018W
2.03.0
2.03.0
2.03.0
VO EDV-Vertragsrecht
1.01.5
280.239 VO 2018W
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
185.A34 VU 2018W
2.03.0
194.057 VU 2019S
2.03.0
VU Kommunikation und Moderation
2.03.0
187.236 VU 2019S
2.03.0
187.236 VU 2018W
2.03.0
VU Kooperatives Arbeiten
2.03.0
SE Rechtsinformationsrecherche im Internet
2.03.0
VU Softskills für TechnikerInnen
2.03.0
2.03.0
2.03.0
VU Techniksoziologie und Technikpsychologie
2.03.0
2.03.0
VO Theorie und Praxis der Gruppenarbeit
2.03.0
SE Wissenschaftliche Methodik
2.03.0
185.A77 SE 2019S
2.03.0
SE Scientific Presentation and Communication
2.03.0
2.03.0
PV Privatissimum aus Fachdidaktik Informatik
4.04.0
4.04.0
VU Präsentation und Moderation
2.03.0
185.A62 VU 2018W
2.03.0
EX Exkursion
2.03.0
SE Kommunikation und Rhetorik 2
2.03.0
181.204 SE 2018W
2.03.0
SE Critical Algorithm Studies
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
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