230019 Diskrete Mathematik (S) (SoSe 2016)

Behandelt werden diverse Grundlagen der Mathematik, insofern sie in der Computerlinguistik verstärkt Anwendung finden. Dazu gehören

• Verbände und boolesche Algebren
• Vektorräume und lineare Abbildungen
• Graphen

Zu wünschenswerten Vorkenntnissen siehe den nachfolgenden Block.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

Die inhaltliche Konzeption des Kurses nimmt Grundkenntnisse in Mengentheorie und formaler Sprachtheorie, wie sie zu den Inhalten des Kurses Formale Methoden 1 gehören. Diese Grundkenntnisse können ggf. durch einen individuell bestimmten Arbeitsmehraufwand parallel zur Veranstaltung erworben bzw. aufgefrischt werden. Grundkenntnisse in Aussagen- und Prädikatenlogik an, wie sie etwa in dem Kurs Formale Methoden 2 vermittelt werden, sind durchaus hilfreich, werden aber nicht vorausgesetzt.