Bearbeiten von „Mathematik für Informatiker 1:Logik und Diskrete Mathematik“
Die Bearbeitung kann rückgängig gemacht werden. Bitte prüfe den Vergleich unten, um sicherzustellen, dass du dies tun möchtest, und veröffentliche dann unten deine Änderungen, um die Bearbeitung rückgängig zu machen.
Aktuelle Version | Dein Text | ||
Zeile 1: | Zeile 1: | ||
== Inhalt == | == Inhalt == | ||
* Aussagenlogik und mathematische Beweistechniken | * Aussagenlogik und mathematische Beweistechniken | ||
* Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül | * Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül | ||
* Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen, Funktionen | * Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen, Funktionen | ||
* Natürliche Zahlen und vollständige Induktion, Abzählbarkeit | * Natürliche Zahlen und vollständige Induktion, Abzählbarkeit | ||
* Prädikatenlogik und mathematische Strukturen | * Prädikatenlogik und mathematische Strukturen | ||
* Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip | * Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip | ||
* Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume | * Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume | ||
==Alte Klausuren== | ==Alte Klausuren== | ||
* [http://fsi.spline.de/wiki/index.php/Datei:Loesung_klausur.pdf Klausur WiSe07/08] | * [http://fsi.spline.de/wiki/index.php/Datei:Loesung_klausur.pdf Klausur WiSe07/08] | ||
Zeile 19: | Zeile 21: | ||
[[Category:Informatik]] | [[Category:Informatik]] | ||
[[Kategorie:Studienmodule/Informatik]] | [[Kategorie:Studienmodule/Informatik]] |