TU Wien: Masterstudium Logic and Computation
Zur Navigation springen
Zur Suche springen
| Links | Ehemalige LVAs, Studienplan, TISS |
|---|---|
| VoWi-Stats |
|
Obligation: Pflichtfach
Algorithmics
Discrete Mathematics
- Discrete Mathematics UE (Bentrifa)
- Discrete Mathematics UE (diverse)
- Discrete Mathematics UE (Stufler)
- Discrete Mathematics VO (Gittenberger)
- Discrete Mathematics VO (Stufler)
- Discrete Mathematics VU (Gittenberger)
Formal Methods in Computer Science
Knowledge-based Systems
Logic and Computability
Logic-based Artificial Intelligence
Machine Learning
_no module mapping_
- Seminar für Diplomand innen für Logic and Artificial Intelligence SE (Chen)
- Seminar für Diplomand innen für Logic and Computation SE (Andreeva)
- Seminar für Diplomand innen für Logic and Computation SE (Ciabattoni)
Obligation: Gebundenes Wahlfach
Advanced Cryptography *
Advanced Privacy Enhancing Technologies *
Advanced Reinforcement Learning *
AI Ethics *
Algorithmic Encoding Techniques *
Algorithmic Geometry *
Algorithmics and Complexity
- Advanced Research in Algorithmics VU (Chen)
- Algorithmic Meta-Theorems Algorithmische Meta-Theoreme VU (Dreier)
- Approximation Algorithms VU (Kellerer)
- Distributed Algorithms VU (Schmid)
- Frontiers of Algorithms and Complexity VU (Hoang)
- Mathematical Programming VU (Raidl)
- Modeling and Solving Constrained Optimization Problems VU (Di Gaspero)
- Optimization in Transport and Logistics VU (Raidl)
- Parallele Algorithmen VU (Hunold)
- Problems in Distributed Computing VU (Schmid)
- Project in Computer Science 1 Team-Based Research in Algorithmics PR (Chen)
- Real-Time Scheduling VU (Schmid)
- Seminar aus Algorithmik Graphen und Geometrie SE (Nöllenburg)
- Seminar aus Algorithmik SE (Dreier)
- Seminar aus Algorithmik SE (Raidl)
- Seminar aus Algorithmik SE (Träff)
- Seminar in Complexity Theory SE (Pichler)
- Structural Decompositions and Algorithms VU (Peitl)
Algorithmic Social Choice *
Algorithms for Data Science *
Algorithms in Graph Theory *
Applied Generative AI and LLM-based Systems *
Automated Deduction *
Beyond Exact Algorithms *
Complexity Theory *
Computer-Aided Verification *
Cryptocurrencies *
Database Theory *
Decidable Logics for Knowledge and Data *
Deep Learning for Natural Language Processing *
Digital Humanism *
Extension *
Fixed-Parameter Algorithms and Complexity *
Formal Methods for Security and Privacy *
Formal Methods in Systems Engineering *
Games in Machine Learning *
Generative AI *
Gödel's Incompleteness Theorems *
- AKLOG Die Gödelschen Unvollständigkeitssätze UE (Hetzl)
- AKLOG Die Gödelschen Unvollständigkeitssätze VO (Hetzl)
Graph Drawing Algorithms *
Graph Representation Learning *
Heuristic Optimization Techniques *
History of Logic *
Human-Centered AI *
Information Visualization *
Introduction to Computational Sustainability *
Knowledge Graphs *
Knowledge Representation and Artificial Intelligence
- Abstract Argumentation VU (Egly)
- Datenbanktheorie VU (Lanzinger)
- Datenbanktheorie VU (Pichler)
- Deductive Databases VO (Simkus)
- KI Ethik VU (Van Berkel)
- KI Ethik VU (van Berkel)
- Modern Applications of Logic in Machine Learning VU (Malhotra)
- Nichtmonotones Schließen VU (Tompits)
- Probabilistic Reasoning VU (Lukasiewicz)
- Project in Computer Science 1 Team-Based Research in Algorithmics PR (Chen)
- SAT Solving und Erweiterungen VU (Egly)
- Semantic Technologies VU (Ahmetaj)
- Semantic Technologies VU (Ortiz de la Fuente)
- Seminar aus Artificial Intelligence SE (Dvorak)
- Seminar aus Artificial Intelligence SE (Egly)
- Seminar aus Artificial Intelligence SE (Ortiz de la Fuente)
- Seminar in Artificial Intelligence Neurosymbolic Artificial Intelligence SE (Lukasiewicz)
- Seminar in Artificial Intelligence SE (Lukasiewicz)
- Seminar in Artificial Intelligence - Theoretical Aspects of Machine Learning SE (Malhotra)
- Seminar in Knowledge Representation and Reasoning Neurosymbolic Artificial Intelligence SE (Lukasiewicz)
- Seminar in Knowledge Representation and Reasoning SE (Egly)
- Seminar in Knowledge Representation and Reasoning SE (Ortiz de la Fuente)
- Theory of Knowledge Representation VU (Eiter)
- Verarbeitung deklarativen Wissens VO (Eiter)
Logic, Mathematics, and Theoretical Computer Science
- AKLOG Advanced Mathematical Logic VU (Benavente-Fokina)
- AKLOG Lambda Kalkül VO (Baaz)
- AKLOG Logische Grundlagen des induktiven Beweisens UE (Hetzl)
- AKLOG Logische Grundlagen des induktiven Beweisens VO (Hetzl)
- Deontic Logic for Normative Reasoning VU (Ciabattoni)
- Formal Language Theory VU (Freund)
- Funktionalanalysis 1 UE UE (Kaltenbäck)
- Funktionalanalysis 1 UE UE (Woracek)
- Geschichte der Logik VO (Tompits)
- Higher-order Logic VU (Leitsch)
- Non-classical Logics VU (Fermüller)
- Project in Computer Science 1 Team-Based Research in Algorithmics PR (Chen)
- Quantum Computing VU (Egly)
- Refutation Systems VO (Tompits)
- Seminar aus Logik SE (Dvorak)
- Seminar aus Logik SE (Egly)
- Seminar aus Logik SE (Fermüller)
- Seminar aus Logik SE (Ortiz de la Fuente)
- Seminar aus Theoretischer Informatik SE (Egly)
- Seminar aus Theoretischer Informatik SE (Ortiz de la Fuente)
- Seminar in Logic SE (Leitsch)
- Seminar in Theoretical Computer Science SE (Hose)
- Smart Contracts VU (di Angelo)
Machine Learning for Optimization *
Management of Graph Data *
Mathematical Programming and Optimization in Transport Logistics *
Neurosymbolic Reasoning *
Nonclassical Logics *
Nonstandard Deduction Systems *
Preferences in Artificial Intelligence *
Principles of Knowledge Representation *
Problem Solving and Search in Artificial Intelligence *
Processing of Declarative Knowledge *
Program Analysis *
Programming Languages and Verification
- Advanced Model Engineering SE (Bork)
- Analyse und Verifikation VU (Knoop)
- Codegeneratoren VO (Krall)
- Computer-Aided Verification UE (Cerny)
- Computer Aided Verification VU (Cerny)
- Dynamic Compilation Dynamische Übersetzer VU (Krall)
- Effiziente Programme VU (Ertl)
- Fortgeschrittene funktionale Programmierung VU (Knoop)
- Fortgeschrittene objektorientierte Programmierung VU (Puntigam)
- High Performance Computing Hochleistungsrechnen VU (Träff)
- Optimierende Übersetzer VU (Knoop)
- Programmanalyse VU (Zuleger)
- Programmiersprachen VU (Puntigam)
- Project in Computer Science 1 Team-Based Research in Algorithmics PR (Chen)
- Requirements Engineering and Specification VU (Grünbacher)
- Semantik von Programmiersprachen VU (Zuleger)
- Seminar aus Programmiersprachen SE (Ertl)
- Seminar Formale Methoden SE (diverse)
- Seminar Formale Methoden SE (Kovacs)
- Seminar Formale Methoden SE (Weissenbacher)
- Seminar Formale Methoden SE (Zuleger)
- Software Testing VU (Winkler)
- Stackbasierte Sprachen VU (Ertl)
- Typsysteme VO (Puntigam)
Project in Logic and Artificial Intelligence *
- Project in Logic and Artificial Intelligence 1 PR (Eiter)
- Project in Logic and Artificial Intelligence 2 PR (Eiter)
Proof Theory *
Reinforcement Learning *
Responsible Digital Ethics *
SAT Algorithms, Applications and Extensions *
Seminar in Artificial Intelligence *
- Seminar in Artificial Intelligence Algorithmic and Computational Decision Theory SE (Chen)
- Seminar in Artificial Intelligence Neuroscience-based Artificial Intelligence SE (Lukasiewicz)
- Seminar in Artificial Intelligence SE (Eiter)
- Seminar in Artificial Intelligence SE (Woltran)
- Seminar in Artificial Intelligence - Theoretical Aspects of Machine Learning SE (Gärtner)
Seminar in Logic *
- Seminar aus Logik SE (Eiter)
- Seminar in Logic Formal Methods in Systems Engineering SE (Kovacs)
- Seminar in Logic SE (Eiter)
- Seminar in Logic SE (Fermüller)
Seminar in Theoretical Computer Science *
- Seminar aus Theoretischer Informatik SE (Eiter)
- Seminar in Theoretical Computer Science Algorithms SE (Raidl)
- Seminar in Theoretical Computer Science Complexity Theory SE (Pichler)
- Seminar in Theoretical Computer Science – Graph Algorithms and Computational Geometry SE (Nöllenburg)
- Seminar in Theoretical Computer Science SE (Eiter)
- Seminar in Theoretical Computer Science SE (Träff)
Stochastic Foundations of Cyber-Physical Systems *
Structural Decompositions and Meta Theorems *
Symmetric Cryptography *
Theoretical Foundations and Research Topics in Machine Learning *
Virtual and Augmented Reality *
Obligation: Keine Angabe
Algorithmics and Complexity
Knowledge Representation and Artificial Intelligence
- Complexity Analysis VU (Eiter)
- Description Logics and Ontologies VU (Ortiz de la Fuente)
- Probabilistic Programming and AI VU (Böck)
- Probabilistic Programming and AI VU (Cito)
- Seminar aus Datenbanken SE (Pichler)
_no module mapping_
- Advanced Mathematical Logic VU (Fokina)
- Advanced Model Engineering SE (Kappel)
- Advanced Model Engineering VU (Kappel)
- Algorithmen auf Graphen VU (Chwatal)
- Algorithmen auf Graphen VU (Saturni)
- Algorithmen in der Graphentheorie VU (Fleischner)
- Algorithmic Meta-Theorems Algorithmische Meta-Theoreme VU (Szeider)
- Algorithms in Graph Theory VU (Nöllenburg)
- Approximationsalgorithmen VU (Pferschy)
- Automated Deduction VU (Laura Kovács)
- Automaten und formale Sprachen VO (Kuich)
- Computability Theory VU (Fokina, San Mauro)
- Computer Aided Verification LU (Veith)
- Computer Aided Verification UE (Weissenbacher)
- Computer-Aided Verification UE (Weissenbacher)
- Computer Aided Verification VU (Veith)
- Computer Aided Verification VU (Weissenbacher)
- Critical Algorithm Studies SE (Cech)
- Deduktive Datenbanken VO (Woltran)
- Dependable Distributed Systems VU (Kastner)
- Didaktik in der Informatik Abenteuer Informatik SE (Futschek)
- Diplomarbeit SE (diverse)
- Discrete Mathematics VO (Drmota)
- Discrete Mathematics VO (Rubey)
- Diskrete Mathematik für Informatik UE (Drmota)
- Diskrete Mathematik für Informatik UE (Gittenberger)
- Diskrete Mathematik für Informatik UE (Karigl)
- Diskrete Mathematik für Informatik VO (Drmota)
- Diskrete Mathematik für Informatik VO (Gittenberger)
- Diskrete Mathematik für Informatik VO (Karigl)
- EDV-Vertragsrecht VO (Haslinger, Vinzenz)
- Effiziente Algorithmen VU (Leitner)
- Formale Methoden der Informatik UE (Lackner)
- Formale Verifikation von Software VU (Futschek)
- Forschungsmethoden VU (Grechenig)
- Frontiers of Algorithms and Complexity VU (Ganian)
- Funktionalanalysis 1 UE UE (Blümlinger)
- Geschichte der Logik VO (Fink)
- Graph Representation Learning VU ( Ismail Ilkan Ceylan)
- Higher Order Logic VU (Hetzl)
- High Performance Computing VU (Träff)
- Information Design VU (Zuleger)
- Introduction to the Coq proof assistant VU (Ciabattoni)
- Introduction to Type Theories VU (Kovacs)
- Knowledge-based Systems VU (Egly, Eiter, Tompits)
- Knowledge Management UE (Dorn)
- Knowledge Management VO (Dorn)
- Kommissionelle Abschlussprüfung
- Kommunikationstechnik SE (Dustdar)
- Kommunikation und Moderation VU (Pohl)
- Kommunikation und Rhetorik 2 SE (Pichlmair, Riedler)
- Komplexitätsanalyse VU (Eiter)
- Kryptographie VU (Egly)
- Kurt Gödel und die mathematische Logik VO (DePauli-Schimanovich)
- Lambda Calculus VO (Baaz)
- Lambda Calculus VO (Ciabattoni)
- Mathematical Programming VU (Brandstätter)
- Mathematical Programming VU (Ruthmair)
- Mathematische Logik 1 VU (Ciabattoni)
- Media and Brain 1 VU (Eidenberger)
- Media and Brain 2 VU (Eidenberger)
- Membrane Computing VU (Freund)
- Model Engineering VU (Kappel)
- Molecular Computing VU (Freund)
- Networks: Design and Analysis VU (Ljubic)
- Networks: Design and Analysis VU (Sinnl)
- Nichtklassische Logiken VU (Fermüller)
- Operations Research VU (Mehlmann)
- Optimization in Transport and Logistics VU (Hiermann, Ritzinger)
- Parallele Algorithmen VU (Träff)
- Patentrecht VO (Preglau)
- Practical Applications of Answer Set Programming VU (Weinzierl)
- Privates Wirtschaftsrecht VO (Lehner)
- Privatissimum aus Fachdidaktik Informatik PV (Freund)
- Problem Solving and Search in AI VU (Musliu)
- Programmiersprachen VL (Puntigam)
- Project in Computer Science 1 - Machine Learning Algorithms and Applications PR (Gärtner)
- Project in Computer Science 1 - Machine Learning Algorithms and Applications PR (Thiessen)
- Proof Systems in Modal Logic VU (Tompits)
- Proof Theory 2 VO (Baaz)
- Quantum Computing VO (Gruska)
- Requirements Engineering and Specification VU (Stallinger)
- Semantic Web Technologies VU (Ortiz de la Fuente)
- Semantik von Programmiersprachen VU (Gramlich)
- Seminar aus Algorithmik SE (Slivovsky)
- Seminar aus Artificial Intelligence SE (Eiter)
- Seminar aus Artificial Intelligence SE (Pichler)
- Seminar aus Logik SE (Hecher)
- Seminar aus Logik SE (Lolic)
- Seminar aus Programmiersprachen SE (Neumerkel)
- Seminar Formale Methoden SE (Cerny)
- Seminar für Diplomand innen für Logic and Computation SE (Kovacs)
- Seminar für Diplomand innen für Logic and Computation SE (Raidl)
- Seminar in Artificial Intelligence SE (Cito)
- Seminar in Artificial Intelligence SE (Fermüller)
- Seminar in Artificial Intelligence SE (Rauber)
- Seminar in Knowledge Representation and Reasoning SE (Eiter)
- Seminar in Theoretical Computer Science SE (Fichte)
- Seminar in Theoretical Computer Science SE (Freund)
- Similarity Modeling 1 VU (Eidenberger)
- Similarity Modeling 2 VU (Eidenberger)
- Sociology of Technology VU (Steinhardt)
- Software Model Checking VU (Weissenbacher)
- Software Testing VU (Artner)
- Software Testing VU (Bernhart)
- Software Testing VU (Ramler)
- Software Testing VU (Schramm)
- Structural Decompositions and Algorithms VU (Slivovsky)
- Technical English 1 VO (Oliva)
- Termersetzungssysteme VU (Moser)
- Theorie der Berechenbarkeit VU (Fokina)
- Theorie der Wissensrepräsentation VU (Eiter)
- TU Wien:Sicherheit, Privacy und Erklärbarkeit in Maschinellem Lernen VU (Rauber, Mayer)
- Übersetzer für Parallele Systeme VU (Moritsch)
- Verarbeitung deklarativen Wissens VO (Egly)
- Verfassungs- und Verwaltungsrecht UE (Zehetner)
- Verfassungs- und Verwaltungsrecht VO (Zehetner)
- Vertrags-u.Haftungsrecht f.Ingenieure VO (Proksch)
- Vertrags-u.Haftungsrecht f.Ingenieure VO (Ratka)
- Wissensbasierte Systeme VO (Egly, Eiter)
- Wissenschaftliche Methodik SE (Ertl)