066 931 Masterstudium Logic and Computation

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

2022W-2023S (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
Modul Algorithmics and Complexity
9.0
VU Advanced Algorithms
4.06.0
VU Algorithms in Graph Theory
2.03.0
VU Algorithmic Geometry
2.03.0
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
VU Discrete Reasoning Methods
2.03.0
VU Distributed Algorithms
4.06.0
VU Fixed-Parameter Algorithms and Complexity
2.03.0
VU Graph Drawing Algorithms
2.03.0
VU Heuristic Optimization Techniques
2.03.0
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
VU Problems in Distributed Computing
3.04.5
PR Project in Computer Science 1
4.06.0
PR Project in Computer Science 2
4.06.0
VU Real-Time Scheduling
2.03.0
SE Seminar in Algorithms
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
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
VU Theory of Knowledge Representation
2.03.0
SE Seminar in Artificial Intelligence
2.03.0
SE Seminar in Databases
2.03.0
SE Seminar in Knowledge Representation and Reasoning
2.03.0
VO Processing of Declarative Knowledge
2.03.0
VU Self-Organizing Systems
3.04.5
VU Abstract Argumentation
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
VU Information Design
3.04.5
VU Advanced Logic Programming
2.03.0
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
VU Similarity Modeling 1
2.03.0
VU Similarity Modeling 2
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
PR Project in Computer Science 2
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
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 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
VU Molecular Computing
2.03.0
VU Non-classical Logics
2.03.0
PR Project in Computer Science 1
4.06.0
PR Project in Computer Science 2
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
VO Refutation Systems
2.03.0
SE Seminar in Logic
2.03.0
SE Seminar in Theoretical Computer Science
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 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
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
VU Deductive Verification of Software
4.06.0
VU Dynamic Compilation
2.03.0
VU 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
VU Optimierende Übersetzer
2.03.0
VU Program Analysis
2.03.0
VU Programmiersprachen
2.03.0
PR Project in Computer Science 1
4.06.0
PR Project in Computer Science 2
4.06.0
VU 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
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
VO Typsysteme
2.03.0
VU Übersetzer für Parallele Systeme
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
VO 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
VO Frauen in Naturwissenschaft und Technik
2.03.0
VU Kommunikation und Moderation
2.03.0
SE Kommunikationstechnik
1.01.5
VU Kooperatives Arbeiten
2.03.0
VU Präsentation und Moderation
2.03.0
SE Privatissimum aus Fachdidaktik Informatik
4.04.0
VU Softskills für TechnikerInnen
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
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
Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten