TUM INFO V - Proseminar [an error occurred while processing this directive]

Proseminar für Mathematiker - WS 2006/2007
Mathematische Methoden in der Informatik ("EiPro 33 1/3")

Prof. Dr. Hans-Joachim Bungartz, Dr. Stefan Zimmer
Informatik ist für Mathematiker keinesfalls so öde, wie man nach der "Einführung in die Programmierung" vielleicht meinen mag: die Dinge, mit denen die Informatik sich beschäftigt, erlauben eine Beschreibung mit Methoden aus der Mathematik – und erfordern sie auch, weil die entstehenden Systeme so komplex sind, dass Intuition und Ausprobieren oft in die Irre gehen (und das kann teuer werden).

In diesem Proseminar sollen ausgewählte Szenarien diskutiert werden, in denen mathematische Methoden in der Informatik zum Einsatz kommen. Der Bereich der Themen spannt sich dabei von der Analyse von Algorithmen (Laufzeit, Speicherplatzbedarf, beweisbare Korrektheit) über ausgewählte Kapitel der theoretischen Informatik bis hin zu mathematischen Aspekten der Computergraphik.

Voraussetzungen: Dieses Proseminar ist gedacht für die Leute, denen die Übungsaufgaben in "Einführung in die Programmierung" Spaß gemacht haben (oder denen sie zu einfach waren :-) ) und die sich vielleicht jetzt schon beim Programmieren ab und zu mal fragen, ob man da nicht die schönen Beweistechniken aus den Mathe-Vorlesungen anwenden könnte.

Vorbesprechung: Montag, 24.7.2006, 16:00 im Raum MI 02.07.023 - die Folien gibt's hier

Termin: Dienstags, 14:45-16:15 im Raum MI 02.07.023; erstmalig am 24.10.

Geänderter Terminplan:  Die erste Semesterwoche sollte frei gehalten werden für SET etc. - durch Ausfall eines Vortrags ist das möglich geworden, die ersten drei Vorträge verschieben sich um eine Woche nach hinten:

 

Termin Thema Deadline Gliederung
17.10.06 - -
24.10.06 Neu: Rekursionsgleichungen 12.9.06 (wegen Ferienakademie)
31.10.06 Neu: Komplexität 4.10.06 (Mi)
7.11.06 Neu: Quicksort 10.10.06
14.11.06 Multiplizieren 17.10.06
21.11.06 Primzahlen 24.10.06
  (Hoare'sche Regeln, Teil 1) 31.10.06
28.11.06 Hoare'sche Regeln, Teil 2 7.11.06
5.12.06 Kontextfreie Sprachen 14.11.06
12.12.06 Pumping Lemma 21.11.06
19.12.06 C-Grammatik 28.11.06
9.1.07 Bresenham 5.12.06
  (Numerische Quadratur, Archimedes) 12.12.06

[an error occurred while processing this directive]