Mathematik für Informatiker 1:Logik und Diskrete Mathematik: Unterschied zwischen den Versionen
Patzi (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Lus (Diskussion | Beiträge) K (hinweis neue studienordnung) |
||
Zeile 1: | Zeile 1: | ||
'''Diese Seite bezieht sich auf das Modul "Logik und Diskrete Mathematik" nach der [http://www.fu-berlin.de/service/zuvdocs/amtsblatt/2007/ab062007.pdf Studien- und Prüfungsordnung vom 8.2.2007].''' | |||
== 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 | |||
==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] |
Version vom 29. Dezember 2014, 22:59 Uhr
Diese Seite bezieht sich auf das Modul "Logik und Diskrete Mathematik" nach der Studien- und Prüfungsordnung vom 8.2.2007.
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