Logik und diskrete Strukturen Public

  • Email
  • Share
  • Contributors
  • Close Course

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.

There are currently no modules in this course.