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
186.814 VU 2022W
4.06.0
Modul Algorithmics and Complexity
9.0
VU Advanced Algorithms
4.06.0
VU Algorithms in Graph Theory
3.04.5
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
182.702 VU 2023S
4.06.0
VU Fixed-Parameter Algorithms and Complexity
3.04.5
3.04.5
VU Graph Drawing Algorithms
3.04.5
192.053 VU 2023S
2.04.5
VU Heuristic Optimization Techniques
3.04.5
3.04.5
VU Mathematical Programming
2.03.0
186.835 VU 2023S
Mathematical Programming   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 2023S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 2023S
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 2023S
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 2023S
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
185.A36 PR 2023S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
184.718 PR 2023S
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
4.06.0
194.074 PR 2023S
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
191.120 PR 2023S
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
191.111 PR 2023S
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
PR Project in Computer Science 2
4.06.0
186.821 PR 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 2023S
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 2023S
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 2023S
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
185.A37 PR 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
184.719 PR 2023S
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
186.851 PR 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
192.076 PR 2023S
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 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
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
191.121 PR 2023S
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
182.086 VU 2023S
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
184.687 SE 2023S
2.03.0
VU Structural Decompositions and Algorithms
2.03.0
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
Prüfungsfach Knowledge Representation and Artificial Intelligence
Modul Knowledge-based Systems
6.0
VU Knowledge-based Systems
4.06.0
184.730 VU 2023S
4.06.0
Modul Knowledge Representation and Artificial Intelligence
9.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
2.03.0
2.03.0
2.03.0
2.03.0
SE Seminar in Databases
2.03.0
181.201 SE 2023S
2.03.0
181.201 SE 2022W
2.03.0
SE Seminar in Knowledge Representation and Reasoning
2.03.0
184.712 SE 2023S
Seminar in Knowledge Representation and Reasoning   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
2.03.0
VU Complexity Analysis
2.03.0
184.215 VU 2023S
Complexity Analysis   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
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
2.03.0
VU Media and Brain 2
2.03.0
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 2023S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 2023S
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 2023S
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 2023S
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
185.A36 PR 2023S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
184.718 PR 2023S
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
4.06.0
194.074 PR 2023S
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
191.120 PR 2023S
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
191.111 PR 2023S
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
PR Project in Computer Science 2
4.06.0
186.821 PR 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 2023S
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 2023S
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 2023S
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
185.A37 PR 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
184.719 PR 2023S
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
186.851 PR 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
192.076 PR 2023S
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 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
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
191.121 PR 2023S
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
192.116 VU 2023S
2.03.0
VU Mobile Robotik
3.04.5
183.660 VU 2023S
3.04.5
VU Theoretical Foundations and Research Topics in Machine Learning
2.03.0
2.03.0
2.03.0
VU Practical Applications of Answer Set Programming
2.03.0
VU Algorithmic Social Choice
4.06.0
192.118 VU 2023S
4.06.0
Prüfungsfach Logic, Mathematics, and Theoretical Computer Science
Modul Discrete Mathematics
9.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
Modul Logic and Computability
6.0
VU Logic and Computability
4.06.0
185.A45 VU 2022W
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
184.774 VU 2023S
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
192.115 VU 2023S
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
2.03.0
PR Project in Computer Science 1
4.06.0
186.820 PR 2023S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 2023S
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 2023S
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 2023S
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
185.A36 PR 2023S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
184.718 PR 2023S
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
4.06.0
194.074 PR 2023S
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
191.120 PR 2023S
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
191.111 PR 2023S
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
PR Project in Computer Science 2
4.06.0
186.821 PR 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 2023S
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 2023S
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 2023S
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
185.A37 PR 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
184.719 PR 2023S
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
186.851 PR 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
192.076 PR 2023S
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 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
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
191.121 PR 2023S
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
184.711 VU 2023S
Proof Systems in Modal Logic   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
181.206 SE 2023S
2.03.0
184.264 SE 2023S
Seminar aus Logik   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
184.264 SE 2022W
2.03.0
185.316 SE 2023S
Seminar aus Logik   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
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
192.078 VU 2023S
4.06.0
VU Temporal Logic
2.03.0
VU Term Rewriting
2.03.0
185.224 VU 2023S
2.03.0
VU Unification Theory
2.03.0
VU Deontic Logic for Normative Reasoning
2.03.0
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
4.06.0
4.06.0
UE Formale Methoden der Informatik
2.03.0
2.03.0
Modul Programming Languages and Verification
9.0
SE Advanced Model Engineering
2.03.0
188.953 SE 2023S
Advanced Model Engineering   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Advanced Model Engineering
2.03.0
188.952 VU 2023S
2.03.0
VU Advanced Multiprocessor Programming
3.04.5
3.04.5
VU Advanced Object-oriented Programming
2.03.0
2.03.0
VU Analyse und Verifikation
2.03.0
185.276 VU 2023S
2.03.0
VU Automated Reasoning and Program Verification
3.04.5
VU Computer-Aided Verification
2.03.0
181.145 VU 2023S
Computer Aided Verification   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 2023S
Computer-Aided Verification   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
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
4.06.0
VU Fortgeschrittene funktionale Programmierung
2.03.0
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
185.208 VU 2023S
2.03.0
PR Project in Computer Science 1
4.06.0
186.820 PR 2023S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 2023S
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 2023S
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 2023S
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
185.A36 PR 2023S
Project in Computer Science 1   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
184.718 PR 2023S
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
4.06.0
194.074 PR 2023S
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
191.120 PR 2023S
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
191.111 PR 2023S
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
PR Project in Computer Science 2
4.06.0
186.821 PR 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 2023S
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 2023S
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 2023S
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
185.A37 PR 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
4.06.0
184.719 PR 2023S
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
186.851 PR 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
192.076 PR 2023S
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 2023S
Project in Computer Science 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
4.06.0
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
191.121 PR 2023S
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
2.03.0
SE Seminar in Formal Methods
2.03.0
181.221 SE 2023S
Seminar Formale Methoden   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
184.749 VU 2023S
Semantik von Programmiersprachen   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
3.04.5
VU Software Model Checking
4.06.0
VU Software Testing
2.03.0
188.280 VU 2023S
Software Testing   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
183.290 VU 2022W
2.03.0
VU Stackbasierte Sprachen
2.03.0
185.310 VU 2022W
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
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
188.472 SE 2023S
Coaching als Führungsinstrument 2   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
SE Critical Algorithm Studies
2.03.0
SE Didaktik in der Informatik
2.03.0
184.228 SE 2023S
2.03.0
184.228 SE 2022W
2.03.0
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
194.057 VU 2023S
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 2023S
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
187.329 VU 2023S
Techniksoziologie und Technikpsychologie   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
abgesagt
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
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
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