Einführung in die mathematische Logik

Verfasser / Beitragende:
von Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Ort, Verlag, Jahr:
Berlin, Heidelberg : Springer Berlin Heidelberg, Imprint: Springer Spektrum, 2018
Beschreibung:
1 online resource (IX, 367 S. 16 Abb.) : online resource
Format:
Buch (online)
Ausgabe:
6. Aufl. 2018
Online Zugang:
Uni Basel: Volltext
Uni Bern: Volltext
ID: 559764375
LEADER cam a22 5 4500
001 559764375
003 CHVBK
005 20201018170201.0
006 m d
007 cr |n ||||||||
008 190412s2018 gw |||| s 0 0|ger d
020 |a 978-3-662-58029-5 
020 |a 978-3-662-58028-8 (print) 
024 7 |a 10.1007/978-3-662-58029-5  |2 doi 
035 |a (SERSOL)ssj0002089994 
035 |a (NEBIS)011315975 
035 |a (WaSeSS)ssj0002089994 
040 |d WaSeSS 
050 4 |a QA1-939 
072 7 |a PB  |2 bicssc 
072 7 |a MAT000000  |2 bisacsh 
082 0 4 |a 510  |2 23 
100 1 |a Ebbinghaus  |D Heinz-Dieter  |e author  |4 aut  |4 http://id 
245 1 0 |a Einführung in die mathematische Logik  |h [Elektronische Daten]  |c von Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas 
250 |a 6. Aufl. 2018 
264 1 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |b Imprint: Springer Spektrum  |c 2018 
300 |a 1 online resource (IX, 367 S. 16 Abb.)  |b online resource 
347 |a text file  |b PDF  |2 rda 
505 0 |a 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. 
506 |a Lizenzbedingungen können den Zugang einschränken. License restrictions may limit access. 
520 |a 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. 
650 0 |a Mathematics 
650 7 |a LEHRBÜCHER (DOKUMENTENTYP)  |x ger  |0 (ETHUDK)000000099  |2 ethudk 
650 7 |a MATHEMATISCHE LOGIK  |x ger  |0 (ETHUDK)000012502  |2 ethudk 
691 7 |B u  |a MATHEMATISCHE LOGIK  |z ger  |u 510.6  |2 nebis E1 
691 7 |B u  |a LEHRBÜCHER (DOKUMENTENTYP)  |z ger  |u (075)  |2 nebis E1 
691 7 |B u  |a MATHEMATICAL LOGIC  |z eng  |u 510.6  |2 nebis E1 
691 7 |B u  |a LOGIQUE MATHÉMATIQUE  |z fre  |u 510.6  |2 nebis E1 
691 7 |B u  |a TEXTBOOKS (DOCUMENT TYPE)  |z eng  |u (075)  |2 nebis E1 
691 7 |B u  |a MANUELS POUR L'ENSEIGNEMENT (TYPE DE DOCUMENT)  |z fre  |u (075)  |2 nebis E1 
700 1 |a Flum  |D Jörg  |e author  |4 aut  |4 http://id 
700 1 |a Thomas  |D Wolfgang  |e author  |4 aut  |4 http://id 
710 2 |a SpringerLink (Online service) 
776 0 8 |i Printed edition  |z 9783662580288 
856 4 0 |u https://link.springer.com/10.1007/978-3-662-58029-5  |z Uni Basel: Volltext 
856 4 0 |u https://link.springer.com/10.1007/978-3-662-58029-5  |z Uni Bern: Volltext 
898 |a BK020053  |b XK020053  |c XK020000 
909 4 |f SpringerLINK ebooks - Life Science & Basic Disciplines (German Language) (2018) 
909 4 |a E-Books von 360MarcUpdates 
909 4 |f SpringerLINK ebooks - Life Science and Basic Disciplines (German Language) (2018) 
909 7 |a Life Science and Basic Disciplines (German Language) (Springer-11777)  |2 nebis ER 
909 7 |a Update201811  |2 idsuzh U2 
909 7 |a EText  |2 nebis ED 
909 7 |a noselfmerge  |2 ids I 
912 7 |a PB  |2 thema 
949 |B NEBIS  |F E30  |b E30  |c EL 
949 |B IDSBB  |F A145  |b A145  |c 145VT  |u https://link.springer.com/10.1007/978-3-662-58029-5  |x NELA1451901 
949 |B IDSBB  |F B405  |b B405  |c 405VT  |u https://link.springer.com/10.1007/978-3-662-58029-5  |x NELB4051902 
950 |B IDSBB  |P 100  |E 1-  |a Ebbinghaus  |D Heinz-Dieter  |e author  |4 aut  |4 http://id 
950 |B IDSBB  |P 700  |E 1-  |a Flum  |D Jörg  |e author  |4 aut  |4 http://id 
950 |B IDSBB  |P 700  |E 1-  |a Thomas  |D Wolfgang  |e author  |4 aut  |4 http://id 
950 |B IDSBB  |P 710  |E 2-  |a SpringerLink (Online service) 
950 |B IDSBB  |P 776  |E 08  |i Printed edition  |z 9783662580288 
950 |B IDSBB  |P 856  |E 40  |u https://link.springer.com/10.1007/978-3-662-58029-5  |z Uni Basel: Volltext 
950 |B IDSBB  |P 856  |E 40  |u https://link.springer.com/10.1007/978-3-662-58029-5  |z Uni Bern: Volltext 
950 |B NEBIS  |P 100  |E 1-  |a Ebbinghaus  |D Heinz-Dieter  |d 1939-  |0 (DE-588)107046857  |e Verfasser  |4 aut 
950 |B NEBIS  |P 700  |E 1-  |a Flum  |D Jörg  |d 1944-  |0 (DE-588)121343391  |e Verfasser  |4 aut 
950 |B NEBIS  |P 700  |E 1-  |a Thomas  |D Wolfgang  |e Verfasser  |4 aut 
950 |B NEBIS  |P 856  |E --  |u https://link.springer.com/book/10.1007%2F978-3-662-58029-5  |x E30  |z Online via World Wide Web [BE-EXWI]  |z Volltext=Texte intégral 
986 |a SWISSBIB  |b 132638347 
986 |a ORANGE  |b 281337101