Beschreibung

Absolventinnen und Absolventen dieses Moduls sollen die Inhalte der Vorlesung verstehen sowie diese wiedergeben und anwenden können. Sie sollen die Fähigkeit erworben haben, sich ähnliche Inhalte selbständig zu erarbeiten. Weiters sollen sie ein Grundverständnis für die Methoden der diskreten Mathematik erlangt haben. In der Vorlesung werden die folgenden Themen behandelt, die im Proseminar in weiterführenden Übungen vertieft werden.

• Wohlfundierte Induktion
• Graphen und Bäume
• Grundlagen des Abzählens
• Elementare Zahlentheorie
• Formale Sprachen und endliche Automaten
• Turing Maschinen
• Die Komplexitätsklassen P und NP