Kategorie:Theoretische Informatik und Logik
Zur Navigation springen
Zur Suche springen
Für Lehrveranstaltungen, die theoretische Informatik und/oder Logik behandeln.
Seiten in der Kategorie „Theoretische Informatik und Logik“
Folgende 111 Seiten sind in dieser Kategorie, von 111 insgesamt.
A
- TU Wien:Abstract Argumentation VU (Egly)
- TU Wien:Abstrakte Maschinen VO (Krall)
- TU Wien:Advanced Mathematical Logic VU (Fokina)
- TU Wien:Advanced Theoretical Computer Science VU (Kovács)
- TU Wien:AKNUM Reinforcement Learning VU (Clemens Heitzinger, Daniel Pasterk)
- MU Wien:Analyse natürlicher Sprache VU (Trost)
- TU Wien:Analyse und Verifikation VU (Knoop)
- TU Wien:Analysis VO (Pinsker)
- TU Wien:Argumentieren und Beweisen VU (Egly)
- TU Wien:Automated Deduction VU (Laura Kovács)
- TU Wien:Automaten und Formale Sprachen VU/UE (Freund)
C
- MU Wien:Cognitive Science VU (Trappl)
- TU Wien:Complexity Analysis VU (Eiter)
- TU Wien:Computability Theory VU (Fokina, San Mauro)
- TU Wien:Computer Aided Verification LU (Veith)
- TU Wien:Computer Aided Verification VU (Veith)
- TU Wien:Computer Aided Verification VU (Weissenbacher)
- MU Wien:Computer und natürliche Sprache AR (Trost)
- MU Wien:Computerunterstützte Diagnoseverfahren VU (Adlassnig)
D
E
- TU Wien:Ein- und Ausgabe von Sprache VO (Kommenda)
- TU Wien:Einführung in die AI VO (Gottlob)
- Uni Wien:Einführung in die Logik VO (Ramharter)
- Uni Wien:Einführung in die Theorie der Berechenbarkeit SE (Hafner)
- TU Wien:Einführung in Theoretische Informatik und Logik VU (Freund)
- TU Wien:Einführung in wissensbasierte Systeme LU (Fink)
- TU Wien:Einführung in wissensbasierte Systeme VU (Egly)
- TU Wien:Einführung in wissensbasierte Systeme VU (Egly, Tompits)
- MU Wien:Einführung in wissensbasierte Systeme VU (Horn)
F
- TU Wien:Formal Language Theory VU (Freund)
- TU Wien:Formal Methods for Security and Privacy VU (Maffei)
- Uni Wien:Formale Grundlagen der Informatik VU (Brezany)
- TU Wien:Formale Methoden der Informatik UE (Kovacs)
- TU Wien:Formale Methoden der Informatik VU (Egly)
- TU Wien:Formale Modellierung VU (Salzer)
- TU Wien:Fortgeschrittene logische Programmierung VU (Neumerkel)
G
- TU Wien:Geschichte der Logik VO (Fink)
- Uni Wien:Great Principles of Information Technology SE (Diverse)
- Uni Wien:Great Principles of Information Technology VO (Gansterer)
- Uni Wien:Grundlagen der Intelligenten Systeme VU (Karagiannis)
- TU Wien:Grundlagen methodischen Arbeitens SE (Fermüller)
- TU Wien:Grundlagen methodischen Arbeitens SE (Salzer)
- TU Wien:Grundzüge der Artificial Intelligence VO (Egly)
- TU Wien:Grundzüge der Informatik VU (Schildt)
I
- TU Wien:Information Economics VO (Hanappi)
- TU Wien:Intelligente Softwareagenten VU (Eiter)
- MU Wien:Intelligente Softwareagenten VU (Petta)
- TU Wien:Interdisziplinäres Didaktikpraktikum PR (Pichlmair)
- TU Wien:Introduction to deontic logic: challenges, formal systems, applications VU (Leendert van der Torre)
K
L
- TU Wien:Lambda Calculus VO (Baaz)
- TU Wien:Lambda Calculus VO (Ciabattoni)
- TU Wien:Logic and Computability VU (Ciabattoni)
- TU Wien:Logik für Wissensrepräsentation VO (Tompits)
- TU Wien:Logikorientierte Programmierung VL (Egly)
- TU Wien:Logikorientierte Programmierung VL (Neumerkel)
- TU Wien:Logikprogrammierung und Constraints VU (Neumerkel)
M
N
P
- TU Wien:Parallele Algorithmen VU (Träff)
- TU Wien:Practical Applications of Answer Set Programming VU (Weinzierl)
- TU Wien:Probabilistisches Schließen VU (Lukasiewicz)
- Uni Wien:Program Optimisations and Runtime Systems VU (Mehofer)
- TU Wien:Programmanalyse VU (Zuleger)
- Uni Wien:Programming for Business Analytics VU (Braune)
- TU Wien:Proof Systems in Modal Logic VU (Tompits)
- TU Wien:Proof Theory 2 VO (Baaz)
S
T
- Uni Wien:Theoretische Informatik 1 VU (Brezany)
- TU Wien:Theoretische Informatik 1 VU (Kuich)
- TU Wien:Theoretische Informatik 2 VU (Baaz)
- TU Wien:Theoretische Informatik und Logik VU (Fermüller, Freund)
- TU Wien:Theoretische Informatik und Logik VU (Freund, Oswald)
- TU Wien:Theoretische Informatik und Logik VU (Gramlich, Oswald)
- TU Wien:Theoretische Informatik und Logik VU (Leitsch, Oswald)
- Uni Wien:Theoretische Informatik VO (Mehofer)
- TU Wien:Theorie der Wissensrepräsentation VU (Eiter)
- TU Wien:Theory of Knowledge Representation VU (Eiter)
- TU Wien:Typsysteme VO (Puntigam)