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

Allgemeine Informationen

Veranstaltungsname Übung: Logik und Berechenbarkeit
Semester WS 2011/12
Aktuelle Anzahl der Teilnehmenden 1
erwartete Teilnehmendenanzahl 30
Heimat-Einrichtung Theoretische Informatik
Veranstaltungstyp Übung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin Freitag, 14.10.2011 10:15 - 11:45
Art/Form Übung
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
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