Nächstes Kolloquium am Institut

Thema:

Auffassung und Modell

Datum:

20.11.09

Uhrzeit:

14:15

Ort:

Ü2, LMS2 (Ludewig-Meyn-Str. 2)

Vortragender:

Prof. Dr. Bernd Mahr

Technische Universität Berlin

Auf Einladung von:

Prof. Dr. Bernhard Thalheim

Inhalt:

Das Wort Auffassung, wie es in verbaler Form in der Phrase "Etwas als etwas
auffassen" auftritt, meint einen ungerichteten intentionalen mentalen Zustand, in
dem ein Subjekt einen Gegenstand in einer bestimmten Weise auffasst. Eine an
Bolzano, Brentano und Searle anschließende Begriffsanalyse zeigt, dass jeder
mentale Zustand entweder selbst Auffassung ist oder auf Auffassung gründet.
Diese herausgehobene Rolle von Auffassungen rechtfertigt es, eine auf
Intentionalität gegründete Ontologie zu formulieren, in der jede Entität der
Inhalt einer Auffassung ist. Das vom Autor entwickelte Modell der Auffassung
erfüllt nachweislich diesen Zweck.

Das Wort Modell meint eine Qualifizierung eines Gegenstands, die ein Subjekt
diesem Gegenstand in einem Urteil zuspricht. Dem Urteil des Modellseins liegt
die Auffassung des Gegenstands als Modell zugrunde. Es stellt den als Modell
aufgefassten Gegenstand in einen für Modelle typischen Kontext. Mit dem vom
Autor entwickelten Modell des Modellseins, das sich auf diesen Gedanken
stützt, wird eine epistemische Grundlage der Modellierung gelegt, die durch das
Studium einer großen Zahl historischer Fälle und aktueller Modellbegriffe gut
bestätigt ist.

Der Vortrag erklärt und diskutiert beide miteinander zusammenhängenden
Begriffe, denen besonders auch in der Mathematik und der Informatik große
methodische und wissenschaftstheoretische Bedeutung zukommt. Beide
Begriffe haben weit reichende historische und philosophische Wurzeln und
bilden zusammen, so zeichnet sich ab, eine geeignete Basis für eine allgemeine
Theorie der Modellierung.

Thema:

Lattice-Free Polyhedra and Cutting-Plane Methods

Datum:

20.11.09

Uhrzeit:

16:00

Ort:

Ü2, LMS2 (Ludewig-Meyn-Str. 2)

Vortragender:

Dr. Gennadiy Averkov

Universität Magdeburg

Auf Einladung von:

Prof. Dr. Anand Srivastav

Inhalt:

From the geometrical viewpoint, cutting-plane methods from linear
integer optimization employ (for deriving a refined solution on the
next iteration) polyhedra $P$ which do not contain integer points in
their interior. Such polyhedra $P$ are called lattice-free. In this
talk we discuss maximal lattice-free polyhedra with integer vertices.
In particular, we give a complete classification of all
three-dimensional lattice-free polyhedra with the above properties.