Logik und diskrete Strukturen Public

Wuf fy by

There are currently no modules in this course.

Start Course

Logik und diskrete Strukturen

Wuf fy
Course by Wuf fy, updated more than 1 year ago Contributors

Description

Mengen, Relationen, Abbildungen; Kardinalität von Mengen; Monoide, Gruppen, Ringe, Körper; Restklassenring modulo n; Aufbau des Zahlensystems; Deduktionsbeweis, indirekter Beweis, Beweis durch vollständige Induktion, Schubfachschluß, Diagonalschluß; abzählende Kombinatorik; Aussagenkalkül, Korrektheit und Vollständigkeit, Syntax und Semantik, Signaturen und Strukturen; Prädikatenkalkül 1. Stufe, Substitution, Normalformen; endliche Automaten, reguläre Sprachen.
Show full summary Hide full summary