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.

2018W-2019S (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 2018W 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 2018W 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 2018W Approximation Algorithms		2.0	3.0
VU Complexity Theory		2.0	3.0
181.142 VU 2019S Complexity theory canceled		2.0	3.0
VU Discrete Reasoning Methods		2.0	3.0
VU Distributed Algorithms		4.0	6.0
182.702 VU 2019S Distributed Algorithms		4.0	6.0
VU Fixed-Parameter Algorithms and Complexity		2.0	3.0
186.855 VU 2018W Fixed-Parameter Algorithms and Complexity		2.0	3.0
VU Heuristic Optimization Techniques		2.0	3.0
186.112 VU 2018W Heuristic Optimization Techniques		2.0	3.0
VU Mathematical Programming		2.0	3.0
186.835 VU 2019S Mathematical Programming		2.0	3.0
VU Modeling and Solving Constrained Optimization Problems		2.0	3.0
186.861 VU 2019S Modeling and Solving Constrained Optimization Problems		2.0	3.0
VU Networks: Design and Analysis		2.0	3.0
186.812 VU 2019S Networks: Design and Analysis		2.0	3.0
VU Parallel Algorithms		2.0	3.0
184.727 VU 2018W Parallel Algorithms		2.0	3.0
VU Problems in Distributed Computing		3.0	4.5
182.703 VU 2018W Problems in Distributed Computing		3.0	4.5
VU Optimization in Transport and Logistics		2.0	3.0
VU Real-Time Scheduling		2.0	3.0
182.086 VU 2019S Real-Time Scheduling		2.0	3.0
PR Project in Computer Science 1		4.0	6.0
186.820 PR 2019S Project in Computer Science 1		4.0	6.0
186.820 PR 2018W Project in Computer Science 1		4.0	6.0
184.688 PR 2019S Project in Computer Science 1		4.0	6.0
184.688 PR 2018W Project in Computer Science 1		4.0	6.0
184.692 PR 2019S Project in Computer Science 1		4.0	6.0
184.692 PR 2018W Project in Computer Science 1		4.0	6.0
188.936 PR 2018W Project in Computer Science 1		4.0	6.0
185.A28 PR 2019S Project in Computer Science 1		4.0	6.0
185.A28 PR 2018W Project in Computer Science 1		4.0	6.0
185.A36 PR 2019S Project in Computer Science 1		4.0	6.0
184.718 PR 2019S Project in Computer Science 1		4.0	6.0
184.718 PR 2018W Project in Computer Science 1		4.0	6.0
184.786 PR 2018W Project in Computer Science 1		4.0	6.0
192.075 PR 2019S Project in Computer Science 1		4.0	6.0
SE Seminar in Algorithms		2.0	3.0
VU Graph Drawing Algorithms		2.0	3.0
192.053 VU 2019S Graph Drawing Algorithms		2.0	3.0
PR Project in Computer Science 2		4.0	6.0
186.821 PR 2019S Project in Computer Science 2		4.0	6.0
186.821 PR 2018W Project in Computer Science 2		4.0	6.0
184.689 PR 2019S Project in Computer Science 2		4.0	6.0
184.689 PR 2018W Project in Computer Science 2		4.0	6.0
184.693 PR 2019S Project in Computer Science 2		4.0	6.0
184.693 PR 2018W Project in Computer Science 2		4.0	6.0
188.937 PR 2019S Project in Computer Science 2		4.0	6.0
185.A29 PR 2019S Project in Computer Science 2		4.0	6.0
185.A29 PR 2018W Project in Computer Science 2		4.0	6.0
185.A37 PR 2019S Project in Computer Science 2		4.0	6.0
184.719 PR 2019S Project in Computer Science 2		4.0	6.0
184.719 PR 2018W Project in Computer Science 2		4.0	6.0
186.851 PR 2019S Project in Computer Science 2		4.0	6.0
184.787 PR 2018W Project in Computer Science 2		4.0	6.0
192.076 PR 2019S Project in Computer Science 2		4.0	6.0
SE Seminar in Complexity Theory		2.0	3.0
184.687 SE 2018W Seminar in Complexity Theory		2.0	3.0
184.759 SE 2018W Seminar in Complexity Theory canceled		2.0	3.0
VU Structural Decompositions and Algorithms		2.0	3.0
186.856 VU 2019S Structural Decompositions and Algorithms		2.0	3.0
SE Seminar aus Algorithmik		2.0	3.0
184.754 SE 2018W Seminar on Algorithms		2.0	3.0
186.182 SE 2019S Seminar on Algorithms		2.0	3.0
186.182 SE 2018W Seminar on Algorithms		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 2019S 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 2018W Theory of Knowledge Representation		2.0	3.0
SE Seminar in Artificial Intelligence		2.0	3.0
181.034 SE 2019S Seminar of Artificial Intelligence		2.0	3.0
184.068 SE 2019S Seminar in Artificial Intelligence		2.0	3.0
184.068 SE 2018W Artificial Intelligence Seminar		2.0	3.0
188.962 SE 2019S Seminar in Artificial Intelligence		2.0	3.0
192.086 SE 2019S Seminar in Artificial Intelligence		2.0	3.0
SE Seminar in Databases		2.0	3.0
181.201 SE 2019S Seminar Database Systems		2.0	3.0
181.201 SE 2018W Seminar Database Systems		2.0	3.0
SE Seminar in Knowledge Representation and Reasoning		2.0	3.0
184.712 SE 2019S Seminar in Knowledge Representation and Reasoning		2.0	3.0
184.712 SE 2018W Seminar in Knowledge Representation and Reasoning		2.0	3.0
VO Processing of Declarative Knowledge		2.0	3.0
184.205 VO 2018W Processing of Declarative Knowledge		2.0	3.0
VU Self-Organizing Systems		3.0	4.5
188.413 VU 2018W Self-Organizing Systems		3.0	4.5
VU Abstract Argumentation		3.0	4.5
184.682 VU 2018W Abstract Argumentation		3.0	4.5
VU Nonmonotonic Reasoning		2.0	3.0
184.188 VU 2019S Nonmonotonic Reasoning canceled		2.0	3.0
184.188 VU 2018W Nonmonotonic Reasoning		2.0	3.0
VU Semantic Web Technologies		2.0	3.0
184.729 VU 2018W Semantic Web Technologies canceled		2.0	3.0
VO Deductive Databases		2.0	3.0
192.067 VO 2018W Deductive Databases		2.0	3.0
VO Knowledge Management		2.0	3.0
188.483 VO 2018W Knowledge Management		2.0	3.0
UE Knowledge Management		2.0	3.0
188.486 UE 2018W Knowledge Management		2.0	3.0
VU SAT Solving and Extensions		2.0	3.0
184.090 VU 2019S SAT Solving		2.0	3.0
VU Complexity Analysis		2.0	3.0
184.215 VU 2019S Complexity Analysis		2.0	3.0
VU Database Theory		2.0	3.0
181.140 VU 2019S Database Theory canceled		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 2019S 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 2019S Preferences in Artificial Intelligence		2.0	3.0
VU Machine Learning		3.0	4.5
184.702 VU 2019S Machine Learning		3.0	4.5
184.702 VU 2018W Machine Learning		3.0	4.5
VU Similarity Modeling 1		2.0	3.0
188.501 VU 2018W Similarity Modeling 1		2.0	3.0
VU Similarity Modeling 2		2.0	3.0
188.498 VU 2018W Similarity Modeling 2		2.0	3.0
VU Media and Brain 1		2.0	3.0
188.502 VU 2019S Media and Brain 1: Artificial Consciousness		2.0	3.0
VU Media and Brain 2		2.0	3.0
188.499 VU 2019S Media and Brain 2 Artificial Consciousness		2.0	3.0
VU Classification and Discriminant Analysis		3.0	4.5
107.386 VU 2018W Classification and Discriminant Analysis		3.0	4.5
VU Probablistic Reasoning		2.0	3.0
VU Description Logics and Ontologies		2.0	3.0
184.772 VU 2018W Description Logics and Ontologies canceled		2.0	3.0
PR Project in Computer Science 1		4.0	6.0
186.820 PR 2019S Project in Computer Science 1		4.0	6.0
186.820 PR 2018W Project in Computer Science 1		4.0	6.0
184.688 PR 2019S Project in Computer Science 1		4.0	6.0
184.688 PR 2018W Project in Computer Science 1		4.0	6.0
184.692 PR 2019S Project in Computer Science 1		4.0	6.0
184.692 PR 2018W Project in Computer Science 1		4.0	6.0
188.936 PR 2018W Project in Computer Science 1		4.0	6.0
185.A28 PR 2019S Project in Computer Science 1		4.0	6.0
185.A28 PR 2018W Project in Computer Science 1		4.0	6.0
185.A36 PR 2019S Project in Computer Science 1		4.0	6.0
184.718 PR 2019S Project in Computer Science 1		4.0	6.0
184.718 PR 2018W Project in Computer Science 1		4.0	6.0
184.786 PR 2018W Project in Computer Science 1		4.0	6.0
192.075 PR 2019S Project in Computer Science 1		4.0	6.0
PR Project in Computer Science 2		4.0	6.0
186.821 PR 2019S Project in Computer Science 2		4.0	6.0
186.821 PR 2018W Project in Computer Science 2		4.0	6.0
184.689 PR 2019S Project in Computer Science 2		4.0	6.0
184.689 PR 2018W Project in Computer Science 2		4.0	6.0
184.693 PR 2019S Project in Computer Science 2		4.0	6.0
184.693 PR 2018W Project in Computer Science 2		4.0	6.0
188.937 PR 2019S Project in Computer Science 2		4.0	6.0
185.A29 PR 2019S Project in Computer Science 2		4.0	6.0
185.A29 PR 2018W Project in Computer Science 2		4.0	6.0
185.A37 PR 2019S Project in Computer Science 2		4.0	6.0
184.719 PR 2019S Project in Computer Science 2		4.0	6.0
184.719 PR 2018W Project in Computer Science 2		4.0	6.0
186.851 PR 2019S Project in Computer Science 2		4.0	6.0
184.787 PR 2018W Project in Computer Science 2		4.0	6.0
192.076 PR 2019S Project in Computer Science 2		4.0	6.0
VU Systems and Solving Techniques for Knowledge Representation and Reasoning		2.0	3.0
184.771 VU 2018W Systems and Solving Techniques for Knowledge Representation and Reasoning		2.0	3.0
VU Practical Applications of Answer Set Programming		2.0	3.0
192.084 VU 2019S Practical Applications of Answer Set Programming		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 2018W Discrete Mathematics		4.0	4.0
UE Discrete Mathematics		2.5	5.0
104.272 UE 2018W Discrete Mathematics		2.5	5.0
Modul Logic and Computability			6.0
VU Logic and Computability		4.0	6.0
185.A45 VU 2018W Logic and Computability		4.0	6.0
Modul Logic, Mathematics, and Theoretical Computer Science			9.0
VU Advanced Topics in Formal Language Theory		2.0	3.0
VU Cryptography		2.0	3.0
184.189 VU 2018W Cryptography		2.0	3.0
VU Cryptocurrencies		4.0	6.0
192.065 VU 2018W Cryptocurrencies		4.0	6.0
VU Formal Language Theory		2.0	3.0
185.A42 VU 2018W Formal Language Theory		2.0	3.0
VU Advanced Mathematical Logic		2.0	3.0
VU Computability Theory		2.0	3.0
185.203 VU 2019S Computability Theory		2.0	3.0
VU Membrane Computing		2.0	3.0
185.A70 VU 2018W Membrane Computing		2.0	3.0
VU Automated Deduction		4.0	6.0
184.774 VU 2019S Automated Deduction		4.0	6.0
VO Lambda Calculus		2.0	3.0
108.030 VO 2018W Lambda Calculus		2.0	3.0
192.054 VO 2019S Lambda Calculus		2.0	3.0
VU Fuzzy Logic		2.0	3.0
VU Non-classical Logics		2.0	3.0
192.085 VU 2019S Non-classical Logics		2.0	3.0
VU Higher-order Logic		2.0	3.0
185.A60 VU 2019S Higher-order Logic		2.0	3.0
VU Molecular Computing		2.0	3.0
185.326 VU 2019S Molecular Computing		2.0	3.0
VO Proof Theory 1		2.0	3.0
118.131 VO 2018W Proof Theory 1		2.0	3.0
VU Quantum Computing		2.0	3.0
192.070 VU 2018W Quantum Computing		2.0	3.0
VO History of Logic		2.0	3.0
184.266 VO 2019S History of Logic		2.0	3.0
VO Proof Theory 2		2.0	3.0
118.211 VO 2019S Proof Theory 2		2.0	3.0
VO Complex Analysis		4.0	5.0
VO Functional Analysis 1		4.0	5.0
SE Seminar in Logic		2.0	3.0
181.206 SE 2019S Logic seminar		2.0	3.0
184.264 SE 2019S Seminar in Logic		2.0	3.0
184.264 SE 2018W Seminar in Logic		2.0	3.0
185.316 SE 2019S Seminar in Logic		2.0	3.0
UE Complex Analysis		1.0	2.0
UE Functional Analysis 1		1.0	2.0
101.341 UE 2019S Functional Analysis 1 UE		1.0	2.0
SE Seminar in Theoretical Computer Science		2.0	3.0
184.067 SE 2019S Seminar in Theoretical Computer Science		2.0	3.0
184.067 SE 2018W Seminar in Theoretical Computer Science		2.0	3.0
184.753 SE 2018W Seminar in Theoretical Computer Science		2.0	3.0
192.064 SE 2018W Seminar in Theoretical Computer Science		2.0	3.0
192.066 SE 2018W Seminar in Theoretical Computer Science - Foundations of Blockchain Technologies		2.0	3.0
192.074 SE 2018W Seminar in Theoretical Computer Science		2.0	3.0
PR Project in Computer Science 1		4.0	6.0
186.820 PR 2019S Project in Computer Science 1		4.0	6.0
186.820 PR 2018W Project in Computer Science 1		4.0	6.0
184.688 PR 2019S Project in Computer Science 1		4.0	6.0
184.688 PR 2018W Project in Computer Science 1		4.0	6.0
184.692 PR 2019S Project in Computer Science 1		4.0	6.0
184.692 PR 2018W Project in Computer Science 1		4.0	6.0
188.936 PR 2018W Project in Computer Science 1		4.0	6.0
185.A28 PR 2019S Project in Computer Science 1		4.0	6.0
185.A28 PR 2018W Project in Computer Science 1		4.0	6.0
185.A36 PR 2019S Project in Computer Science 1		4.0	6.0
184.718 PR 2019S Project in Computer Science 1		4.0	6.0
184.718 PR 2018W Project in Computer Science 1		4.0	6.0
184.786 PR 2018W Project in Computer Science 1		4.0	6.0
192.075 PR 2019S Project in Computer Science 1		4.0	6.0
VU Proof Systems in Modal Logic		2.0	3.0
184.711 VU 2019S Proof Systems in Modal Logic canceled		2.0	3.0
VU Unification Theory		2.0	3.0
PR Project in Computer Science 2		4.0	6.0
186.821 PR 2019S Project in Computer Science 2		4.0	6.0
186.821 PR 2018W Project in Computer Science 2		4.0	6.0
184.689 PR 2019S Project in Computer Science 2		4.0	6.0
184.689 PR 2018W Project in Computer Science 2		4.0	6.0
184.693 PR 2019S Project in Computer Science 2		4.0	6.0
184.693 PR 2018W Project in Computer Science 2		4.0	6.0
188.937 PR 2019S Project in Computer Science 2		4.0	6.0
185.A29 PR 2019S Project in Computer Science 2		4.0	6.0
185.A29 PR 2018W Project in Computer Science 2		4.0	6.0
185.A37 PR 2019S Project in Computer Science 2		4.0	6.0
184.719 PR 2019S Project in Computer Science 2		4.0	6.0
184.719 PR 2018W Project in Computer Science 2		4.0	6.0
186.851 PR 2019S Project in Computer Science 2		4.0	6.0
184.787 PR 2018W Project in Computer Science 2		4.0	6.0
192.076 PR 2019S Project in Computer Science 2		4.0	6.0
VO Refutation Systems		2.0	3.0
VU Temporal Logic		2.0	3.0
VU Smart Contracts		4.0	6.0
192.078 VU 2019S Smart Contracts		4.0	6.0
VU Term Rewriting		2.0	3.0
VU Epistemic Logic and Communication		2.0	3.0
185.A98 VU 2019S Epistemic Logic and Communication		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 2019S Formal Methods in Computer Science		4.0	6.0
185.291 VU 2018W Formal Methods in Computer Science		4.0	6.0
UE Formal Methods in Computer Science		2.0	3.0
185.A93 UE 2018W Formal Methods in Computer Science		2.0	3.0
Modul Programming Languages and Verification			9.0
VU Computer-Aided Verification		2.0	3.0
181.145 VU 2019S Computer Aided Verification		2.0	3.0
UE Computer-Aided Verification		2.0	3.0
181.144 UE 2019S Computer-Aided Verification		2.0	3.0
VU Automated Reasoning and Program Verification		2.0	3.0
VU Advanced Object-oriented Programming		2.0	3.0
185.211 VU 2019S Advanced Object-Oriented Programming		2.0	3.0
VU Advanced Multiprocessor Programming		3.0	4.5
VU Deductive Verification of Software		4.0	6.0
VU Fortgeschrittene funktionale Programmierung		2.0	3.0
185.A05 VU 2019S Advanced Functional Programming		2.0	3.0
VU Effiziente Programme		2.0	3.0
185.190 VU 2018W Efficient Programs		2.0	3.0
VU High Performance Computing		3.0	4.5
184.725 VU 2018W High Performance Computing		3.0	4.5
VU Analyse und Verifikation		2.0	3.0
185.276 VU 2019S Analysis and Verification		2.0	3.0
VO Codegeneratoren		2.0	3.0
185.416 VO 2018W Code Generators		2.0	3.0
VU Requirements Engineering and Specification		2.0	3.0
188.409 VU 2018W Requirements Engineering and Specification		2.0	3.0
VU Dynamic Compilation		2.0	3.0
185.A50 VU 2019S Dynamic Compilation		2.0	3.0
VU Program Analysis		2.0	3.0
184.703 VU 2018W Program Analysis		2.0	3.0
VU Programmiersprachen		2.0	3.0
185.208 VU 2019S Programming Languages		2.0	3.0
SE Seminar in Formal Methods		2.0	3.0
181.221 SE 2019S Seminar Formal Methods		2.0	3.0
181.221 SE 2018W Seminar Formal Methods		2.0	3.0
VU Optimierende Übersetzer		2.0	3.0
185.A04 VU 2018W Optimizing Compilers		2.0	3.0
SE Seminar aus Programmiersprachen		2.0	3.0
185.307 SE 2019S Programming languages seminar		2.0	3.0
185.307 SE 2018W Programming languages seminar		2.0	3.0
184.755 SE 2018W Programming languages seminar canceled		2.0	3.0
VU Software Model Checking		4.0	6.0
VU Advanced Model Engineering		2.0	3.0
188.952 VU 2019S Advanced Model Engineering		2.0	3.0
VU Software Testing		2.0	3.0
188.280 VU 2019S Software Testing		2.0	3.0
183.290 VU 2018W Software Testing		2.0	3.0
SE Advanced Model Engineering		2.0	3.0
188.953 SE 2019S Advanced Model Engineering		2.0	3.0
PR Project in Computer Science 1		4.0	6.0
186.820 PR 2019S Project in Computer Science 1		4.0	6.0
186.820 PR 2018W Project in Computer Science 1		4.0	6.0
184.688 PR 2019S Project in Computer Science 1		4.0	6.0
184.688 PR 2018W Project in Computer Science 1		4.0	6.0
184.692 PR 2019S Project in Computer Science 1		4.0	6.0
184.692 PR 2018W Project in Computer Science 1		4.0	6.0
188.936 PR 2018W Project in Computer Science 1		4.0	6.0
185.A28 PR 2019S Project in Computer Science 1		4.0	6.0
185.A28 PR 2018W Project in Computer Science 1		4.0	6.0
185.A36 PR 2019S Project in Computer Science 1		4.0	6.0
184.718 PR 2019S Project in Computer Science 1		4.0	6.0
184.718 PR 2018W Project in Computer Science 1		4.0	6.0
184.786 PR 2018W Project in Computer Science 1		4.0	6.0
192.075 PR 2019S Project in Computer Science 1		4.0	6.0
VU Semantik von Programmiersprachen		3.0	4.5
184.749 VU 2019S Semantics of Programming Languages		3.0	4.5
VU Stackbasierte Sprachen		2.0	3.0
185.310 VU 2018W Stack-based languages		2.0	3.0
VU Formal Methods for Security and Privacy		4.0	6.0
192.059 VU 2019S Formal Methods for Security and Privacy		4.0	6.0
VU Model Engineering		4.0	6.0
188.923 VU 2018W Model Engineering		4.0	6.0
PR Project in Computer Science 2		4.0	6.0
186.821 PR 2019S Project in Computer Science 2		4.0	6.0
186.821 PR 2018W Project in Computer Science 2		4.0	6.0
184.689 PR 2019S Project in Computer Science 2		4.0	6.0
184.689 PR 2018W Project in Computer Science 2		4.0	6.0
184.693 PR 2019S Project in Computer Science 2		4.0	6.0
184.693 PR 2018W Project in Computer Science 2		4.0	6.0
188.937 PR 2019S Project in Computer Science 2		4.0	6.0
185.A29 PR 2019S Project in Computer Science 2		4.0	6.0
185.A29 PR 2018W Project in Computer Science 2		4.0	6.0
185.A37 PR 2019S Project in Computer Science 2		4.0	6.0
184.719 PR 2019S Project in Computer Science 2		4.0	6.0
184.719 PR 2018W Project in Computer Science 2		4.0	6.0
186.851 PR 2019S Project in Computer Science 2		4.0	6.0
184.787 PR 2018W Project in Computer Science 2		4.0	6.0
192.076 PR 2019S Project in Computer Science 2		4.0	6.0
VO Typsysteme		2.0	3.0
185.206 VO 2018W Type Systems		2.0	3.0
VU Übersetzer für Parallele Systeme		2.0	3.0
185.A64 VU 2019S Compilers for Parallel Systems		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 2019S Leadership Competency Coaching 2		2.0	3.0
SE Didaktik in der Informatik		2.0	3.0
184.228 SE 2019S Didactics in computer science education		2.0	3.0
184.228 SE 2018W Didactics in computer science education		2.0	3.0
194.042 SE 2019S Informatics didactics		2.0	3.0
194.042 SE 2018W Informatics didactics		2.0	3.0
VO EDV-Vertragsrecht		1.0	1.5
280.239 VO 2018W 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
185.A34 VU 2018W Research Methods		2.0	3.0
194.057 VU 2019S Research Methods		2.0	3.0
VU Kommunikation und Moderation		2.0	3.0
187.236 VU 2019S Communication and Moderation		2.0	3.0
187.236 VU 2018W 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 2019S 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 2018W Presentation and Moderation		2.0	3.0
EX Exkursion		2.0	3.0
SE Wissenschaftliche Methodik		2.0	3.0
185.A77 SE 2019S Scientific Method		2.0	3.0
SE Scientific Presentation and Communication		2.0	3.0
183.502 SE 2019S Scientific Presentation & Communications		2.0	3.0
VU Softskills für TechnikerInnen		2.0	3.0
181.208 VU 2019S Softskills for technicians		2.0	3.0
181.208 VU 2018W Softskills for technicians		2.0	3.0
SE Kommunikation und Rhetorik 2		2.0	3.0
181.204 SE 2018W 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 2019S 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 2019S Seminar for Master Students in Logic and Computation		1.0	1.5
180.773 SE 2018W 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