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

Allgemeine Informationen

Veranstaltungsname Übung: Übung Logik und Berechenbarkeit
Semester WS 2011/12
Aktuelle Anzahl der Teilnehmenden 0
erwartete Teilnehmendenanzahl 30
Heimat-Einrichtung Leitung des Instituts für Informatik
beteiligte Einrichtungen Theoretische Informatik
Veranstaltungstyp Übung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin Freitag, 14.10.2011 14:15 - 15: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__:
- Vorlesung
Leistungsnachweis Ein Übungsschein wird vergeben

Räume und Zeiten

Keine Raumangabe
Freitag: 14:15 - 15: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