國立虎尾科技大學 |

Einführung in die mathematische Logik

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Einführung in die mathematische Logik/ von Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas.
作者:	Ebbinghaus, Heinz-Dieter.
其他作者:	Flum, Jörg.
面頁冊數:	IX, 367 S. 16 Abb.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematics. -
電子資源:	https://doi.org/10.1007/978-3-662-58029-5
ISBN:	9783662580295

Einführung in die mathematische Logik
Ebbinghaus, Heinz-Dieter.

Einführung in die mathematische Logik[electronic resource] /von Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas. - 6th ed. 2018. - IX, 367 S. 16 Abb.online resource.

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.

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.

ISBN: 9783662580295

Standard No.: 10.1007/978-3-662-58029-5doiSubjects--Topical Terms:

527692
Mathematics.

LC Class. No.: QA1-939

Dewey Class. No.: 510

Einführung in die mathematische Logik
LDR:02819nam a22003495i 4500 001 986629
003 DE-He213
005 20200711150219.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|ger d
020 $a 9783662580295 $9 978-3-662-58029-5
024 7 $a 10.1007/978-3-662-58029-5 $2 doi
035 $a 978-3-662-58029-5
050 4 $a QA1-939
072 7 $a PB $2 bicssc
072 7 $a MAT000000 $2 bisacsh
072 7 $a PB $2 thema
082 0 4 $a 510 $2 23
100 1 $a Ebbinghaus, Heinz-Dieter. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1068007
245 1 0 $a Einführung in die mathematische Logik $h [electronic resource] / $c von Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas.
250 $a 6th ed. 2018.
264 1 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer Spektrum, $c 2018.
300 $a IX, 367 S. 16 Abb. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
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.
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. $3 527692
650 1 4 $a Mathematics, general. $3 669694
700 1 $a Flum, Jörg. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1279144
700 1 $a Thomas, Wolfgang. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1279145
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783662580288
856 4 0 $u https://doi.org/10.1007/978-3-662-58029-5
912 $a ZDB-2-SNA
950 $a Life Science and Basic Disciplines (German Language) (SpringerNature-11777)