cam a22 5 4500 559764375 CHVBK 20201018170201.0 m d cr |n |||||||| 190412s2018 gw |||| s 0 0|ger d 978-3-662-58029-5 978-3-662-58028-8 (print) 10.1007/978-3-662-58029-5 doi (SERSOL)ssj0002089994 (NEBIS)011315975 (WaSeSS)ssj0002089994 WaSeSS QA1-939 PB bicssc MAT000000 bisacsh 510 23 Ebbinghaus Heinz-Dieter author aut http://id Einführung in die mathematische Logik [Elektronische Daten] von Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas 6. Aufl. 2018 Berlin, Heidelberg Springer Berlin Heidelberg Imprint: Springer Spektrum 2018 1 online resource (IX, 367 S. 16 Abb.) online resource text file PDF rda Einleitung -- Syntax der Sprachen erster Stufe -- Semantik der Sprachen erster Stufe -- Ein Sequenzenkalkül -- Der Vollständigkeitssatz -- Der Satz von Löwenheim und Skolem und der Endlichkeitssatz -- Zur Tragweite der ersten Stufe -- Syntaktische Interpretationen und Normalformen -- Erweiterungen der Logik erster Stufe -- Berechenbarkeit und ihre Grenzen -- Freie Modelle und Logik-Programmierung -- Eine algebraische Charakterisierung der elementaren Äquivalenz -- Die Sätze von Lindström -- Lösungshinweise zu den Aufgaben -- Literaturverzeichnis -- Symbolverzeichnis -- Sach- und Personenverzeichnis. Lizenzbedingungen können den Zugang einschränken. License restrictions may limit access. Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden mathematischer Beweise Computern übertragen? Erst im 20. Jahrhundert ist es der mathematischen Logik gelungen, weitreichende Antworten auf diese Fragen zu geben. Im vorliegenden Werk werden die Ergebnisse systematisch zusammengestellt; im Mittelpunkt steht dabei die Logik erster Stufe. Die Lektüre setzt - außer einer gewissen Vertrautheit mit der mathematischen Denkweise - keine spezifischen Kenntnisse voraus. Für die vorliegende 6. Auflage wurde der Text überarbeitet und durch die Darstellung zweier für Logik und Informatik wichtiger Entscheidbarkeitsresultate erweitert. Die Autoren Prof. Dr. Heinz-Dieter Ebbinghaus und Prof. Dr. Jörg Flum forschen am Mathematischen Institut der Universität Freiburg, Prof. Dr. Wolfgang Thomas am Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) der RWTH Aachen. Mathematics LEHRBÜCHER (DOKUMENTENTYP) ger (ETHUDK)000000099 ethudk MATHEMATISCHE LOGIK ger (ETHUDK)000012502 ethudk u MATHEMATISCHE LOGIK ger 510.6 nebis E1 u LEHRBÜCHER (DOKUMENTENTYP) ger (075) nebis E1 u MATHEMATICAL LOGIC eng 510.6 nebis E1 u LOGIQUE MATHÉMATIQUE fre 510.6 nebis E1 u TEXTBOOKS (DOCUMENT TYPE) eng (075) nebis E1 u MANUELS POUR L'ENSEIGNEMENT (TYPE DE DOCUMENT) fre (075) nebis E1 Flum Jörg author aut http://id Thomas Wolfgang author aut http://id SpringerLink (Online service) Printed edition 9783662580288 https://link.springer.com/10.1007/978-3-662-58029-5 Uni Basel: Volltext https://link.springer.com/10.1007/978-3-662-58029-5 Uni Bern: Volltext BK020053 XK020053 XK020000 SpringerLINK ebooks - Life Science & Basic Disciplines (German Language) (2018) E-Books von 360MarcUpdates SpringerLINK ebooks - Life Science and Basic Disciplines (German Language) (2018) Life Science and Basic Disciplines (German Language) (Springer-11777) nebis ER Update201811 idsuzh U2 EText nebis ED noselfmerge ids I PB thema NEBIS E30 E30 EL IDSBB A145 A145 145VT https://link.springer.com/10.1007/978-3-662-58029-5 NELA1451901 IDSBB B405 B405 405VT https://link.springer.com/10.1007/978-3-662-58029-5 NELB4051902 IDSBB 100 1- Ebbinghaus Heinz-Dieter author aut http://id IDSBB 700 1- Flum Jörg author aut http://id IDSBB 700 1- Thomas Wolfgang author aut http://id IDSBB 710 2- SpringerLink (Online service) IDSBB 776 08 Printed edition 9783662580288 IDSBB 856 40 https://link.springer.com/10.1007/978-3-662-58029-5 Uni Basel: Volltext IDSBB 856 40 https://link.springer.com/10.1007/978-3-662-58029-5 Uni Bern: Volltext NEBIS 100 1- Ebbinghaus Heinz-Dieter 1939- (DE-588)107046857 Verfasser aut NEBIS 700 1- Flum Jörg 1944- (DE-588)121343391 Verfasser aut NEBIS 700 1- Thomas Wolfgang Verfasser aut NEBIS 856 -- https://link.springer.com/book/10.1007%2F978-3-662-58029-5 E30 Online via World Wide Web [BE-EXWI] Volltext=Texte intégral SWISSBIB 132638347 ORANGE 281337101