066 931 Masterstudium Logic and Computation

Strukturansicht
Semesteransicht

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

2019W-2020S (2011U)

Titel	Anm.Bed.	Stunden	ECTS
Masterstudium Logic and Computation			120.0
Prüfungsfach Algorithms and Complexity
Modul Algorithmics			6.0
VU Algorithmics		4.0	6.0
186.814 VU 2019W Algorithmics		4.0	6.0
Modul Algorithmics and Complexity			9.0
VU Advanced Algorithms		2.0	3.0
VU Algorithmic Game Theory		2.0	3.0
VU Algorithms in Graph Theory		2.0	3.0
VU Algorithmic Geometry		2.0	3.0
186.122 VU 2019W Algorithmic Geometry		2.0	3.0
VO Analysis of Algorithms		3.0	5.0
UE Analysis of Algorithms		2.0	4.0
VU Approximation Algorithms		2.0	3.0
186.102 VU 2019W Approximation Algorithms		2.0	3.0
VU Complexity Theory		2.0	3.0
181.142 VU 2019W Komplexitätstheorie		2.0	3.0
VU Discrete Reasoning Methods		2.0	3.0
VU Distributed Algorithms		4.0	6.0
182.702 VU 2020S Distributed Algorithms		4.0	6.0
VU Fixed-Parameter Algorithms and Complexity		2.0	3.0
186.855 VU 2019W Fixed-Parameter Algorithms and Complexity		2.0	3.0
VU Graph Drawing Algorithms		2.0	3.0
192.053 VU 2020S Graph Drawing Algorithms		2.0	3.0
VU Heuristic Optimization Techniques		2.0	3.0
186.112 VU 2019W Heuristic Optimization Techniques		2.0	3.0
VU Mathematical Programming		2.0	3.0
186.835 VU 2020S Mathematical Programming		2.0	3.0
VU Modeling and Solving Constrained Optimization Problems		2.0	3.0
186.861 VU 2020S Modeling and Solving Constrained Optimization Problems		2.0	3.0
VU Networks: Design and Analysis		2.0	3.0
186.812 VU 2020S Networks: Design and Analysis		2.0	3.0
VU Optimization in Transport and Logistics		2.0	3.0
VU Parallel Algorithms		2.0	3.0
184.727 VU 2019W Parallele Algorithmen		2.0	3.0
VU Problems in Distributed Computing		3.0	4.5
182.703 VU 2019W Problems in Distributed Computing		3.0	4.5
PR Project in Computer Science 1		4.0	6.0
186.820 PR 2020S Project in Computer Science 1		4.0	6.0
186.820 PR 2019W Project in Computer Science 1		4.0	6.0
184.688 PR 2020S Project in Computer Science 1		4.0	6.0
184.688 PR 2019W Project in Computer Science 1		4.0	6.0
184.692 PR 2020S Project in Computer Science 1		4.0	6.0
184.692 PR 2019W Project in Computer Science 1		4.0	6.0
188.936 PR 2019W Project in Computer Science 1		4.0	6.0
185.A28 PR 2020S Project in Computer Science 1		4.0	6.0
185.A28 PR 2019W Project in Computer Science 1		4.0	6.0
185.A36 PR 2020S Project in Computer Science 1		4.0	6.0
185.A36 PR 2019W Project in Computer Science 1		4.0	6.0
184.718 PR 2020S Project in Computer Science 1		4.0	6.0
184.718 PR 2019W Project in Computer Science 1		4.0	6.0
192.075 PR 2020S Project in Computer Science 1		4.0	6.0
192.075 PR 2019W Project in Computer Science 1		4.0	6.0
194.074 PR 2020S Project in Computer Science 1		4.0	6.0
194.074 PR 2019W Project in Computer Science 1		4.0	6.0
193.061 PR 2019W Project in Computer Science 1		4.0	6.0
194.053 PR 2020S Project in Computer Science 1		4.0	6.0
194.053 PR 2019W Project in Computer Science 1		4.0	6.0
194.079 PR 2020S Project in Computer Science 1		4.0	6.0
194.079 PR 2019W Project in Computer Science 1		4.0	6.0
191.120 PR 2020S Project in Computer Science 1		4.0	6.0
194.058 PR 2020S Project in Computer Science 1		4.0	6.0
194.058 PR 2019W Project in Computer Science 1		4.0	6.0
194.061 PR 2020S Project in Computer Science 1		4.0	6.0
194.061 PR 2019W Project in Computer Science 1		4.0	6.0
191.111 PR 2020S Project in Computer Science 1		4.0	6.0
191.111 PR 2019W Project in Computer Science 1		4.0	6.0
PR Project in Computer Science 2		4.0	6.0
186.821 PR 2020S Project in Computer Science 2		4.0	6.0
186.821 PR 2019W Project in Computer Science 2		4.0	6.0
184.689 PR 2020S Project in Computer Science 2		4.0	6.0
184.689 PR 2019W Project in Computer Science 2		4.0	6.0
184.693 PR 2020S Project in Computer Science 2		4.0	6.0
184.693 PR 2019W Project in Computer Science 2		4.0	6.0
185.A29 PR 2020S Project in Computer Science 2		4.0	6.0
185.A29 PR 2019W Project in Computer Science 2		4.0	6.0
185.A37 PR 2020S Project in Computer Science 2		4.0	6.0
185.A37 PR 2019W Project in Computer Science 2		4.0	6.0
184.719 PR 2020S Project in Computer Science 2		4.0	6.0
184.719 PR 2019W Project in Computer Science 2		4.0	6.0
186.851 PR 2020S Project in Computer Science 2		4.0	6.0
192.076 PR 2020S Project in Computer Science 2		4.0	6.0
192.076 PR 2019W Project in Computer Science 2		4.0	6.0
194.075 PR 2020S Project in Computer Science 2		4.0	6.0
194.075 PR 2019W Project in Computer Science 2		4.0	6.0
194.054 PR 2020S Project in Computer Science 2		4.0	6.0
194.054 PR 2019W Project in Computer Science 2		4.0	6.0
194.080 PR 2020S Project in Computer Science 2		4.0	6.0
194.080 PR 2019W Project in Computer Science 2		4.0	6.0
191.121 PR 2020S Project in Computer Science 2		4.0	6.0
194.059 PR 2020S Project in Computer Science 2		4.0	6.0
194.059 PR 2019W Project in Computer Science 2		4.0	6.0
194.062 PR 2020S Project in Computer Science 2		4.0	6.0
194.062 PR 2019W Project in Computer Science 2		4.0	6.0
VU Real-Time Scheduling		2.0	3.0
182.086 VU 2020S Real-Time Scheduling		2.0	3.0
SE Seminar in Algorithms		2.0	3.0
SE Seminar in Complexity Theory		2.0	3.0
184.687 SE 2019W Seminar in Complexity Theory abgesagt		2.0	3.0
VU Structural Decompositions and Algorithms		2.0	3.0
186.856 VU 2020S Structural Decompositions and Algorithms		2.0	3.0
SE Seminar aus Algorithmik		2.0	3.0
184.754 SE 2019W Seminar aus Algorithmik		2.0	3.0
186.182 SE 2020S Seminar aus Algorithmik		2.0	3.0
186.182 SE 2019W Seminar aus Algorithmik		2.0	3.0
186.862 SE 2019W Seminar aus Algorithmik Graphen und Geometrie		2.0	3.0
VO Advanced Graph Theory		2.0	3.0
SE Critical Algorithm Studies		2.0	3.0
Prüfungsfach Knowledge Representation and Artificial Intelligence
Modul Knowledge-based Systems			6.0
VU Knowledge-based Systems		4.0	6.0
184.730 VU 2020S Knowledge-based Systems		4.0	6.0
Modul Knowledge Representation and Artificial Intelligence			9.0
VU Theory of Knowledge Representation		2.0	3.0
184.186 VU 2019W Theory of Knowledge Representation		2.0	3.0
SE Seminar in Artificial Intelligence		2.0	3.0
181.034 SE 2020S Seminar aus Artificial Intelligence		2.0	3.0
184.068 SE 2020S Seminar aus Artificial Intelligence		2.0	3.0
184.068 SE 2019W Seminar aus Artificial Intelligence		2.0	3.0
188.962 SE 2020S Seminar in Artificial Intelligence		2.0	3.0
192.086 SE 2020S Seminar in Artificial Intelligence		2.0	3.0
SE Seminar in Databases		2.0	3.0
181.201 SE 2019W Seminar aus Datenbanken		2.0	3.0
SE Seminar in Knowledge Representation and Reasoning		2.0	3.0
184.712 SE 2020S Seminar in Knowledge Representation and Reasoning		2.0	3.0
184.712 SE 2019W Seminar in Knowledge Representation and Reasoning		2.0	3.0
VO Processing of Declarative Knowledge		2.0	3.0
184.205 VO 2019W Verarbeitung deklarativen Wissens		2.0	3.0
VU Self-Organizing Systems		3.0	4.5
188.413 VU 2019W Selbstorganisierende Systeme		3.0	4.5
VU Semantic Web Technologies		2.0	3.0
184.729 VU 2020S Semantic Web Technologies		2.0	3.0
VU Abstract Argumentation		3.0	4.5
184.682 VU 2019W Abstract Argumentation		3.0	4.5
VU Nonmonotonic Reasoning		2.0	3.0
VO Deductive Databases		2.0	3.0
192.067 VO 2019W Deductive Databases		2.0	3.0
VO Knowledge Management		2.0	3.0
188.483 VO 2019W Knowledge Management		2.0	3.0
UE Knowledge Management		2.0	3.0
188.486 UE 2019W Knowledge Management		2.0	3.0
VU SAT Solving and Extensions		2.0	3.0
VU Complexity Analysis		2.0	3.0
184.215 VU 2020S Complexity Analysis		2.0	3.0
VU Database Theory		2.0	3.0
181.140 VU 2019W Datenbanktheorie		2.0	3.0
VU Information Design		3.0	4.5
VU Advanced Logic Programming		2.0	3.0
VU Problem Solving and Search in Artificial Intelligence		2.0	3.0
181.190 VU 2020S Problem Solving and Search in Artificial Intelligence		2.0	3.0
VO Planning in Artificial Intelligence		2.0	3.0
VU Preferences in Artificial Intelligence		2.0	3.0
184.768 VU 2020S Preferences in Artificial Intelligence		2.0	3.0
VU Machine Learning		3.0	4.5
184.702 VU 2020S Machine Learning		3.0	4.5
184.702 VU 2019W Machine Learning		3.0	4.5
VU Similarity Modeling 1		2.0	3.0
188.501 VU 2019W Similarity Modeling 1 - Computational Seeing and Hearing		2.0	3.0
VU Similarity Modeling 2		2.0	3.0
188.498 VU 2019W Similarity Modeling 2 - Computational Seeing and Hearing		2.0	3.0
VU Media and Brain 1		2.0	3.0
188.502 VU 2020S Media and Brain 1 Künstliches Bewusstsein		2.0	3.0
VU Media and Brain 2		2.0	3.0
188.499 VU 2020S Media and Brain 2 Künstliches Bewusstsein		2.0	3.0
VU Probablistic Reasoning		2.0	3.0
VU Description Logics and Ontologies		2.0	3.0
184.772 VU 2020S Description Logics and Ontologies		2.0	3.0
184.772 VU 2019W Description Logics and Ontologies		2.0	3.0
PR Project in Computer Science 1		4.0	6.0
186.820 PR 2020S Project in Computer Science 1		4.0	6.0
186.820 PR 2019W Project in Computer Science 1		4.0	6.0
184.688 PR 2020S Project in Computer Science 1		4.0	6.0
184.688 PR 2019W Project in Computer Science 1		4.0	6.0
184.692 PR 2020S Project in Computer Science 1		4.0	6.0
184.692 PR 2019W Project in Computer Science 1		4.0	6.0
188.936 PR 2019W Project in Computer Science 1		4.0	6.0
185.A28 PR 2020S Project in Computer Science 1		4.0	6.0
185.A28 PR 2019W Project in Computer Science 1		4.0	6.0
185.A36 PR 2020S Project in Computer Science 1		4.0	6.0
185.A36 PR 2019W Project in Computer Science 1		4.0	6.0
184.718 PR 2020S Project in Computer Science 1		4.0	6.0
184.718 PR 2019W Project in Computer Science 1		4.0	6.0
192.075 PR 2020S Project in Computer Science 1		4.0	6.0
192.075 PR 2019W Project in Computer Science 1		4.0	6.0
194.074 PR 2020S Project in Computer Science 1		4.0	6.0
194.074 PR 2019W Project in Computer Science 1		4.0	6.0
193.061 PR 2019W Project in Computer Science 1		4.0	6.0
194.053 PR 2020S Project in Computer Science 1		4.0	6.0
194.053 PR 2019W Project in Computer Science 1		4.0	6.0
194.079 PR 2020S Project in Computer Science 1		4.0	6.0
194.079 PR 2019W Project in Computer Science 1		4.0	6.0
191.120 PR 2020S Project in Computer Science 1		4.0	6.0
194.058 PR 2020S Project in Computer Science 1		4.0	6.0
194.058 PR 2019W Project in Computer Science 1		4.0	6.0
194.061 PR 2020S Project in Computer Science 1		4.0	6.0
194.061 PR 2019W Project in Computer Science 1		4.0	6.0
191.111 PR 2020S Project in Computer Science 1		4.0	6.0
191.111 PR 2019W Project in Computer Science 1		4.0	6.0
VU Algorithmic Social Choice		2.0	3.0
192.099 VU 2020S Algorithmic Social Choice		2.0	3.0
VU Advanced Regression and Classification		3.0	4.5
105.707 VU 2019W Advanced Methods for Regression and Classification		3.0	4.5
PR Project in Computer Science 2		4.0	6.0
186.821 PR 2020S Project in Computer Science 2		4.0	6.0
186.821 PR 2019W Project in Computer Science 2		4.0	6.0
184.689 PR 2020S Project in Computer Science 2		4.0	6.0
184.689 PR 2019W Project in Computer Science 2		4.0	6.0
184.693 PR 2020S Project in Computer Science 2		4.0	6.0
184.693 PR 2019W Project in Computer Science 2		4.0	6.0
185.A29 PR 2020S Project in Computer Science 2		4.0	6.0
185.A29 PR 2019W Project in Computer Science 2		4.0	6.0
185.A37 PR 2020S Project in Computer Science 2		4.0	6.0
185.A37 PR 2019W Project in Computer Science 2		4.0	6.0
184.719 PR 2020S Project in Computer Science 2		4.0	6.0
184.719 PR 2019W Project in Computer Science 2		4.0	6.0
186.851 PR 2020S Project in Computer Science 2		4.0	6.0
192.076 PR 2020S Project in Computer Science 2		4.0	6.0
192.076 PR 2019W Project in Computer Science 2		4.0	6.0
194.075 PR 2020S Project in Computer Science 2		4.0	6.0
194.075 PR 2019W Project in Computer Science 2		4.0	6.0
194.054 PR 2020S Project in Computer Science 2		4.0	6.0
194.054 PR 2019W Project in Computer Science 2		4.0	6.0
194.080 PR 2020S Project in Computer Science 2		4.0	6.0
194.080 PR 2019W Project in Computer Science 2		4.0	6.0
191.121 PR 2020S Project in Computer Science 2		4.0	6.0
194.059 PR 2020S Project in Computer Science 2		4.0	6.0
194.059 PR 2019W Project in Computer Science 2		4.0	6.0
194.062 PR 2020S Project in Computer Science 2		4.0	6.0
194.062 PR 2019W Project in Computer Science 2		4.0	6.0
VU Practical Applications of Answer Set Programming		2.0	3.0
192.084 VU 2020S Practical Applications of Answer Set Programming		2.0	3.0
VU Security, Privacy and Explainability in Machine Learning		2.0	3.0
194.055 VU 2020S Sicherheit, Privacy und Erklärbarkeit in Maschinellem Lernen		2.0	3.0
Prüfungsfach Logic, Mathematics, and Theoretical Computer Science
Modul Discrete Mathematics			9.0
VO Discrete Mathematics		4.0	4.0
104.271 VO 2019W Discrete Mathematics		4.0	4.0
UE Discrete Mathematics		2.5	5.0
104.272 UE 2019W Discrete Mathematics		2.5	5.0
Modul Logic and Computability			6.0
VU Logic and Computability		4.0	6.0
185.A45 VU 2019W Logic and Computability		4.0	6.0
Modul Logic, Mathematics, and Theoretical Computer Science			9.0
VU Advanced Mathematical Logic		2.0	3.0
104.394 VU 2020S Advanced Mathematical Logic		2.0	3.0
VU Advanced Topics in Formal Language Theory		2.0	3.0
VU Automated Deduction		4.0	6.0
184.774 VU 2020S Automated Deduction		4.0	6.0
VO Complex Analysis		4.0	5.0
UE Complex Analysis		1.0	2.0
VU Computability Theory		2.0	3.0
185.203 VU 2020S Theorie der Berechenbarkeit		2.0	3.0
VU Cryptography		2.0	3.0
VU Cryptocurrencies		4.0	6.0
192.065 VU 2019W Cryptocurrencies		4.0	6.0
VU Formal Language Theory		2.0	3.0
185.A42 VU 2019W Formal Language Theory		2.0	3.0
VO Functional Analysis 1		4.0	5.0
UE Functional Analysis 1		1.0	2.0
101.341 UE 2020S Funktionalanalysis 1 UE		1.0	2.0
VU Fuzzy Logic		2.0	3.0
VU Higher-order Logic		2.0	3.0
VO History of Logic		2.0	3.0
VO Lambda Calculus		2.0	3.0
108.030 VO 2019W AKLOG: Lambda Kalkül		2.0	3.0
VU Membrane Computing		2.0	3.0
185.A70 VU 2019W Membrane Computing		2.0	3.0
VU Molecular Computing		2.0	3.0
185.326 VU 2020S Molecular Computing		2.0	3.0
VU Non-classical Logics		2.0	3.0
192.085 VU 2020S Non-classical Logics Nichtklassische Logiken		2.0	3.0
PR Project in Computer Science 1		4.0	6.0
186.820 PR 2020S Project in Computer Science 1		4.0	6.0
186.820 PR 2019W Project in Computer Science 1		4.0	6.0
184.688 PR 2020S Project in Computer Science 1		4.0	6.0
184.688 PR 2019W Project in Computer Science 1		4.0	6.0
184.692 PR 2020S Project in Computer Science 1		4.0	6.0
184.692 PR 2019W Project in Computer Science 1		4.0	6.0
188.936 PR 2019W Project in Computer Science 1		4.0	6.0
185.A28 PR 2020S Project in Computer Science 1		4.0	6.0
185.A28 PR 2019W Project in Computer Science 1		4.0	6.0
185.A36 PR 2020S Project in Computer Science 1		4.0	6.0
185.A36 PR 2019W Project in Computer Science 1		4.0	6.0
184.718 PR 2020S Project in Computer Science 1		4.0	6.0
184.718 PR 2019W Project in Computer Science 1		4.0	6.0
192.075 PR 2020S Project in Computer Science 1		4.0	6.0
192.075 PR 2019W Project in Computer Science 1		4.0	6.0
194.074 PR 2020S Project in Computer Science 1		4.0	6.0
194.074 PR 2019W Project in Computer Science 1		4.0	6.0
193.061 PR 2019W Project in Computer Science 1		4.0	6.0
194.053 PR 2020S Project in Computer Science 1		4.0	6.0
194.053 PR 2019W Project in Computer Science 1		4.0	6.0
194.079 PR 2020S Project in Computer Science 1		4.0	6.0
194.079 PR 2019W Project in Computer Science 1		4.0	6.0
191.120 PR 2020S Project in Computer Science 1		4.0	6.0
194.058 PR 2020S Project in Computer Science 1		4.0	6.0
194.058 PR 2019W Project in Computer Science 1		4.0	6.0
194.061 PR 2020S Project in Computer Science 1		4.0	6.0
194.061 PR 2019W Project in Computer Science 1		4.0	6.0
191.111 PR 2020S Project in Computer Science 1		4.0	6.0
191.111 PR 2019W Project in Computer Science 1		4.0	6.0
PR Project in Computer Science 2		4.0	6.0
186.821 PR 2020S Project in Computer Science 2		4.0	6.0
186.821 PR 2019W Project in Computer Science 2		4.0	6.0
184.689 PR 2020S Project in Computer Science 2		4.0	6.0
184.689 PR 2019W Project in Computer Science 2		4.0	6.0
184.693 PR 2020S Project in Computer Science 2		4.0	6.0
184.693 PR 2019W Project in Computer Science 2		4.0	6.0
185.A29 PR 2020S Project in Computer Science 2		4.0	6.0
185.A29 PR 2019W Project in Computer Science 2		4.0	6.0
185.A37 PR 2020S Project in Computer Science 2		4.0	6.0
185.A37 PR 2019W Project in Computer Science 2		4.0	6.0
184.719 PR 2020S Project in Computer Science 2		4.0	6.0
184.719 PR 2019W Project in Computer Science 2		4.0	6.0
186.851 PR 2020S Project in Computer Science 2		4.0	6.0
192.076 PR 2020S Project in Computer Science 2		4.0	6.0
192.076 PR 2019W Project in Computer Science 2		4.0	6.0
194.075 PR 2020S Project in Computer Science 2		4.0	6.0
194.075 PR 2019W Project in Computer Science 2		4.0	6.0
194.054 PR 2020S Project in Computer Science 2		4.0	6.0
194.054 PR 2019W Project in Computer Science 2		4.0	6.0
194.080 PR 2020S Project in Computer Science 2		4.0	6.0
194.080 PR 2019W Project in Computer Science 2		4.0	6.0
191.121 PR 2020S Project in Computer Science 2		4.0	6.0
194.059 PR 2020S Project in Computer Science 2		4.0	6.0
194.059 PR 2019W Project in Computer Science 2		4.0	6.0
194.062 PR 2020S Project in Computer Science 2		4.0	6.0
194.062 PR 2019W Project in Computer Science 2		4.0	6.0
VU Proof Systems in Modal Logic		2.0	3.0
184.711 VU 2020S Proof Systems in Modal Logic		2.0	3.0
VO Proof Theory 1		2.0	3.0
118.131 VO 2019W AKLOG. Beweistheorie 1		2.0	3.0
VO Proof Theory 2		2.0	3.0
118.211 VO 2020S AKLOG: Beweistheorie 2		2.0	3.0
VU Quantum Computing		2.0	3.0
192.070 VU 2019W Quantum Computing		2.0	3.0
VO Refutation Systems		2.0	3.0
192.094 VO 2019W Refutation Systems		2.0	3.0
SE Seminar in Logic		2.0	3.0
181.206 SE 2020S Seminar aus Logik		2.0	3.0
184.264 SE 2020S Seminar aus Logik		2.0	3.0
184.264 SE 2019W Seminar aus Logik		2.0	3.0
185.316 SE 2020S Seminar aus Logik		2.0	3.0
SE Seminar in Theoretical Computer Science		2.0	3.0
184.067 SE 2020S Seminar aus Theoretischer Informatik		2.0	3.0
184.067 SE 2019W Seminar aus Theoretischer Informatik		2.0	3.0
184.753 SE 2019W Seminar in Theoretical Computer Science		2.0	3.0
192.064 SE 2019W Seminar in Theoretical Computer Science abgesagt		2.0	3.0
VU Smart Contracts		4.0	6.0
192.078 VU 2020S Smart Contracts		4.0	6.0
VU Temporal Logic		2.0	3.0
VU Term Rewriting		2.0	3.0
185.224 VU 2020S Termersetzungssysteme		2.0	3.0
VU Introduction to the Coq proof assistant		2.0	3.0
192.098 VU 2020S Introduction to the Coq proof assistant		2.0	3.0
VU Unification Theory		2.0	3.0
Prüfungsfach Programming Languages and Verification
Modul Formal Methods in Computer Science			9.0
VU Formal Methods in Computer Science		4.0	6.0
185.291 VU 2020S Formale Methoden der Informatik abgesagt		4.0	6.0
185.291 VU 2019W Formale Methoden der Informatik		4.0	6.0
UE Formal Methods in Computer Science		2.0	3.0
185.A93 UE 2019W Formale Methoden der Informatik		2.0	3.0
Modul Programming Languages and Verification			9.0
SE Advanced Model Engineering		2.0	3.0
VU Advanced Model Engineering		2.0	3.0
VU Advanced Object-oriented Programming		2.0	3.0
185.211 VU 2020S Fortgeschrittene objektorientierte Programmierung		2.0	3.0
VU Analyse und Verifikation		2.0	3.0
185.276 VU 2020S Analyse und Verifikation		2.0	3.0
VU Automated Reasoning and Program Verification		2.0	3.0
VU Computer-Aided Verification		2.0	3.0
181.145 VU 2020S Computer Aided Verification		2.0	3.0
UE Computer-Aided Verification		2.0	3.0
181.144 UE 2020S Computer-Aided Verification		2.0	3.0
VO Codegeneratoren		2.0	3.0
185.416 VO 2019W Codegeneratoren		2.0	3.0
VU Deductive Verification of Software		4.0	6.0
VU Dynamic Compilation		2.0	3.0
185.A50 VU 2020S Dynamic Compilation Dynamische Übersetzer		2.0	3.0
VU Effiziente Programme		2.0	3.0
185.190 VU 2019W Effiziente Programme		2.0	3.0
VU Formal Methods for Security and Privacy		4.0	6.0
192.059 VU 2020S Formal Methods for Security and Privacy		4.0	6.0
VU Fortgeschrittene funktionale Programmierung		2.0	3.0
185.A05 VU 2020S Fortgeschrittene funktionale Programmierung		2.0	3.0
VU High Performance Computing		3.0	4.5
184.725 VU 2019W High Performance Computing Hochleistungsrechnen		3.0	4.5
VU Model Engineering		4.0	6.0
188.923 VU 2019W Model Engineering		4.0	6.0
VU Optimierende Übersetzer		2.0	3.0
185.A04 VU 2019W Optimierende Übersetzer		2.0	3.0
VU Program Analysis		2.0	3.0
184.703 VU 2019W Programmanalyse		2.0	3.0
VU Programmiersprachen		2.0	3.0
185.208 VU 2020S Programmiersprachen		2.0	3.0
PR Project in Computer Science 1		4.0	6.0
186.820 PR 2020S Project in Computer Science 1		4.0	6.0
186.820 PR 2019W Project in Computer Science 1		4.0	6.0
184.688 PR 2020S Project in Computer Science 1		4.0	6.0
184.688 PR 2019W Project in Computer Science 1		4.0	6.0
184.692 PR 2020S Project in Computer Science 1		4.0	6.0
184.692 PR 2019W Project in Computer Science 1		4.0	6.0
188.936 PR 2019W Project in Computer Science 1		4.0	6.0
185.A28 PR 2020S Project in Computer Science 1		4.0	6.0
185.A28 PR 2019W Project in Computer Science 1		4.0	6.0
185.A36 PR 2020S Project in Computer Science 1		4.0	6.0
185.A36 PR 2019W Project in Computer Science 1		4.0	6.0
184.718 PR 2020S Project in Computer Science 1		4.0	6.0
184.718 PR 2019W Project in Computer Science 1		4.0	6.0
192.075 PR 2020S Project in Computer Science 1		4.0	6.0
192.075 PR 2019W Project in Computer Science 1		4.0	6.0
194.074 PR 2020S Project in Computer Science 1		4.0	6.0
194.074 PR 2019W Project in Computer Science 1		4.0	6.0
193.061 PR 2019W Project in Computer Science 1		4.0	6.0
194.053 PR 2020S Project in Computer Science 1		4.0	6.0
194.053 PR 2019W Project in Computer Science 1		4.0	6.0
194.079 PR 2020S Project in Computer Science 1		4.0	6.0
194.079 PR 2019W Project in Computer Science 1		4.0	6.0
191.120 PR 2020S Project in Computer Science 1		4.0	6.0
194.058 PR 2020S Project in Computer Science 1		4.0	6.0
194.058 PR 2019W Project in Computer Science 1		4.0	6.0
194.061 PR 2020S Project in Computer Science 1		4.0	6.0
194.061 PR 2019W Project in Computer Science 1		4.0	6.0
191.111 PR 2020S Project in Computer Science 1		4.0	6.0
191.111 PR 2019W Project in Computer Science 1		4.0	6.0
PR Project in Computer Science 2		4.0	6.0
186.821 PR 2020S Project in Computer Science 2		4.0	6.0
186.821 PR 2019W Project in Computer Science 2		4.0	6.0
184.689 PR 2020S Project in Computer Science 2		4.0	6.0
184.689 PR 2019W Project in Computer Science 2		4.0	6.0
184.693 PR 2020S Project in Computer Science 2		4.0	6.0
184.693 PR 2019W Project in Computer Science 2		4.0	6.0
185.A29 PR 2020S Project in Computer Science 2		4.0	6.0
185.A29 PR 2019W Project in Computer Science 2		4.0	6.0
185.A37 PR 2020S Project in Computer Science 2		4.0	6.0
185.A37 PR 2019W Project in Computer Science 2		4.0	6.0
184.719 PR 2020S Project in Computer Science 2		4.0	6.0
184.719 PR 2019W Project in Computer Science 2		4.0	6.0
186.851 PR 2020S Project in Computer Science 2		4.0	6.0
192.076 PR 2020S Project in Computer Science 2		4.0	6.0
192.076 PR 2019W Project in Computer Science 2		4.0	6.0
194.075 PR 2020S Project in Computer Science 2		4.0	6.0
194.075 PR 2019W Project in Computer Science 2		4.0	6.0
194.054 PR 2020S Project in Computer Science 2		4.0	6.0
194.054 PR 2019W Project in Computer Science 2		4.0	6.0
194.080 PR 2020S Project in Computer Science 2		4.0	6.0
194.080 PR 2019W Project in Computer Science 2		4.0	6.0
191.121 PR 2020S Project in Computer Science 2		4.0	6.0
194.059 PR 2020S Project in Computer Science 2		4.0	6.0
194.059 PR 2019W Project in Computer Science 2		4.0	6.0
194.062 PR 2020S Project in Computer Science 2		4.0	6.0
194.062 PR 2019W Project in Computer Science 2		4.0	6.0
VU Requirements Engineering and Specification		2.0	3.0
188.409 VU 2019W Requirements Engineering and Specification		2.0	3.0
VU Runtime Verification		4.0	6.0
SE Seminar aus Programmiersprachen		2.0	3.0
185.307 SE 2020S Seminar aus Programmiersprachen		2.0	3.0
185.307 SE 2019W Seminar aus Programmiersprachen		2.0	3.0
SE Seminar in Formal Methods		2.0	3.0
181.221 SE 2020S Seminar Formale Methoden		2.0	3.0
181.221 SE 2019W Seminar Formale Methoden		2.0	3.0
VU Semantik von Programmiersprachen		3.0	4.5
184.749 VU 2020S Semantik von Programmiersprachen		3.0	4.5
VU Software Model Checking		4.0	6.0
VU Software Testing		2.0	3.0
188.280 VU 2020S Software Testing		2.0	3.0
183.290 VU 2019W Software Testing		2.0	3.0
VU Stackbasierte Sprachen		2.0	3.0
185.310 VU 2019W Stackbasierte Sprachen		2.0	3.0
VO Typsysteme		2.0	3.0
185.206 VO 2019W Typsysteme		2.0	3.0
VU Weiterführende Multiprocessor Programmierung		3.0	4.5
184.726 VU 2020S Weiterführende Multiprocessor Programmierung		3.0	4.5
VU Übersetzer für Parallele Systeme		2.0	3.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!		9.0
SE Coaching als Führungsinstrument 2		2.0	3.0
188.472 SE 2020S Coaching als Führungsinstrument 2		2.0	3.0
SE Didaktik in der Informatik		2.0	3.0
184.228 SE 2020S Didaktik in der Informatik		2.0	3.0
184.228 SE 2019W Didaktik in der Informatik		2.0	3.0
194.042 SE 2020S Didaktik in der Informatik , Abenteuer Informatik		2.0	3.0
194.042 SE 2019W Didaktik in der Informatik , Abenteuer Informatik		2.0	3.0
VO EDV-Vertragsrecht		1.0	1.5
280.239 VO 2020S EDV-Vertragsrecht		1.0	1.5
280.239 VO 2019W EDV-Vertragsrecht		1.0	1.5
VO Einführung in Technik und Gesellschaft		2.0	3.0
SE Folgenabschätzung von Informationstechnologien		2.0	3.0
VU Forschungsmethoden		2.0	3.0
183.234 VU 2019W Forschungsmethoden		2.0	3.0
185.A34 VU 2019W Forschungsmethoden		2.0	3.0
194.057 VU 2020S Forschungsmethoden		2.0	3.0
VU Kommunikation und Moderation		2.0	3.0
187.236 VU 2020S Kommunikation und Moderation		2.0	3.0
187.236 VU 2019W Kommunikation und Moderation		2.0	3.0
VU Kooperatives Arbeiten		2.0	3.0
PV Privatissimum aus Fachdidaktik Informatik		4.0	4.0
185.341 PV 2020S Privatissimum aus Fachdidaktik Informatik		4.0	4.0
SE Rechtsinformationsrecherche im Internet		2.0	3.0
VU Präsentation und Moderation		2.0	3.0
185.A62 VU 2019W Präsentation und Moderation		2.0	3.0
SE Privatissimum aus Fachdidaktik Informatik		4.0	4.0
192.100 SE 2020S Privatissimum aus Fachdidaktik Informatik		4.0	4.0
EX Exkursion		2.0	3.0
193.057 EX 2019W Exkursion		2.0	3.0
SE Wissenschaftliche Methodik		2.0	3.0
185.A77 SE 2020S Wissenschaftliche Methodik		2.0	3.0
SE Scientific Presentation and Communication		2.0	3.0
VU Softskills für TechnikerInnen		2.0	3.0
181.208 VU 2020S Softskills für TechnikerInnen		2.0	3.0
181.208 VU 2019W Softskills für TechnikerInnen		2.0	3.0
SE Kommunikation und Rhetorik 2		2.0	3.0
181.204 SE 2019W Kommunikation und Rhetorik 2		2.0	3.0
SE Critical Algorithm Studies		2.0	3.0
193.044 SE 2020S Critical Algorithm Studies		2.0	3.0
VU Techniksoziologie und Technikpsychologie		2.0	3.0
187.329 VU 2020S Techniksoziologie und Technikpsychologie		2.0	3.0
VO Theorie und Praxis der Gruppenarbeit		2.0	3.0
Transferable Skills
Modul Freie Wahl
Katalog Freie Wahlfächer - Informatik
Prüfungsfach Diplomarbeit			30.0
SE Seminar für Diplomand_innen		1.0	1.5
180.773 SE 2020S Seminar für Diplomand_innen für Logic and Computation		1.0	1.5
180.773 SE 2019W Seminar für Diplomand_innen für Logic and Computation		1.0	1.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