Prof. Dr. M.Armbrust

Vorlesung               FORMALE LOGIK II (Bereich B: Algebra und Grundlagen)      
                        4 St. Di., Do. 10-12                                      
                        im Seminarraum 2 des Mathematischen Instituts             

                                                                                            

Übungen                 zur Formalen Logik II                                     
                        2 St. Mi. 11-13                                           
                        im Seminarraum 2 des Mathematischen Instituts             

                                                                                            

Seminar                 über Mathematische Logik                                  
                        2 St. Mi. 9-11                                            
                        im Seminarraum 2 des Mathematischen Institut              

Die Vorlesung ist eine Fortsetzung meiner Vorlesung des Sommersemesters 1997. Zunächst wird die prädikatenlogische Resolution bis zu Anwendungen bei PROLOG-Berechnungen weiterentwickelt, woran sich ein Kapitel über rekursive Funktionen anschließt. Zum Abschluß werden dann die Grenzen der formalen Methode aufgezeigt: Unentscheidbarkeit der Logik erster Stufe, Unvollständigkeit der Logik zweiter Stufe, Unvollständigkeit der (Peano-)Arithmetik.

Die Teilnahme an den Übungen wird dringend empfohlen. Der Übungsschein wird vergeben aufgrund hinreichender Semesterleistung und bestandener Abschlußklausur.

Am Seminar über Mathematische Logik können nur Hörer meiner Vorlesung im Sommersemester 1997 teilnehmen, die dazu einen Übungsschein erworben haben.