Warnung: Du bist nicht angemeldet. Deine IP-Adresse wird bei Bearbeitungen öffentlich sichtbar.
Melde dich an oder
erstelle ein Benutzerkonto, damit Bearbeitungen deinem Benutzernamen zugeordnet werden. Ein eigenes Benutzerkonto hat eine ganze Reihe von Vorteilen.
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: |
| {{Veraltet}}
| |
| '''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 ==
| |
| * 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]] |
| [[Category:Mathematik_für_Informatik]]
| |
| [[Kategorie:Studienmodule/Informatik]]
| |