Search result: Catalogue data in Autumn Semester 2019

Mathematics Bachelor Information
Electives
Selection: Algebra, Number Thy, Topology, Discrete Mathematics, Logic
NumberTitleTypeECTSHoursLecturers
401-3059-00LCombinatorics IIW4 credits2GN. Hungerbühler
AbstractThe course Combinatorics I and II is an introduction into the field of enumerative combinatorics.
ObjectiveUpon completion of the course, students are able to classify combinatorial problems and to apply adequate techniques to solve them.
ContentContents of the lectures Combinatorics I and II: congruence transformation of the plane, symmetry groups of geometric figures, Euler's function, Cayley graphs, formal power series, permutation groups, cycles, Bunside's lemma, cycle index, Polya's theorems, applications to graph theory and isomers.
401-3033-00LGödel's TheoremsW8 credits3V + 1UL. Halbeisen
AbstractDie 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
ObjectiveDas Ziel dieser Vorlesung ist ein fundiertes Verständnis der Grundlagen der Mathematik zu vermitteln.
ContentSyntax und Semantik der Prädikatenlogik
Gödel'scher Vollständigkeitssatz
Gödel'sche Unvollständigkeitssätze
LiteratureErgänzende Literatur wird in der Vorlesung angegeben.
  •  Page  1  of  1