Mathematik für Informatiker 1:Logik und Diskrete Mathematik: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
Patzi (Diskussion | Beiträge) K ({{Veraltet}}) |
||
| (2 dazwischenliegende Versionen von einem anderen Benutzer werden nicht angezeigt) | |||
| 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].''' | '''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].''' | ||
| Zeile 18: | Zeile 19: | ||
[[Category:Informatik]] | [[Category:Informatik]] | ||
[[Category: | [[Category:Mathematik_für_Informatik]] | ||
[[Kategorie:Studienmodule/Informatik]] | [[Kategorie:Studienmodule/Informatik]] | ||
Aktuelle Version vom 4. Oktober 2023, 15:05 Uhr
Dieser Artikel / Abschnitt ist veraltet!
Alle Seiten, in denen diese Vorlage verwendet wird, werden automatisch in die Kategorie:Veraltet einsortiert. Diese Seite bezieht sich auf das Modul "Logik und Diskrete Mathematik" nach der Studien- und Prüfungsordnung vom 8.2.2007.
Inhalt[Bearbeiten]
- 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