066 931 Masterstudium Logic and Computation

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

2020W-2021S (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 2020W
Algorithmics   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
Modul Algorithmics and Complexity
9.0
VU Advanced Algorithms
2.03.0
VO Advanced Graph Theory
2.03.0
VU Algorithmic Geometry
2.03.0
186.122 VU 2020W
Algorithmic Geometry   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Algorithms in Graph Theory
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
181.142 VU 2020W
Komplexitätstheorie   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
SE Critical Algorithm Studies
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
186.855 VU 2020W
Fixed-Parameter Algorithms and Complexity   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Graph Drawing Algorithms
2.03.0
VU Heuristic Optimization Techniques
2.03.0
186.112 VU 2020W
Heuristic Optimization Techniques   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 Parallel Algorithms
2.03.0
184.727 VU 2020W
Parallele Algorithmen   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Problems in Distributed Computing
3.04.5
PR Project in Computer Science 1
4.06.0
186.820 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.688 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.692 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
188.936 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A28 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A36 PR 2021S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
184.718 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
194.074 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.053 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
191.120 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.058 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.061 PR 2021S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.061 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
191.111 PR 2021S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
4.06.0
PR Project in Computer Science 2
4.06.0
186.821 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.689 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.693 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A29 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A37 PR 2021S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
184.719 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
192.076 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.075 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.054 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
191.121 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.059 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.062 PR 2021S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.062 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
SE Seminar aus Algorithmik
2.03.0
184.754 SE 2020W
2.03.0
186.182 SE 2020W
Seminar aus Algorithmik   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
2.03.0
VU Structural Decompositions and 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 Theory of Knowledge Representation
2.03.0
184.186 VU 2020W
Theory of Knowledge Representation   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
SE Seminar in Artificial Intelligence
2.03.0
184.068 SE 2020W
Seminar aus Artificial Intelligence   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
192.086 SE 2021S
Seminar in Artificial Intelligence   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
194.103 SE 2020W
Seminar in Artificial Intelligence   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
SE Seminar in Databases
2.03.0
181.201 SE 2020W
Seminar aus Datenbanken   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
SE Seminar in Knowledge Representation and Reasoning
2.03.0
184.712 SE 2020W
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
184.205 VO 2020W
Verarbeitung deklarativen Wissens   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Self-Organizing Systems
3.04.5
188.413 VU 2020W
Selbstorganisierende Systeme   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
3.04.5
VU Abstract Argumentation
3.04.5
184.682 VU 2020W
Abstract Argumentation   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
3.04.5
VU Nonmonotonic Reasoning
2.03.0
VU Semantic Technologies
2.03.0
184.729 VU 2020W
Semantic Technologies   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VO Deductive Databases
2.03.0
192.067 VO 2020W
Deductive Databases   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VO Knowledge Management
2.03.0
188.483 VO 2020W
Knowledge Management   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
UE Knowledge Management
2.03.0
188.486 UE 2020W
Knowledge Management   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 2020W
Datenbanktheorie   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
184.702 VU 2020W
Machine Learning   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
3.04.5
VU Similarity Modeling 1
2.03.0
188.501 VU 2020W
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 2020W
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 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.688 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.692 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
188.936 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A28 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A36 PR 2021S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
184.718 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
194.074 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.053 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
191.120 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.058 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.061 PR 2021S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.061 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
191.111 PR 2021S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
4.06.0
PR Project in Computer Science 2
4.06.0
186.821 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.689 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.693 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A29 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A37 PR 2021S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
184.719 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
192.076 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.075 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.054 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
191.121 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.059 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.062 PR 2021S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.062 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
VU Advanced Regression and Classification
3.04.5
105.707 VU 2020W
Advanced Methods for Regression and Classification   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
3.04.5
VU Security, Privacy and Explainability in Machine Learning
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 2020W
Discrete Mathematics   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.04.0
UE Discrete Mathematics
2.55.0
104.272 UE 2020W
Discrete Mathematics   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.55.0
Modul Logic and Computability
6.0
VU Logic and Computability
4.06.0
185.A45 VU 2020W
Logic and Computability   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 2020W
Cryptocurrencies   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
VU Cryptography
2.03.0
VU Formal Language Theory
2.03.0
185.A42 VU 2020W
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
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 2020W
2.03.0
VU Membrane Computing
2.03.0
185.A70 VU 2020W
Membrane Computing   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Molecular Computing
2.03.0
185.326 VU 2021S
Molecular Computing   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Non-classical Logics
2.03.0
192.085 VU 2021S
Non-classical Logics Nichtklassische Logiken   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
PR Project in Computer Science 1
4.06.0
186.820 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.688 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.692 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
188.936 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A28 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A36 PR 2021S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
184.718 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
194.074 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.053 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
191.120 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.058 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.061 PR 2021S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.061 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
191.111 PR 2021S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
4.06.0
PR Project in Computer Science 2
4.06.0
186.821 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.689 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.693 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A29 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A37 PR 2021S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
184.719 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
192.076 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.075 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.054 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
191.121 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.059 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.062 PR 2021S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.062 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
VU Proof Systems in Modal Logic
2.03.0
VO Proof Theory 1
2.03.0
118.131 VO 2020W
2.03.0
VO Proof Theory 2
2.03.0
VU Quantum Computing
2.03.0
192.070 VU 2020W
Quantum Computing   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VO Refutation Systems
2.03.0
192.094 VO 2020W
Refutation Systems   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
SE Seminar in Logic
2.03.0
184.264 SE 2020W
Seminar aus Logik   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
185.316 SE 2021S
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 2020W
Seminar aus Theoretischer Informatik   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
2.03.0
192.074 SE 2020W
Seminar in Theoretical Computer Science   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Smart Contracts
4.06.0
192.078 VU 2021S
Smart Contracts   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
VU Temporal Logic
2.03.0
VU Term Rewriting
2.03.0
VU Unification Theory
2.03.0
VU Introduction to the Coq proof assistant
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
185.291 VU 2020W
Formale Methoden der Informatik   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
UE Formal Methods in Computer Science
2.03.0
185.A93 UE 2020W
Formale Methoden der Informatik   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 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
2.03.0
VU Computer-Aided Verification
2.03.0
UE Computer-Aided Verification
2.03.0
VO Codegeneratoren
2.03.0
185.416 VO 2020W
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 2020W
Effiziente Programme   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
184.725 VU 2020W
High Performance Computing Hochleistungsrechnen   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
3.04.5
VU Model Engineering
4.06.0
188.923 VU 2020W
Model Engineering   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
VU Optimierende Übersetzer
2.03.0
185.A04 VU 2020W
Optimierende Übersetzer   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Program Analysis
2.03.0
184.703 VU 2020W
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 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.688 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.692 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
188.936 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A28 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A36 PR 2021S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
184.718 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
194.074 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.053 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
191.120 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.058 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.061 PR 2021S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.061 PR 2020W
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
191.111 PR 2021S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
4.06.0
PR Project in Computer Science 2
4.06.0
186.821 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.689 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
184.693 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A29 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
185.A37 PR 2021S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
184.719 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
192.076 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.075 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.054 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
191.121 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.059 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.062 PR 2021S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
194.062 PR 2020W
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
VU Requirements Engineering and Specification
2.03.0
188.409 VU 2020W
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
181.221 SE 2020W
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
192.106 VU 2020W
Software Model Checking   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
VU Software Testing
2.03.0
183.290 VU 2020W
Software Testing   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Stackbasierte Sprachen
2.03.0
185.310 VU 2020W
Stackbasierte Sprachen   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VO Typsysteme
2.03.0
185.206 VO 2020W
Typsysteme   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Übersetzer für Parallele Systeme
2.03.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!
SE Coaching als Führungsinstrument 2
2.03.0
188.472 SE 2021S
Coaching als Führungsinstrument 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
SE Didaktik in der Informatik
2.03.0
184.228 SE 2020W
Didaktik in der Informatik   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
2.03.0
VO EDV-Vertragsrecht
1.01.5
280.239 VO 2021S
EDV-Vertragsrecht   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 2020W
Forschungsmethoden   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Kommunikation und Moderation
2.03.0
187.236 VU 2020W
Kommunikation und Moderation   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Kooperatives Arbeiten
2.03.0
VU Präsentation und Moderation
2.03.0
185.A62 VU 2020W
Präsentation und Moderation   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
PV Privatissimum aus Fachdidaktik Informatik
4.04.0
SE Privatissimum aus Fachdidaktik Informatik
4.04.0
192.100 SE 2021S
Privatissimum aus Fachdidaktik Informatik   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.04.0
SE Rechtsinformationsrecherche im Internet
2.03.0
VU Softskills für TechnikerInnen
2.03.0
181.208 VU 2021S
Softskills für TechnikerInnen   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
181.208 VU 2020W
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 Scientific Presentation and Communication
2.03.0
EX Exkursion
2.03.0
SE Kommunikation und Rhetorik 2
2.03.0
181.204 SE 2020W
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
180.773 SE 2020W
Seminar für Diplomand_innen für Logic and Computation   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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