LEADER 02735nam  22004215  450 
001 9910484067703321
005 20200730124627.0
010   $a3-319-44180-9
024 7 $a10.1007/978-3-319-44180-1
035   $a(CKB)3710000000909119
035   $a(DE-He213)978-3-319-44180-1
035   $a(PPN)196324203
035   $a(EXLCZ)993710000000909119
100   $a20161010d2017      u|         0
101 0 $ager
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aMathematische Logik /$fvon Martin Ziegler
205   $a2nd ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Birkhäuser,$d2017.
215   $a1 online resource (X, 152 S. 5 Abb.) 
225 1 $aMathematik Kompakt,$x2504-3846
311   $a3-319-44179-5 
327   $aPrädikatenkalkül -- Strukturen und Formeln -- Semantik -- Allgemeingültige Formeln -- Der Gödelsche Vollständigkeitssatz -- Der Sequenzenkalkül -- Der Herbrandsche Satz -- Die Resolutionsmethode -- Mengenlehre -- Die Axiome -- Die natürlichen Zahlen -- Ordinalzahlen und Kardinalzahlen -- Metamathematik von ZFC -- Rekursionstheorie -- Registermaschinen -- Primitiv rekursive Funktionen und Gödelisierung -- Rekursiv aufzählbare Mengen -- Gödelnummern von Formeln -- Ein anderer Aufbau der rekursiven Funktionen -- Arithmetik -- Definierbare Relationen -- Das System Q -- Peanoarithmetik -- Der Zweite Gödelsche Unvollständigkeitssatz.
330   $aDieses Buch bietet eine Einführung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte. Nach dem Prädikatenkalkül und seinen Anwendungen auf die Anfänge der künstlichen Intelligenz wird die Mengenlehre axiomatisch dargestellt. Im dritten und vierten Teil werden die notwendigen Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der in den natürlichen Zahlen definierbaren Teilmengen eingeführt, um schließlich die Gödelschen Unvollständigkeitssätze zu beweisen. Durch seinen klaren Stil und die eingefügten Übungsaufgaben ist dieses Buch eine konzise Einführung in die logischen Grundlagen der Mathematik.
410  0$aMathematik Kompakt,$x2504-3846
606   $aLogic, Symbolic and mathematical
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
615  0$aLogic, Symbolic and mathematical.
615 14$aMathematical Logic and Foundations.
676   $a511.3
700   $aZiegler$b Martin$4aut$4http://id.loc.gov/vocabulary/relators/aut$0348915
906   $aBOOK
912   $a9910484067703321
996   $aMathematische Logik$92843905
997   $aUNINA