066 931 Masterstudium Logic and Computation

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

2022W-2023S (2011U)

1. Semester

TitelAnm.Bed.StundenECTS
VU Algorithmics
4.06.0
186.814 VU 2022W
Algorithmics   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
VO Discrete Mathematics
4.04.0
UE Discrete Mathematics
2.55.0
VU Logic and Computability
4.06.0
VU Formal Methods in Computer Science
4.06.0

2. Semester

TitelAnm.Bed.StundenECTS
VU Knowledge-based Systems
4.06.0

Ohne Semesterempfehlung

TitelAnm.Bed.StundenECTS
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 Parallele Algorithmen
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: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.688 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A28 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.718 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
194.074 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.689 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A29 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.719 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
192.076 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.075 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 aus Algorithmik   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
2.03.0
VU Frontiers of Algorithms and Complexity
2.03.0
2.03.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
Seminar aus Artificial Intelligence   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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: Lehrveranstaltung wird überwiegend online abgehalten
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: Lehrveranstaltung wird überwiegend online abgehalten
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: Lehrveranstaltung wird überwiegend online abgehalten
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: Lehrveranstaltung wird überwiegend online abgehalten
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: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.688 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A28 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.718 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
194.074 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.689 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A29 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.719 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
192.076 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.075 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
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: Lehrveranstaltung wird überwiegend online abgehalten
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: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Molecular Computing
2.03.0
185.326 VU 2023S
Molecular Computing   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.688 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A28 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.718 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
194.074 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.689 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A29 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.719 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
192.076 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.075 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VO Refutation Systems
2.03.0
SE Seminar in Logic
2.03.0
184.264 SE 2022W
Seminar aus Logik   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
SE Seminar in Theoretical Computer Science
2.03.0
184.067 SE 2022W
Seminar aus Theoretischer Informatik   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
192.064 SE 2022W
Seminar in Theoretical Computer Science   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
UE Formale Methoden der Informatik
2.03.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
Codegeneratoren   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.688 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A28 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.718 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
194.074 PR 2022W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.689 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A29 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.719 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
192.076 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.075 PR 2022W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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: Lehrveranstaltung wird überwiegend online abgehalten
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
Stackbasierte Sprachen   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
SE Coaching als Führungsinstrument 2
2.03.0
SE Critical Algorithm Studies
2.03.0
SE Didaktik in der Informatik
2.03.0
184.228 SE 2022W
2.03.0
2.03.0
VO EDV-Vertragsrecht
1.01.5
280.239 VO 2022W
EDV-Vertragsrecht   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
Forschungsmethoden   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
Präsentation und Moderation   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
SE Privatissimum aus Fachdidaktik Informatik
4.04.0
192.100 SE 2023S
Privatissimum aus Fachdidaktik Informatik   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.04.0
VU Softskills für TechnikerInnen
2.03.0
2.03.0
181.208 VU 2022W
Softskills für TechnikerInnen   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
SE Seminar für Diplomand_innen
1.01.5

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