MLU
Lecture: Logik und Berechenbarkeit - Details
You are not logged into Stud.IP.

General information

Course name Lecture: Logik und Berechenbarkeit
Semester WS 2011/12
Current number of participants 1
expected number of participants 30
Home institute Leitung des Instituts für Informatik
participating institutes Theoretische Informatik
Courses type Lecture in category Offizielle Lehrveranstaltungen
First date Thursday, 13.10.2011 12:15 - 13:45
Type/Form Vorlesung
Participants - 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
Learning organisation __Zugehörige Veranstalltungen__:
- Übung
Performance record Ein Übungsschein wird vergeben
ECTS points 5

Rooms and times

No room preference
Thursday: 12:15 - 13:45, weekly(15x)
Friday: 12:15 - 13:45, weekly(15x)

Fields of study

Comment/Description

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