Vorlesung mit Übung Mathematisches Handwerkszeug

Dipl.-Math. Maria Oelinger, Katrin Hofmann-Credner

"Keine Angst - der Beweis beisst nicht." In diesem Kurs möchten wir den Teilnehmerinnen etwas von der Schönheit und dem Spass in der Mathematik vermitteln und die Scheu vor der Materie nehmen. Wir möchten einige grundlegende Beweistechniken vorstellen, anhand konkreter Beispiele einüben und ein wenig über die Philosophie des Beweises diskutieren. Andererseits wollen wir einige für das Informatikstudium relevante Themen aus der Mathematik vorstellen. Themen: Was versteht man unter einem Beweis? Induktion, Widerspruchsbeweis, Gegenbeispiele, Fallunterscheidungen usw. Berühmte und berüchtigte Beispiele zum ßben. Zahlen und Graphen. Nebenbei werden gängige mathematische Hilfsmitel wie Quantoren, Konzepte der Logik und ähnliches erklärt. Ziel des Kurses ist es vor allem, den Teilnehmerinnen zu zeigen, dass Mathematik Spaß macht. qed.