Mathematik für Informatiker 1:Logik und Diskrete Mathematik: Unterschied zwischen den Versionen
Patzi (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Patzi (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 1: | Zeile 1: | ||
== Inhalt == | |||
* Aussagenlogik und mathematische Beweistechniken | |||
* Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül | |||
* Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen, Funktionen | |||
* Natürliche Zahlen und vollständige Induktion, Abzählbarkeit | |||
* Prädikatenlogik und mathematische Strukturen | |||
* Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip | |||
* 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] | ||
* [http://fsi.spline.de/wiki/index.php/Datei:Zwischen_muster.pdf Zwischenklausur WiSe07/08] | * [http://fsi.spline.de/wiki/index.php/Datei:Zwischen_muster.pdf Zwischenklausur WiSe07/08] | ||
== Literatur == | |||
*[[Literaturempfehlung#MAFI_1]] | |||
[[Category:Informatik]] | [[Category:Informatik]] | ||
[[Kategorie:Studienmodule | [[Kategorie:Studienmodule/Informatik]] |
Version vom 3. April 2012, 20:57 Uhr
Inhalt
- Aussagenlogik und mathematische Beweistechniken
- Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül
- Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen, Funktionen
- Natürliche Zahlen und vollständige Induktion, Abzählbarkeit
- Prädikatenlogik und mathematische Strukturen
- Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip
- Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume