Das vorliegende Blichlein ist aus Vorlesungen hervorgegangen, die wir abwechselnd an der Universitat Konstanz hielten und noch immer halten. Die Absicht dieser Vor lesung ist es, Mathematikstudenten mittlerer Semester einen Einblick in die Mengen lehre zu vermitteln, der ihnen gleichzeitig die flir die Mathematik wichtigsten mengen theoretischen Begriffe und Satze an die Hand gibt. Diese Vorlesung halten wir gewohnlich zweistlindig im Sommersemester. Hieraus resultiert die Anzahl der Kapitel - jede Woche wird ein Kapitel besprochen. Wir setzen dabei eine gewisse Vertrautheit des Studenten im...
Das vorliegende Blichlein ist aus Vorlesungen hervorgegangen, die wir abwechselnd an der Universitat Konstanz hielten und noch immer halten. Die Absic...
Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie Modal-Logik, Zeit-Logik und dynamische Logik einzufuhren. Die hier naher betrachteten intensionalen Systeme hangen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik naturlicher Sprachen betreffen.
Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie ...
