066 931 Master programme Logic and Computation

Show structure
Show by semester

Show academic year
Show all courses of the academic year of which the selected semester is part of.

2019W-2020S (2011U)

Title	Precon.	Hours	ECTS
Master programme 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 Complexity theory		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 Parallel Algorithms		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		4.0	6.0
194.079 PR 2019W Project in Computer Science		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
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 canceled		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 on Algorithms		2.0	3.0
186.182 SE 2020S Seminar on Algorithms		2.0	3.0
186.182 SE 2019W Seminar on Algorithms		2.0	3.0
186.862 SE 2019W Seminar in Algorithms Graphs and Geometry		2.0	3.0
VO Advanced Graph Theory		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 of Artificial Intelligence		2.0	3.0
184.068 SE 2020S Artificial Intelligence Seminar		2.0	3.0
184.068 SE 2019W Artificial Intelligence Seminar		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 Database Systems		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 Processing of Declarative Knowledge		2.0	3.0
VU Self-Organizing Systems		3.0	4.5
188.413 VU 2019W Self-Organizing Systems		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 Database Theory		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: Artificial Consciousness		2.0	3.0
VU Media and Brain 2		2.0	3.0
188.499 VU 2020S Media and Brain 2 Artificial Consciousness		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		4.0	6.0
194.079 PR 2019W Project in Computer Science		4.0	6.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
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 Computability Theory		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 Functional Analysis 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 Lambda Calculus		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		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		4.0	6.0
194.079 PR 2019W Project in Computer Science		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
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 Proof Theory 1		2.0	3.0
VO Proof Theory 2		2.0	3.0
118.211 VO 2020S Proof Theory 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 Logic seminar		2.0	3.0
184.264 SE 2020S Seminar in Logic		2.0	3.0
184.264 SE 2019W Seminar in Logic		2.0	3.0
185.316 SE 2020S Seminar in Logic		2.0	3.0
SE Seminar in Theoretical Computer Science		2.0	3.0
184.067 SE 2020S Seminar in Theoretical Computer Science		2.0	3.0
184.067 SE 2019W Seminar in Theoretical Computer Science		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 canceled		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 Term Rewriting Systems		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 Formal Methods in Computer Science canceled		4.0	6.0
185.291 VU 2019W Formal Methods in Computer Science		4.0	6.0
UE Formal Methods in Computer Science		2.0	3.0
185.A93 UE 2019W Formal Methods in Computer Science		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 Multiprocessor Programming		3.0	4.5
VU Advanced Object-oriented Programming		2.0	3.0
185.211 VU 2020S Advanced Object-Oriented Programming		2.0	3.0
VU Analyse und Verifikation		2.0	3.0
185.276 VU 2020S Analysis and Verification		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 Code Generators		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		2.0	3.0
VU Effiziente Programme		2.0	3.0
185.190 VU 2019W Efficient Programs		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 Advanced Functional Programming		2.0	3.0
VU High Performance Computing		3.0	4.5
184.725 VU 2019W High Performance Computing		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 Optimizing Compilers		2.0	3.0
VU Program Analysis		2.0	3.0
184.703 VU 2019W Program Analysis		2.0	3.0
VU Programmiersprachen		2.0	3.0
185.208 VU 2020S Programming Languages		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		4.0	6.0
194.079 PR 2019W Project in Computer Science		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
VU Requirements Engineering and Specification		2.0	3.0
188.409 VU 2019W Requirements Engineering and Specification		2.0	3.0
SE Seminar aus Programmiersprachen		2.0	3.0
185.307 SE 2020S Programming languages seminar		2.0	3.0
185.307 SE 2019W Programming languages seminar		2.0	3.0
SE Seminar in Formal Methods		2.0	3.0
181.221 SE 2020S Seminar Formal Methods		2.0	3.0
181.221 SE 2019W Seminar Formal Methods		2.0	3.0
VU Semantik von Programmiersprachen		3.0	4.5
184.749 VU 2020S Semantics of Programming Languages		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 Stack-based languages		2.0	3.0
VO Typsysteme		2.0	3.0
185.206 VO 2019W Type Systems		2.0	3.0
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 Leadership Competency Coaching 2		2.0	3.0
SE Didaktik in der Informatik		2.0	3.0
184.228 SE 2020S Didactics in computer science education		2.0	3.0
184.228 SE 2019W Didactics in computer science education		2.0	3.0
194.042 SE 2020S Informatics didactics		2.0	3.0
194.042 SE 2019W Informatics didactics		2.0	3.0
VO EDV-Vertragsrecht		1.0	1.5
280.239 VO 2020S Law of IT-Contracts		1.0	1.5
280.239 VO 2019W Law of IT-Contracts		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 Research methods		2.0	3.0
185.A34 VU 2019W Research Methods		2.0	3.0
194.057 VU 2020S Research Methods		2.0	3.0
VU Kommunikation und Moderation		2.0	3.0
187.236 VU 2020S Communication and Moderation		2.0	3.0
187.236 VU 2019W Communication and 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 Presentation and Moderation		2.0	3.0
EX Exkursion		2.0	3.0
193.057 EX 2019W Excursion		2.0	3.0
SE Wissenschaftliche Methodik		2.0	3.0
185.A77 SE 2020S Scientific Method		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 for technicians		2.0	3.0
181.208 VU 2019W Softskills for technicians		2.0	3.0
SE Kommunikation und Rhetorik 2		2.0	3.0
181.204 SE 2019W Communication and rhetoric 2		2.0	3.0
SE Critical Algorithm Studies		2.0	3.0
VU Techniksoziologie und Technikpsychologie		2.0	3.0
187.329 VU 2020S Sociology of Technology		2.0	3.0
VO Theorie und Praxis der Gruppenarbeit		2.0	3.0
Transferable Skills
Modul Freie Wahl
Catalog Elective Courses - Computer Science
Prüfungsfach Diplomarbeit			30.0
SE Seminar für Diplomand_innen		1.0	1.5
180.773 SE 2020S Seminar for Master Students in Logic and Computation		1.0	1.5
180.773 SE 2019W Seminar for Master Students in Logic and Computation		1.0	1.5
Modul Kommissionelle Abschlussprüfung			1.5
Modul Diplomarbeit			27.0

Responsible dean of academic affairs

For questions regarding the curriculum please contact the responsible dean of academic affairs.

Legend

: Courses belong to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
: Courses belong to the introductory interview ("Studieneingangsgespräch")
: Courses require the completion of the introductory and orientation phase
: Courses require the completion of the introductory interview STEG