TU Wien:Masterstudium Logic and Computation
Jump to navigation
Jump to search
| Links | Ehemalige LVAs, Studienplan |
|---|---|
| VoWi-Stats |
|
LVAs nach Pflichtmodulen[edit | edit source]
Algorithmics
Diplomarbeit
Discrete Mathematics
- Discrete Mathematics UE (Pfannerer-Mittas)
- Discrete Mathematics UE (Stufler)
- Discrete Mathematics UE (diverse)
- Discrete Mathematics VO (Drmota)
- Discrete Mathematics VO (Gittenberger)
- Discrete Mathematics VO (Rubey)
Formal Methods in Computer Science
Knowledge-based Systems
Logic and Computability
LVAs nach Wahlmodulen[edit | edit source]
Algorithmics and Complexity
- Algorithmic Geometry VU (Nöllenburg)
- Algorithmic Meta-Theorems Algorithmische Meta-Theoreme VU (Szeider)
- Algorithms in Graph Theory VU (Chen)
- Algorithms in Graph Theory VU (Nöllenburg)
- Approximation Algorithms VU (Kellerer)
- Distributed Algorithms VU (Schmid)
- Fixed-Parameter Algorithms and Complexity VU (Ganian)
- Frontiers of Algorithms and Complexity VU (Ganian)
- Graph Drawing Algorithms VU (Nöllenburg)
- Heuristic Optimization Techniques VU (Raidl)
- Komplexitätstheorie VU (Pichler)
- Mathematical Programming VU (Brandstätter)
- Mathematical Programming VU (Ruthmair)
- Modeling and Solving Constrained Optimization Problems VU (Di Gaspero)
- Networks Design and Analysis VU (Diverse)
- Parallele Algorithmen VU (Hunold)
- Parallele Algorithmen VU (Träff)
- Problems in Distributed Computing VU (Schmid)
- 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)
- 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 (Slivovsky)
- Seminar aus Algorithmik SE (Träff)
- Structural Decompositions and Algorithms VU (Slivovsky)
Algorithms and Complexity
- Critical Algorithm Studies SE (Cech)
- Networks: Design and Analysis VU (Sinnl)
- Optimization in Transport and Logistics VU (Hiermann, Ritzinger)
Fachübergreifende Qualifikationen
- Exkursion EX (Tellioglu)
- Forschungsmethoden VU (Grechenig)
- Kommunikation und Rhetorik 2 SE (Pichlmair, Riedler)
- Privatissimum aus Fachdidaktik Informatik PV (Freund)
- Wissenschaftliche Methodik SE (Ertl)
Formal Methods in Computer Science
- Formale Methoden der Informatik UE (Dvorak)
- Formale Methoden der Informatik UE (Kovacs)
- Formale Methoden der Informatik UE (Lackner)
- Formale Methoden der Informatik UE (Woltran)
Freie Wahlfächer und Transferable Skills
- Coaching als Führungsinstrument 2 SE (Fischer)
- Didaktik in der Informatik Abenteuer Informatik SE (Futschek)
- Didaktik in der Informatik Abenteuer Informatik SE (Landman)
- Didaktik in der Informatik SE (Weissenböck)
- EDV-Vertragsrecht VO (Haslinger, Vinzenz)
- Forschungsmethoden VU (Kühn)
- Kommunikation und Moderation VU (Pohl)
- Kommunikationstechnik SE (Cerwinka)
- Kommunikationstechnik SE (Dustdar)
- Kommunikationstechnik SE (Lobnig)
- Privatissimum aus Fachdidaktik Informatik SE (Freund)
- Präsentation und Moderation VU (Freund)
- Sociology of Technology VU (Steinhardt)
- Softskills für TechnikerInnen VU (Pichlmair)
Knowledge Representation and Artificial Intelligence
- Abstract Argumentation VU (Egly)
- Advanced Methods for Regression and Classification VU (Filzmoser)
- Algorithmic Social Choice VU (Chen)
- Complexity Analysis VU (Eiter)
- Datenbanktheorie VU (Pichler)
- Deductive Databases VO (Simkus)
- Description Logics and Ontologies VU (Diverse)
- Description Logics and Ontologies VU (Ortiz de la Fuente)
- Knowledge Graphs VU (Sallinger)
- Knowledge Management UE (Dorn)
- Knowledge Management VO (Dorn)
- Machine Learning VU (Musliu)
- Media and Brain 1 Künstliches Bewusstsein VU (Eidenberger)
- Media and Brain 1 VU (Eidenberger)
- Media and Brain 2 Künstliches Bewusstsein VU (Eidenberger)
- Media and Brain 2 VU (Eidenberger)
- Mobile Robotik VU (Bader)
- Nichtmonotones Schließen VU (Tompits)
- Practical Applications of Answer Set Programming VU (Weinzierl)
- Preferences in Artificial Intelligence VU (Lackner)
- Problem Solving and Search in AI VU (Musliu)
- Problem Solving and Search in Artificial Intelligence VU (Musliu)
- 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)
- Project in Computer Science 1 Team-Based Research in Algorithmics PR (Chen)
- SAT Solving und Erweiterungen VU (Egly)
- Security, Privacy and Explainability in Machine Learning
- Selbstorganisierende Systeme VU (Rauber)
- Semantic Technologies VU (Ortiz de la Fuente)
- Semantic Web Technologies VU (Ortiz de la Fuente)
- Seminar aus Artificial Intelligence SE (Egly)
- Seminar aus Datenbanken SE (Pichler)
- Seminar in Artificial Intelligence - Theoretical Aspects of Machine Learning SE (Gärtner)
- Seminar in Knowledge Representation and Reasoning SE (Egly)
- Similarity Modeling 1 - Computational Seeing and Hearing VU (Eidenberger)
- Similarity Modeling 1 VU (Eidenberger)
- Similarity Modeling 2 - Computational Seeing and Hearing VU (Eidenberger)
- Similarity Modeling 2 VU (Eidenberger)
- Theoretical Foundations and Research Topics in Machine Learning VU (Gärtner)
- Theorie der Wissensrepräsentation VU (Eiter)
- Theory of Knowledge Representation VU (Eiter)
- Verarbeitung deklarativen Wissens VO (Egly)
- Verarbeitung deklarativen Wissens VO (Eiter)
Logic, Mathematics, and Theoretical Computer Science
- AKLOG Beweistheorie 1 VO (Baaz)
- AKLOG Beweistheorie 2 VO (Baaz)
- AKLOG Lambda Kalkül VO (Baaz)
- Advanced Mathematical Logic VU (Fokina)
- Automated Deduction VU (Kovacs)
- Automated Deduction VU (Laura Kovács)
- Computability Theory VU (Fokina, San Mauro)
- Cryptocurrencies VU (Maffei)
- 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 (Fink)
- Geschichte der Logik VO (Tompits)
- Introduction to the Coq proof assistant VU (Ciabattoni)
- Kryptographie VU (Egly)
- Lambda Calculus VO (Baaz)
- Lambda Calculus VO (Ciabattoni)
- Membrane Computing VU (Freund)
- Membrane Computing VU (Rudolf Freund)
- Molecular Computing VU (Freund)
- Non-classical Logics VU (Fermüller)
- 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)
- Project in Computer Science 1 Team-Based Research in Algorithmics PR (Chen)
- Proof Systems in Modal Logic VU (Tompits)
- Proof Theory 2 VO (Baaz)
- Quantum Computing VU (Egly)
- Refutation Systems VO (Tompits)
- Seminar aus Logik SE (Egly)
- Seminar aus Theoretischer Informatik SE (Egly)
- Seminar in Logic SE (Leitsch)
- Seminar in Theoretical Computer Science SE (Fichte)
- Seminar in Theoretical Computer Science SE (Träff)
- Smart Contracts VU (Salzer, Di Angelo)
- Smart Contracts VU (di Angelo)
- Termersetzungssysteme VU (Moser)
- Theorie der Berechenbarkeit VU (Fokina)
Programming Languages and Verification
- Advanced Model Engineering SE (Bork)
- Advanced Model Engineering SE (Kappel)
- Advanced Model Engineering VU (Bork)
- Advanced Model Engineering VU (Kappel)
- Advanced Multiprocessor Programming VU (Träff)
- Analyse und Verifikation VU (Knoop)
- Codegeneratoren VO (Krall)
- Computer Aided Verification UE (Weissenbacher)
- Computer Aided Verification VU (Cerny)
- Computer Aided Verification VU (Weissenbacher)
- Computer-Aided Verification UE (Cerny)
- Computer-Aided Verification UE (Weissenbacher)
- Dynamic Compilation Dynamische Übersetzer VU (Krall)
- Effiziente Programme VU (Ertl)
- Formal Methods for Security and Privacy VU (Maffei)
- Fortgeschrittene funktionale Programmierung VU (Knoop)
- Fortgeschrittene objektorientierte Programmierung VU (Puntigam)
- High Performance Computing Hochleistungsrechnen VU (Träff)
- High Performance Computing VU (Träff)
- Model Engineering VU (Bork)
- Model Engineering VU (Kappel)
- Optimierende Übersetzer VU (Knoop)
- Programmanalyse VU (Zuleger)
- Programmiersprachen VL (Puntigam)
- Programmiersprachen VU (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)
- Project in Computer Science 1 Team-Based Research in Algorithmics PR (Chen)
- Requirements Engineering and Specification VU (Grünbacher)
- Requirements Engineering and Specification VU (Stallinger)
- Semantik von Programmiersprachen VU (Zuleger)
- Seminar Formale Methoden SE (Zuleger)
- Seminar Formale Methoden SE (diverse)
- Seminar aus Programmiersprachen SE (Neumerkel)
- Software Model Checking VU (Weissenbacher)
- Software Testing VU (Artner)
- Software Testing VU (Bernhart)
- Software Testing VU (Winkler)
- Stackbasierte Sprachen VU (Ertl)
- Typsysteme VO (Puntigam)
- Übersetzer für Parallele Systeme VU (Moritsch)
Prüfungsfach Diplomarbeit