MLU
Vorlesung: Logik und Berechenbarkeit - Details
Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Vorlesung: Logik und Berechenbarkeit
Semester WS 2009/10
Aktuelle Anzahl der Teilnehmenden 1
erwartete Teilnehmendenanzahl 30
Heimat-Einrichtung Leitung des Instituts für Informatik
beteiligte Einrichtungen Theoretische Informatik
Veranstaltungstyp Vorlesung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin Donnerstag, 08.10.2009 12:15 - 13:45
Art/Form Vorlesung
Teilnehmende - wahlobl. für Informatik
- fak. für Bioinformatik
- fak. für Mathematik
- fak. für Informatik-LAG
- fak. für Mathematik-mit-Wahlpflichtfach-Informatik
- fak. für Bioinformatik-Aufbaustudiengang
Lernorganisation __Zugehörige Veranstalltungen__:
- Übung
Leistungsnachweis Ein Übungsschein wird vergeben
ECTS-Punkte 5

Räume und Zeiten

Keine Raumangabe
Donnerstag: 12:15 - 13:45, wöchentlich(15x)
Freitag: 10:15 - 11:45, wöchentlich(15x)

Studienbereiche

Kommentar/Beschreibung

1. Syntax und Semantik der Prädikatenlogik erster Stufe

2. Vollständigkeitssatz und Endlichkeitssatz

3. Berechnebarkeit

4. Entscheidbarkeit und Unentscheidbarkeit

5. Erweiterungen der Logik erster Stufe

6. Die arithmetische Hierarchie

7. Orakel--berechenbare Funktionen

8. Die arithmetische Hierarchie von Mengen von Mengen