Suchergebnis: Katalogdaten im Herbstsemester 2019

Mathematik Bachelor Information
Wahlfächer
Auswahl: Algebra, Zahlentheorie, Topologie, diskrete Mathematik, Logik
NummerTitelTypECTSUmfangDozierende
401-3059-00LKombinatorik IIW4 KP2GN. Hungerbühler
KurzbeschreibungDer Kurs Kombinatorik I und II ist eine Einführung in die abzählende Kombinatorik.
LernzielDie Studierenden sind in der Lage, kombinatorische Probleme einzuordnen und die adaequaten Techniken zu deren Loesung anzuwenden.
InhaltInhalt der Vorlesungen Kombinatorik I und II: Kongruenztransformationen der Ebene, Symmetriegruppen von geometrischen Figuren, Eulersche Funktion, Cayley-Graphen, formale Potenzreihen, Permutationsgruppen, Zyklen, Lemma von Burnside, Zyklenzeiger, Saetze von Polya, Anwendung auf die Graphentheorie und isomere Molekuele.
401-3033-00LDie Gödel'schen SätzeW8 KP3V + 1UL. Halbeisen
KurzbeschreibungDie Vorlesung besteht aus drei Teilen:
Teil I gibt eine Einführung in die Syntax und Semantik der Prädikatenlogik erster Stufe.
Teil II behandelt den Gödel'schen Vollständigkeitssatz
Teil III behandelt die Gödel'schen Unvollständigkeitssätze
LernzielDas Ziel dieser Vorlesung ist ein fundiertes Verständnis der Grundlagen der Mathematik zu vermitteln.
InhaltSyntax und Semantik der Prädikatenlogik
Gödel'scher Vollständigkeitssatz
Gödel'sche Unvollständigkeitssätze
LiteraturErgänzende Literatur wird in der Vorlesung angegeben.
  •  Seite  1  von  1