Mathematik

Titel: Mathematische Logik Organisation: UNI HEIDELBERG Seitenzahl: 248 Skript herunterladen (PDF) Inhalt I Collegium Logicum Die Aussagenlogik Syntax der Aussagenlogik Definition der aussagenlogischen Formeln Induktion und Rekursion Beweis durch Induktion über den Formelaufbau Definition durch […]

Titel: Mathematik für Informatiker I und II Organisation: UNI DORTMUND Seitenzahl: 308 Skript herunterladen (PDF) Inhalt Aussagen, Mengen, Abbildungen, Relationen Aussagen Informelle Definition von Aussagen Logische Verknüpfungen Mengen Mengen und deren Beschreibungen Allquantor und Existenzquantor […]