Zurück
| Semester | Herbstsemester 2009 |
| Angebotsmuster | einmalig |
| Dozierende | Giovanni Sommaruga (giovanni.sommaruga@unibas.ch, BeurteilerIn) |
| Inhalt | Die Vorlesung handelt primär vom Beweisen, und zwar vom informalen Beweisen und vom formalen Beweisen innerhalb eines formalen Beweissystems der PL1. Sodann wird die Bedeutung von Korrektheit und Vollständigkeit eines formalen Systems der PL1 erklärt. Und schliesslich wird der Beweis des Vollständigkeitstheorems für PL1 von K. Gödel skizziert. |
| Bemerkungen | HörerInnen sind nur mit einschlägigen Vorkenntnissen zugelassen. |
| Teilnahmebedingungen | Erfolgter Besuch einer Lehrveranstaltung zur Einführung in die Prädikatenlogik 1. Stufe oder äquivalente Kenntnisse. |
| Unterrichtssprache | Deutsch |
| Einsatz digitaler Medien | kein spezifischer Einsatz |
| HörerInnen willkommen |
| Intervall | Wochentag | Zeit | Raum |
|---|
Keine Einzeltermine verfügbar, bitte informieren Sie sich direkt bei den Dozierenden.
| Module |
Modul Probleme der Theoretischen Philosophie (Bachelor Studienfach: Philosophie) Modul Theoretische Philosophie (Master Studienfach: Philosophie) |
| Leistungsüberprüfung | Leistungsnachweis |
| An-/Abmeldung zur Leistungsüberprüfung | Anmelden: Belegen; Abmelden: nicht erforderlich |
| Wiederholungsprüfung | eine Wiederholung, Wiederholung zählt |
| Skala | Pass / Fail |
| Wiederholtes Belegen | nicht wiederholbar |
| Zuständige Fakultät | Philosophisch-Historische Fakultät, studadmin-philhist@unibas.ch |
| Anbietende Organisationseinheit | Philosophisches Seminar |