Diese Seite ist aus Gründen der Barrierefreiheit optimiert für aktuelle Browser. Sollten Sie einen älteren Browser verwenden, kann es zu Einschränkungen der Darstellung und Benutzbarkeit der Website kommen!
zur Startseite
Suche:
www.lmu.de  |  Fakultät 16  |  Sitemap  |  LMU-Portal  |  Schulportal

AKTUELLES

ÜBER UNS

PERSONEN

FORSCHUNG

Wiss. Arbeitsgruppen

Algebraische Geometrie

Analysis, Mathematische Physik und Numerik

Differentialgeometrie und Topologie, Geometrie und Topologie

Mathematische Logik

Stochastik und Finanzmathematik

Didaktik der Mathematik

Forschungskooperationen

Abgeschlossene Projekte

STUDIUM

EINRICHTUNGEN

print
Startseite > Studium > Lehrmaterialien

Logik

Vorlesung im Wintersemester 2010/2011.

Formale Sprachen und formale Beweise. Semantik, Vollständigkeit der Prädikatenlogik erster Stufe. Kompaktheitssatz mit Anwendungen. Grundlagen der Theorie der Berechenbarkeit, Churchsche These, Unentscheidbarkeit der Prädikatenlogik. Gödelsche Sätze über die Unvollständigkeit von Erweiterungen der elementaren Zahlentheorie.

Personen

Dozent: Wilfried Buchholz
Assistent: Florian Ranzi
Korrektor: Marijan Holjevac
Tutor/Korrektor: Kilian Klebes

Termine

  • Vorlesung:
      Montag, 14-16 Uhr, Raum B004
      Mittwoch, 14-16 Uhr, Raum B004.
  • Tutorium (beginnt am 27.10.):
      Mittwoch, 10-12 Uhr, Raum B041
      Donnerstag, 12-14 Uhr, Raum A027
      Freitag, 12-14 Uhr, Raum B132
  • Klausur:
      Dienstag, 08.02.2011, 16:00-18:00 Uhr, Raum B 138 (Mathematisches Institut)

Literatur

  • Ebbinghaus, Flum, Thomas, Einführung in die mathematische Logik, Darmstadt 1978
  • van Dalen, Logic and Structure. Berlin 1980
  • Shoenfield, Mathematical Logic. Reading 1967
  • Rautenberg, Einführung in die Mathematische Logik, Vieweg 1996

Weitere Inhalte der Vorlesung wurden entfernt.


Seiteninhalt drucken
Nach oben
Impressum - Datenschutz - Kontakt