Einführung in die Mathematische Logik: Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
Wolfgang Rautenberg (auth.)
Inhalt
Aussagenlogik - Pr?dikatenlogik - Der G?delsche Vollst?ndigkeitssatz - Grundlagen der Logikprogrammierung - Elemente der Modelltheorie - Unvollst?ndigkeit und Unentscheidbarkeit - Zur Theorie der Selbstreferenz - L?sungshinweise zu den ?bungen - Symbolverzeichnis
Zielgruppe
Studenten der Mathematik und Informatik ab dem 5. Semester
?ber den Autor/Hrsg
Professor Wolfgang Rautenberg lehrt Mathematik an der Freien Universit?t Berlin.
Aussagenlogik - Pr?dikatenlogik - Der G?delsche Vollst?ndigkeitssatz - Grundlagen der Logikprogrammierung - Elemente der Modelltheorie - Unvollst?ndigkeit und Unentscheidbarkeit - Zur Theorie der Selbstreferenz - L?sungshinweise zu den ?bungen - Symbolverzeichnis
Zielgruppe
Studenten der Mathematik und Informatik ab dem 5. Semester
?ber den Autor/Hrsg
Professor Wolfgang Rautenberg lehrt Mathematik an der Freien Universit?t Berlin.
Year:
1995
Publisher:
Vieweg+Teubner Verlag
Language:
german
Pages:
262
ISBN 10:
3528067543
ISBN 13:
9783528067540
File:
PDF, 6.33 MB
IPFS:
,
german, 1995
This book isn't available for download due to the complaint of the copyright holder
Beware of he who would deny you access to information, for in his heart he dreams himself your master
File converter
More search results
More benefits 
