Mathematik für Informatiker 1:Logik und Diskrete Mathematik: Unterschied zwischen den Versionen

Aus Wiki - FSI Mathe/Info
(Die Seite wurde neu angelegt: „==Alte Klausuren== [http://fsi.spline.de/wiki/index.php/Datei:Loesung_klausur.pdf Klausur WiSe07/08] [http://fsi.spline.de/wiki/index.php/Datei:Zwischen_muster.pd…“)
 
K ({{Veraltet}})
 
(9 dazwischenliegende Versionen von 5 Benutzern 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].'''
== 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:Mathematik_für_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

Alte Klausuren[Bearbeiten]

Literatur[Bearbeiten]