066 931 Masterstudium Logic and Computation

• 2023S 2023W 2024S
• Studienjahr anzeigen
  Zeige alle LVAs des Studienjahres an, in dem das ausgewählte Semester liegt.

2023W-2024S (2011U)

• Allgemeine Informationen zu diesem Curriculum
• Verordnungstext

• Stundenplan

1. Semester

Titel	Anm.Bed.	Stunden	ECTS
VU Algorithmics		4.0	6.0
186.814 VU 2023W Algorithmics		4.0	6.0
VO Discrete Mathematics		4.0	4.0
104.271 VO 2023W Discrete Mathematics		4.0	4.0
UE Discrete Mathematics		2.5	5.0
104.272 UE 2023W Discrete Mathematics		2.5	5.0
VU Logic and Computability		4.0	6.0
185.A45 VU 2023W Logic and Computability		4.0	6.0
VU Formal Methods in Computer Science		4.0	6.0
185.291 VU 2023W Formale Methoden der Informatik		4.0	6.0

2. Semester

Ohne Semesterempfehlung

Titel	Anm.Bed.	Stunden	ECTS
VU Advanced Algorithms		4.0	6.0
VU Algorithms in Graph Theory		3.0	4.5
192.018 VU 2023W Algorithms in Graph Theory		3.0	4.5
VU Algorithmic Geometry		3.0	4.5
192.133 VU 2023W Algorithmic Geometry		3.0	4.5
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 2023W Approximation Algorithms		2.0	3.0
VU Complexity Theory		2.0	3.0
181.142 VU 2023W Komplexitätstheorie		2.0	3.0
VU Discrete Reasoning Methods		2.0	3.0
VU Distributed Algorithms		4.0	6.0
VU Fixed-Parameter Algorithms and Complexity		3.0	4.5
192.135 VU 2023W Fixed-Parameter Algorithms and Complexity		3.0	4.5
VU Graph Drawing Algorithms		3.0	4.5
VU Heuristic Optimization Techniques		3.0	4.5
192.137 VU 2023W Heuristic Optimization Techniques		3.0	4.5
VU Mathematical Programming		2.0	3.0
VU Modeling and Solving Constrained Optimization Problems		2.0	3.0
VU Networks: Design and Analysis		2.0	3.0
VU Optimization in Transport and Logistics		2.0	3.0
VU Parallele Algorithmen		2.0	3.0
VU Problems in Distributed Computing		3.0	4.5
182.703 VU 2023W Problems in Distributed Computing		3.0	4.5
PR Project in Computer Science 1		4.0	6.0
194.079 PR 2023W Project in Computer Science 1		4.0	6.0
192.105 PR 2023W Project in Computer Science 1 Team-Based Research in Algorithmics		4.0	6.0
194.119 PR 2023W Project in Computer Science 1 - Machine Learning Algorithms and Applications abgesagt		4.0	6.0
191.008 PR 2023W Project in Computer Science 1		4.0	6.0
192.021 PR 2023W Project in Computer Science 1		4.0	6.0
194.145 PR 2023W Project in Computer Science 1		4.0	6.0
PR Project in Computer Science 2		4.0	6.0
194.080 PR 2023W Project in Computer Science 2		4.0	6.0
193.118 PR 2023W Project in Computer Science 2		4.0	6.0
191.009 PR 2023W Project in Computer Science 2		4.0	6.0
192.022 PR 2023W Project in Computer Science 2		4.0	6.0
194.146 PR 2023W Project in Computer Science 2		4.0	6.0
VU Real-Time Scheduling		2.0	3.0
SE Seminar in Algorithms		2.0	3.0
184.754 SE 2023W Seminar aus Algorithmik		2.0	3.0
186.182 SE 2023W Seminar aus Algorithmik		2.0	3.0
186.862 SE 2023W Seminar aus Algorithmik Graphen und Geometrie		2.0	3.0
SE Seminar in Complexity Theory		2.0	3.0
VU Structural Decompositions and Algorithms		2.0	3.0
VU Algorithmic Meta-Theorems Algorithmische Meta-Theoreme		2.0	3.0
192.122 VU 2023W Algorithmic Meta-Theorems Algorithmische Meta-Theoreme		2.0	3.0
VU Frontiers of Algorithms and Complexity		2.0	3.0
VU Randomized Algorithms		2.0	3.0
192.020 VU 2023W Randomized Algorithms		2.0	3.0
VU Advanced Methods for Regression and Classification		3.0	4.5
105.707 VU 2023W Advanced Methods for Regression and Classification		3.0	4.5
VU Theory of Knowledge Representation		2.0	3.0
184.186 VU 2023W Theory of Knowledge Representation		2.0	3.0
SE Seminar in Artificial Intelligence		2.0	3.0
184.068 SE 2023W Seminar aus Artificial Intelligence		2.0	3.0
194.103 SE 2023W Seminar in Artificial Intelligence abgesagt		2.0	3.0
192.119 SE 2023W Seminar in Artificial Intelligence Algorithmic and Computational Decision Theory		2.0	3.0
194.118 SE 2023W Seminar in Artificial Intelligence - Theoretical Aspects of Machine Learning		2.0	3.0
192.024 SE 2023W Seminar in Artificial Intelligence		2.0	3.0
SE Seminar in Databases		2.0	3.0
181.201 SE 2023W Seminar aus Datenbanken		2.0	3.0
SE Seminar in Knowledge Representation and Reasoning		2.0	3.0
184.712 SE 2023W Seminar in Knowledge Representation and Reasoning		2.0	3.0
VO Processing of Declarative Knowledge		2.0	3.0
184.205 VO 2023W Verarbeitung deklarativen Wissens		2.0	3.0
VU Self-Organizing Systems		3.0	4.5
188.413 VU 2023W Selbstorganisierende Systeme		3.0	4.5
VU Abstract Argumentation		3.0	4.5
184.682 VU 2023W Abstract Argumentation		3.0	4.5
VU Nonmonotonic Reasoning		2.0	3.0
VU Semantic Technologies		2.0	3.0
VO Deductive Databases		2.0	3.0
192.067 VO 2023W Deductive Databases		2.0	3.0
VO Knowledge Management		2.0	3.0
UE Knowledge Management		2.0	3.0
VU SAT Solving and Extensions		2.0	3.0
VU Database Theory		2.0	3.0
181.140 VU 2023W 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 2024S 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
VU Machine Learning		3.0	4.5
184.702 VU 2024S Machine Learning		3.0	4.5
184.702 VU 2023W Machine Learning		3.0	4.5
VU Similarity Modeling 1		2.0	3.0
188.501 VU 2023W Similarity Modeling 1 - Computational Seeing and Hearing		2.0	3.0
VU Similarity Modeling 2		2.0	3.0
188.498 VU 2023W Similarity Modeling 2 - Computational Seeing and Hearing		2.0	3.0
VU Media and Brain 1		2.0	3.0
VU Media and Brain 2		2.0	3.0
VU Probabilistic Reasoning		2.0	3.0
192.030 VU 2023W Probabilistic Reasoning		2.0	3.0
VU Description Logics and Ontologies		2.0	3.0
184.772 VU 2023W Description Logics and Ontologies		2.0	3.0
PR Project in Computer Science 1		4.0	6.0
194.079 PR 2023W Project in Computer Science 1		4.0	6.0
192.105 PR 2023W Project in Computer Science 1 Team-Based Research in Algorithmics		4.0	6.0
194.119 PR 2023W Project in Computer Science 1 - Machine Learning Algorithms and Applications abgesagt		4.0	6.0
191.008 PR 2023W Project in Computer Science 1		4.0	6.0
192.021 PR 2023W Project in Computer Science 1		4.0	6.0
194.145 PR 2023W Project in Computer Science 1		4.0	6.0
PR Project in Computer Science 2		4.0	6.0
194.080 PR 2023W Project in Computer Science 2		4.0	6.0
193.118 PR 2023W Project in Computer Science 2		4.0	6.0
191.009 PR 2023W Project in Computer Science 2		4.0	6.0
192.022 PR 2023W Project in Computer Science 2		4.0	6.0
194.146 PR 2023W Project in Computer Science 2		4.0	6.0
VU Knowledge Graphs		2.0	3.0
VU Mobile Robotik		3.0	4.5
VU Theoretical Foundations and Research Topics in Machine Learning		2.0	3.0
194.100 VU 2023W Theoretical Foundations and Research Topics in Machine Learning		2.0	3.0
VU Practical Applications of Answer Set Programming		2.0	3.0
VU Algorithmic Social Choice		4.0	6.0
VU Probabilistic Programming and AI		4.0	6.0
194.150 VU 2023W Probabilistic Programming and AI		4.0	6.0
VU 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
VO Complex Analysis		4.0	5.0
UE Complex Analysis		1.0	2.0
VU Computability Theory		2.0	3.0
VU Cryptocurrencies		4.0	6.0
192.065 VU 2023W Cryptocurrencies		4.0	6.0
VU Advanced Cryptography		4.0	6.0
VU Formal Language Theory		2.0	3.0
VO Functional Analysis 1		4.0	5.0
UE Functional Analysis 1		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
184.266 VO 2023W Geschichte der Logik		2.0	3.0
VU Introduction to Type Theories		2.0	3.0
VO Lambda Calculus		2.0	3.0
108.030 VO 2023W AKLOG: Lambda Kalkül		2.0	3.0
VU Membrane Computing		2.0	3.0
VU Molecular Computing		2.0	3.0
VU Non-classical Logics		2.0	3.0
192.085 VU 2024S Non-classical Logics Nichtklassische Logiken		2.0	3.0
PR Project in Computer Science 1		4.0	6.0
194.079 PR 2023W Project in Computer Science 1		4.0	6.0
192.105 PR 2023W Project in Computer Science 1 Team-Based Research in Algorithmics		4.0	6.0
194.119 PR 2023W Project in Computer Science 1 - Machine Learning Algorithms and Applications abgesagt		4.0	6.0
191.008 PR 2023W Project in Computer Science 1		4.0	6.0
192.021 PR 2023W Project in Computer Science 1		4.0	6.0
194.145 PR 2023W Project in Computer Science 1		4.0	6.0
PR Project in Computer Science 2		4.0	6.0
194.080 PR 2023W Project in Computer Science 2		4.0	6.0
193.118 PR 2023W Project in Computer Science 2		4.0	6.0
191.009 PR 2023W Project in Computer Science 2		4.0	6.0
192.022 PR 2023W Project in Computer Science 2		4.0	6.0
194.146 PR 2023W Project in Computer Science 2		4.0	6.0
VU Proof Systems in Modal Logic		2.0	3.0
VO Proof Theory 1		2.0	3.0
118.131 VO 2023W AKLOG. Beweistheorie 1		2.0	3.0
VO Proof Theory 2		2.0	3.0
118.211 VO 2024S AKLOG: Beweistheorie 2		2.0	3.0
VU Quantum Computing		2.0	3.0
192.070 VU 2023W Quantum Computing		2.0	3.0
VO Refutation Systems		2.0	3.0
192.094 VO 2023W Refutation Systems		2.0	3.0
SE Seminar in Logic		2.0	3.0
184.264 SE 2023W Seminar aus Logik		2.0	3.0
185.316 SE 2024S Seminar aus Logik		2.0	3.0
192.132 SE 2023W Seminar in Logic		2.0	3.0
SE Seminar in Theoretical Computer Science		2.0	3.0
184.067 SE 2023W Seminar aus Theoretischer Informatik		2.0	3.0
184.753 SE 2023W Seminar in Theoretical Computer Science		2.0	3.0
192.064 SE 2023W Seminar in Theoretical Computer Science		2.0	3.0
VU Smart Contracts		4.0	6.0
VU Temporal Logic		2.0	3.0
VU Term Rewriting		2.0	3.0
VU Unification Theory		2.0	3.0
VU Deontic Logic for Normative Reasoning		2.0	3.0
UE Formale Methoden der Informatik		2.0	3.0
185.A93 UE 2023W Formale Methoden der Informatik		2.0	3.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
VU Analyse und Verifikation		2.0	3.0
VU Automated Reasoning and Program Verification		3.0	4.5
VU Computer-Aided Verification		2.0	3.0
UE Computer-Aided Verification		2.0	3.0
VO Codegeneratoren		2.0	3.0
185.416 VO 2023W Codegeneratoren		2.0	3.0
VU Deductive Verification of Software		4.0	6.0
VU Dynamic Compilation		2.0	3.0
VU Effiziente Programme		2.0	3.0
185.190 VU 2023W Effiziente Programme		2.0	3.0
VU Formal Methods for Security and Privacy		4.0	6.0
VU Fortgeschrittene funktionale Programmierung		2.0	3.0
VU High Performance Computing		3.0	4.5
184.725 VU 2023W High Performance Computing Hochleistungsrechnen		3.0	4.5
VU Model Engineering		4.0	6.0
188.923 VU 2023W Model Engineering		4.0	6.0
VU Optimierende Übersetzer		2.0	3.0
185.A04 VU 2023W Optimierende Übersetzer		2.0	3.0
VU Program Analysis		2.0	3.0
184.703 VU 2023W Programmanalyse		2.0	3.0
VU Programmiersprachen		2.0	3.0
PR Project in Computer Science 1		4.0	6.0
194.079 PR 2023W Project in Computer Science 1		4.0	6.0
192.105 PR 2023W Project in Computer Science 1 Team-Based Research in Algorithmics		4.0	6.0
194.119 PR 2023W Project in Computer Science 1 - Machine Learning Algorithms and Applications abgesagt		4.0	6.0
191.008 PR 2023W Project in Computer Science 1		4.0	6.0
192.021 PR 2023W Project in Computer Science 1		4.0	6.0
194.145 PR 2023W Project in Computer Science 1		4.0	6.0
PR Project in Computer Science 2		4.0	6.0
194.080 PR 2023W Project in Computer Science 2		4.0	6.0
193.118 PR 2023W Project in Computer Science 2		4.0	6.0
191.009 PR 2023W Project in Computer Science 2		4.0	6.0
192.022 PR 2023W Project in Computer Science 2		4.0	6.0
194.146 PR 2023W Project in Computer Science 2		4.0	6.0
VU Requirements Engineering and Specification		2.0	3.0
188.409 VU 2023W Requirements Engineering and Specification		2.0	3.0
VU Runtime Verification		4.0	6.0
SE Seminar aus Programmiersprachen		2.0	3.0
SE Seminar in Formal Methods		2.0	3.0
181.221 SE 2024S Seminar Formale Methoden		2.0	3.0
181.221 SE 2023W Seminar Formale Methoden		2.0	3.0
VU Semantik von Programmiersprachen		3.0	4.5
184.749 VU 2024S Semantik von Programmiersprachen		3.0	4.5
VU Software Model Checking		4.0	6.0
VU Software Testing		2.0	3.0
VU Stackbasierte Sprachen		2.0	3.0
185.310 VU 2023W Stackbasierte Sprachen		2.0	3.0
VO Typsysteme		2.0	3.0
185.206 VO 2023W Typsysteme		2.0	3.0
VU Übersetzer für Parallele Systeme		2.0	3.0
SE Coaching als Führungsinstrument 2		2.0	3.0
SE Critical Algorithm Studies		2.0	3.0
SE Didaktik in der Informatik		2.0	3.0
194.042 SE 2023W Didaktik in der Informatik , Abenteuer Informatik		2.0	3.0
VO EDV-Vertragsrecht		1.0	1.5
280.239 VO 2023W EDV-Vertragsrecht		1.0	1.5
VO Einführung in die Wissenschaftstheorie I		2.0	3.0
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 2023W Forschungsmethoden		2.0	3.0
VO Frauen in Naturwissenschaft und Technik		2.0	3.0
VU Kommunikation und Moderation		2.0	3.0
SE Kommunikationstechnik		1.0	1.5
184.004 SE 2023W Kommunikationstechnik		1.0	1.5
VU Kooperatives Arbeiten		2.0	3.0
VU Präsentation und Moderation		2.0	3.0
185.A62 VU 2023W Präsentation und Moderation		2.0	3.0
SE Privatissimum aus Fachdidaktik Informatik		4.0	4.0
SE Scientific Presentation and Communication		2.0	3.0
VU Softskills für TechnikerInnen		2.0	3.0
181.208 VU 2024S Softskills für TechnikerInnen		2.0	3.0
181.208 VU 2023W Softskills für TechnikerInnen		2.0	3.0
VU Techniksoziologie und Technikpsychologie		2.0	3.0
VO Theorie und Praxis der Gruppenarbeit		2.0	3.0
SE Wissenschaftliche Methodik		2.0	3.0
SE Seminar für Diplomand_innen		1.0	1.5
180.773 SE 2023W Seminar für Diplomand_innen für Logic and Computation		1.0	1.5

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