Drucken | Kontakt | TU Wien
Home
nach oben zum seitenanfang

Details

Detailinformation

VU Theoretische Informatik und Logik


Ziele der Lehrveranstaltung

Vermittlung von Grundbegriffen  und Methoden der theoretischen Informatik  in Ergänzung und Vertiefung der in der LVA "Formale Modellierung" erworbenen Kennisse.  Dabei sollen grundlegende mathematische Fertigkeiten erlernt bzw. weiter trainiert werden (z.B. strukturelle Induktion, Instanziierung abstrakter Konzepte in unterschiedlichen Beispielen, Verwendung formaler Sprachen zur Spezifikation unterschiedlicher Formen von Information). Außerdem wird die Kenntnis wichtiger Grundresultate und Methoden aus dem Bereich der formalen Sprachen sowie der Aussagen- und Prädikatenlogik angestrebt.

Inhalt der Lehrveranstaltung

Spezifikation formaler Sprachen: reguläre und kontextfreie Sprachen (vertiefend), Chomsky-Hierarchie, endliche Automaten (vertiefend), Turingmaschinen, Kellerautomaten, Berechenbarkeit, Problem-Reduktion, Elemente der Komplexitätstheorie: P, NP;Syntax-Sematik-Schnittstelle, Modellstrukturen, Terme und Boolesche Ausdrücke, Syntax und Semantik einer einfachen Programmiersprache, klassischen Aussagen und Prädikatenlogik: Logische Konsequenz und Implikation, Normalformen, Natürliches Schließen, Semantische Tableaux, grundlegende Eigenschaften der Prädikatenlogik (Unentscheidbarkeit, Vollständigkeit etc.); Schließen über Programme: Hoare-Kalkül




zurück zur letzten Lehrveranstaltungweiter zur nächsten Lehrveranstaltung
Sie informierten sich überWeitere Erklärungen zur Statistik
Hier wird angezeigt, für welche Studien Sie sich besonders interessiert haben.

Technische Universität Wien

Karlsplatz 13, 1040 Wien, Österreich
Tel. +43(0)1/58801-0
Fax +43(0)1/58801-41099
Email: pr@tuwien.ac.at

TU Wien auf Facebook

Noch Fragen?

TU Wien auf Twitter

Service will be available again soon.
Wählen Sie die Darstellungsform der Tagcloud. Für Screenreader sollte "barrierefrei" gewählt werden.
Sie haben Javascript in Ihrem Browser deaktiviert (oder Ihr Browser unterstützt kein Javascript). Um die TagCloud betrachten zu können, aktivieren Sie Javascript in Ihrem Browser oder wechseln Sie hier zur TagCloud ohne Javascript.
Keine HTML5 Unterstützung gefunden

Sie können die animierte TagCloud leider nicht betrachten, da der von Ihnen verwendete Browser veraltet ist und keine HTML5 Unterstützung bietet (nähere Informationen zu HTML5 erhalten Sie hier [W3C] und auf Wikipedia).

Um die animierte TagCloud betrachten zu können, empfehlen wir Ihnen eine aktuellere Version Ihres Browsers zu installieren, oder einen anderen Browser zu verwenden. Eine Liste der bekanntesten modernen Browser mit HTML5 Unterstützung finden Sie weiter unten.

Klicken Sie auf eines der Symbole um zur Download Seite des jeweiligen Browsers zu gelangen.