066 931 Masterstudium Logic and Computation

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

2022W-2023S (2011U)

Ohne Semesterempfehlung

TitelAnm.Bed.StundenECTS
VU Algorithmics
4.06.0
186.814 VU 2022W
4.06.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
186.102 VU 2022W
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
184.727 VU 2022W
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
184.692 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
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
4.06.0
194.053 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
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
184.693 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
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
4.06.0
194.054 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
4.06.0
4.06.0
4.06.0
4.06.0
VU Real-Time Scheduling
2.03.0
SE Seminar in Algorithms
2.03.0
184.754 SE 2022W
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 Knowledge-based Systems
4.06.0
VU Advanced Methods for Regression and Classification
3.04.5
3.04.5
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
SE Seminar in Databases
2.03.0
181.201 SE 2022W
2.03.0
SE Seminar in Knowledge Representation and Reasoning
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 2022W
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
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
184.692 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
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
4.06.0
194.053 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
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
184.693 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
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
4.06.0
194.054 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
4.06.0
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
2.03.0
VU Practical Applications of Answer Set Programming
2.03.0
VU Algorithmic Social Choice
4.06.0
VO Discrete Mathematics
4.04.0
104.271 VO 2022W
4.04.0
UE Discrete Mathematics
2.55.0
104.272 UE 2022W
Discrete Mathematics   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.55.0
VU Logic and Computability
4.06.0
185.A45 VU 2022W
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
108.030 VO 2022W
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
184.692 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
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
4.06.0
194.053 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
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
184.693 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
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
4.06.0
194.054 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
4.06.0
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
118.131 VO 2022W
2.03.0
VO Proof Theory 2
2.03.0
118.211 VO 2023S
AKLOG: Beweistheorie 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Quantum Computing
2.03.0
192.070 VU 2022W
2.03.0
VO Refutation Systems
2.03.0
192.094 VO 2022W
2.03.0
SE Seminar in Logic
2.03.0
184.264 SE 2022W
2.03.0
192.132 SE 2022W
2.03.0
SE Seminar in Theoretical Computer Science
2.03.0
2.03.0
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
VU Formal Methods in Computer Science
4.06.0
4.06.0
UE Formale Methoden der Informatik
2.03.0
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
181.145 VU 2022W
Computer Aided Verification   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
UE Computer-Aided Verification
2.03.0
181.144 UE 2022W
Computer-Aided Verification   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VO Codegeneratoren
2.03.0
185.416 VO 2022W
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
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
184.703 VU 2022W
Programmanalyse   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
184.692 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
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
4.06.0
194.053 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
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
184.693 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
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
4.06.0
194.054 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
4.06.0
4.06.0
4.06.0
4.06.0
VU Requirements Engineering and Specification
2.03.0
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 2022W
Seminar Formale Methoden   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Semantik von Programmiersprachen
3.04.5
VU Software Model Checking
4.06.0
VU Software Testing
2.03.0
183.290 VU 2022W
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
180.773 SE 2022W
Seminar für Diplomand_innen für Logic and Computation   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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