VU Algorithmics | | 4.0 | 6.0 |
VU Advanced Algorithms | | 4.0 | 6.0 |
VU Algorithms in Graph Theory | | 3.0 | 4.5 |
VU 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 |
VU Complexity Theory | | 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 |
VU Graph Drawing Algorithms | | 3.0 | 4.5 |
VU 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 |
PR Project in Computer Science 1 | | 4.0 | 6.0 |
| | 4.0 | 6.0 |
PR Project in Computer Science 2 | | 4.0 | 6.0 |
| | 4.0 | 6.0 |
VU Real-Time Scheduling | | 2.0 | 3.0 |
SE Seminar in Algorithms | | 2.0 | 3.0 |
SE Seminar in Complexity Theory | | 2.0 | 3.0 |
VU Structural Decompositions and Algorithms | | 2.0 | 3.0 |
| | 2.0 | 3.0 |
VU Frontiers of Algorithms and Complexity | | 2.0 | 3.0 |
VU Randomized Algorithms | | 2.0 | 3.0 |
VU Knowledge-based Systems | | 4.0 | 6.0 |
VU Advanced Methods for Regression and Classification | | 3.0 | 4.5 |
| | 3.0 | 4.5 |
VU Theory of Knowledge Representation | | 2.0 | 3.0 |
SE Seminar in Artificial Intelligence | | 2.0 | 3.0 |
SE Seminar in Databases | | 2.0 | 3.0 |
SE Seminar in Knowledge Representation and Reasoning | | 2.0 | 3.0 |
VO Processing of Declarative Knowledge | | 2.0 | 3.0 |
VU Self-Organizing Systems | | 3.0 | 4.5 |
VU 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 |
VO Knowledge Management | | 2.0 | 3.0 |
UE Knowledge Management | | 2.0 | 3.0 |
VU SAT Solving and Extensions | | 2.0 | 3.0 |
VU Complexity Analysis | | 2.0 | 3.0 |
VU 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 |
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 |
VU Similarity Modeling 1 | | 2.0 | 3.0 |
VU Similarity Modeling 2 | | 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 |
VU Description Logics and Ontologies | | 2.0 | 3.0 |
PR Project in Computer Science 1 | | 4.0 | 6.0 |
| | 4.0 | 6.0 |
PR Project in Computer Science 2 | | 4.0 | 6.0 |
| | 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 |
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 |
VU Deep Learning for Natural Language Processing | | 4.0 | 6.0 |
VO Discrete Mathematics | | 4.0 | 4.0 |
UE Discrete Mathematics | | 2.5 | 5.0 |
VU Logic and Computability | | 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 |
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 |
| | 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 |
VU Introduction to Type Theories | | 2.0 | 3.0 |
VO Lambda Calculus | | 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 |
PR Project in Computer Science 1 | | 4.0 | 6.0 |
| | 4.0 | 6.0 |
PR Project in Computer Science 2 | | 4.0 | 6.0 |
| | 4.0 | 6.0 |
VU Proof Systems in Modal Logic | | 2.0 | 3.0 |
VO Proof Theory 1 | | 2.0 | 3.0 |
VO Proof Theory 2 | | 2.0 | 3.0 |
VU Quantum Computing | | 2.0 | 3.0 |
VO Refutation Systems | | 2.0 | 3.0 |
SE Seminar in Logic | | 2.0 | 3.0 |
SE 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 |
VU Formal Methods in Computer Science | | 4.0 | 6.0 |
UE 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 |
VU Deductive Verification of Software | | 4.0 | 6.0 |
VU Dynamic Compilation | | 2.0 | 3.0 |
VU 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 |
VU Model Engineering | | 4.0 | 6.0 |
VU Optimierende Übersetzer | | 2.0 | 3.0 |
VU Program Analysis | | 2.0 | 3.0 |
VU Programmiersprachen | | 2.0 | 3.0 |
PR Project in Computer Science 1 | | 4.0 | 6.0 |
| | 4.0 | 6.0 |
PR Project in Computer Science 2 | | 4.0 | 6.0 |
| | 4.0 | 6.0 |
VU 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 |
VU 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 |
VO Typsysteme | | 2.0 | 3.0 |
VU Übersetzer für Parallele Systeme | | 2.0 | 3.0 |
SE Coaching als Führungsinstrument 1 | | 2.0 | 3.0 |
SE Coaching als Führungsinstrument 2 | | 2.0 | 3.0 |
SE Didaktik in der Informatik | | 2.0 | 3.0 |
VO 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 |
VO Frauen in Naturwissenschaft und Technik | | 2.0 | 3.0 |
SE Gruppendynamik | | 3.0 | 3.0 |
PR IT-Projekte für Jugendliche | | | 3.0 |
UE IT Projekte für Jugendliche | | | 1.5 |
VU Kommunikation und Moderation | | 2.0 | 3.0 |
SE Kommunikation und Rhetorik | | 2.0 | 3.0 |
SE Kommunikation und Rhetorik 2 | | 2.0 | 3.0 |
SE Kommunikationstechnik | | 1.0 | 1.5 |
VU Kooperatives Arbeiten | | 2.0 | 3.0 |
VU Präsentation und Moderation | | 2.0 | 3.0 |
VO Präsentation, Moderation und Mediation | | 1.0 | 1.5 |
UE Präsentation, Moderation und Mediation | | 2.0 | 2.0 |
VU Präsentations- und Verhandlungstechnik | | 2.0 | 3.0 |
SE Privatissimum aus Fachdidaktik Informatik | | 4.0 | 4.0 |
VU Rhetorik, Körpersprache, Argumentationstraining | | 2.0 | 3.0 |
SE Scientific Presentation and Communication | | 2.0 | 3.0 |
VU 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 VWA Mentoring I | | 2.0 | 2.0 |
SE VWA Mentoring II | | 2.0 | 2.0 |
VO Zwischen Karriere und Barriere | | 2.0 | 3.0 |
SE Seminar für Diplomand_innen | | 1.0 | 1.5 |
