DM: Unterschied zwischen den Versionen

Aus Fachschaft_Informatik
Zur Navigation springen Zur Suche springen
Keine Bearbeitungszusammenfassung
(Wikilinks)
Zeile 17: Zeile 17:


== Allgemeines zur Lehrveranstaltung ==
== Allgemeines zur Lehrveranstaltung ==
* Modulart: [[BachelorPflichtmodule|Pflichtmodul]]
* Modulart: [[Pflichtmodul]]
* [[BachelorReferenzsemester|Referenzsemester]]: 1
* [[Referenzsemester]]: 1
* [[BachelorLeistungspunkte|Leistungspunkte]]: 9
* [[Leistungspunkte]]: 9


== Lehrveranstaltungsform ==
== Lehrveranstaltungsform ==
Zeile 30: Zeile 30:


== Literatur ==
== Literatur ==
[[Kategorie:Veranstaltung]]
[[Kategorie:Pflichtmodul]]

Version vom 2. Dezember 2007, 20:38 Uhr

Das Modul Diskrete Mathematik (DM) gehört zum Bachelorstudiengang.

Aktuelles

Inhalt

Das Modul soll einen Einstieg in die mathematischen Probleme und Konzepte geben, die einem in der Informatik immer wieder begegnen. Dazu werden verschiedene Themen der diskreten Mathematik aufgegriffen. Eine besondere Rolle spielt außerdem das Konstruieren von formalen Beweisen, da dies gerade in der formalen Informatik eine wichtige Grundlage bildet. Die behandelten Themen geben so außerdem eine Basis für die formale Informatik.

Die behandelten Themen umfassen u.a.:

  • Grundbegriffe (Mengen, Abbildungen, Funktionen, Relationen)
  • Graphen (gerichtete/ungerichtete, Bäume)
  • Strukturen (Halbgruppen, Monoide, Gruppen, Ringe, Körper, Polynomringe)
  • Ordnungsrelationen (Halbordnungen, Präzedenzrelationen, totale/lineare Ordnung, transitiver Abschluss)
  • Zahlen (natürliche, ganze, rationale, komplexe, Teilbarkeit, Algorithmen)
  • Beweistechniken (Induktionsbeweise, Beweis durch Gegenbeispiel, Widerspruchsbeweis, Schubfachprinzip)
  • Permutationen (Binomialkoeffizienten, binomische Formeln, Permutationsgruppen)
  • Rekursionen (homogene Rekurrenzen, erzeugende Funktionen)

Allgemeines zur Lehrveranstaltung

Lehrveranstaltungsform

  • 4 SWS Vorlesung
  • 2 SWS Übung

Voraussetzungen

  • Verbindlich: keine
  • Empfohlen: keine

Literatur