Mathematische Logik

AvMartin Ziegler

Häftad, Tyska, 2016

Del i serien Mathematik Kompakt

208 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

168 kr

229 kr

Beskrivning

Dieses Buch bietet eine Einführung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte.

Produktinformation

Utgivningsdatum:2016-10-18
Mått:168 x 240 x 10 mm
Vikt:287 g
Format:Häftad
Språk:Tyska
Serie:Mathematik Kompakt
Antal sidor:152
Upplaga:2
Förlag:Birkhauser Verlag AG
ISBN:9783319441795

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Mer om författaren

Martin Ziegler ist Professor für Mathematische Logik an der Albert-Ludwigs-Universität Freiburg.

Innehållsförteckning

Prä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.

Mer från samma författare

Katrin Tent, Martin Ziegler - A Course in Model Theory, Inbunden

Del 40

A Course in Model Theory

Katrin Tent, Martin Ziegler

Inbunden, 2012

786 kr

Martin Ziegler - Fluide vital, Häftad

Fluide vital

Martin Ziegler

Häftad, 2018

135 kr

Martin Ziegler, Thomas Mussenbrock, Hermann Kohlstedt - Bio-Inspired Information Pathways, Inbunden

Bio-Inspired Information Pathways

Martin Ziegler, Thomas Mussenbrock, Hermann Kohlstedt

Inbunden, 2023

561 kr

Martin Ziegler, Thomas Mussenbrock, Hermann Kohlstedt - Bio-Inspired Information Pathways, Häftad

Bio-Inspired Information Pathways

Martin Ziegler, Thomas Mussenbrock, Hermann Kohlstedt

Häftad, 2023

448 kr

Martin Ziegler - Geotechnische Nachweise nach EC 7 und DIN 1054, Häftad

Geotechnische Nachweise nach EC 7 und DIN 1054

Martin Ziegler

Häftad, 2012

683 kr

Martin Ziegler - Geotechnische Nachweise nach EC 7 und DIN 1054, E-bok

Geotechnische Nachweise nach EC 7 und DIN 1054

Martin Ziegler

E-bok

2012

687 kr

Martin Ziegler - Geotechnische Nachweise nach EC 7 und DIN 1054, E-bok

Geotechnische Nachweise nach EC 7 und DIN 1054

Martin Ziegler

E-bok

2012

687 kr

Jörg Flum, Martin Ziegler - Topological Model Theory, Häftad

Del 769

Topological Model Theory

Jörg Flum, Martin Ziegler

Häftad, 1980

275 kr

Martin Ziegler, Jorg Flum - Topological Model Theory, E-bok

Topological Model Theory

Martin Ziegler, Jorg Flum

E-bok

2006

351 kr

Martin Ziegler - Vorbereiten und Rühren eines Martini Cocktails (Unterweisung Hotelfachmann / -frau), Häftad

Vorbereiten und Rühren eines Martini Cocktails (Unterweisung Hotelfachmann / -frau)

Martin Ziegler

Häftad, 2012

357 kr

Mer från samma serie

Wolfgang König - Große Abweichungen, Häftad

Große Abweichungen

Wolfgang König

Häftad, 2020

208 kr

Kristina Reiss, Christoph Hammer - Grundlagen der Mathematikdidaktik, Häftad

Grundlagen der Mathematikdidaktik

Kristina Reiss, Christoph Hammer

Häftad, 2021

202 kr

Gert Schubring - Geschichte der Mathematik in ihren Kontexten, Häftad

Geschichte der Mathematik in ihren Kontexten

Gert Schubring

Häftad, 2021

208 kr

Götz Kersting - Die Mathematik hinter Klang und Musik, Häftad

Die Mathematik hinter Klang und Musik

Götz Kersting

Häftad, 2023

214 kr

Gernot Stroth, Rebecca Waldecker - Elementare Algebra und Zahlentheorie, Häftad

Elementare Algebra und Zahlentheorie

Gernot Stroth, Rebecca Waldecker

Häftad, 2024

208 kr

Lisa Beck, Bernd Schmidt - Variationsrechnung, Häftad

Variationsrechnung

Lisa Beck, Bernd Schmidt

Häftad, 2025

208 kr

Kiyan Naderi, Konstantin Pankrashkin - Einführung in die spektrale Graphentheorie, Häftad

Einführung in die spektrale Graphentheorie

Kiyan Naderi, Konstantin Pankrashkin

Häftad, 2024

208 kr

Christian Clason - Einführung in die Funktionalanalysis, Häftad

Einführung in die Funktionalanalysis

Christian Clason

Häftad, 2025

208 kr

Mihyun Kang, Philipp Sprüssel - Diskrete Mathematik für die Informatik, Häftad

Diskrete Mathematik für die Informatik

Mihyun Kang, Philipp Sprüssel

Häftad, 2025

167 kr

Jochen Blath, Marcel Ortgiese, Michael Scheutzow - Stochastische Modelle der Versicherungsmathematik, Häftad

Stochastische Modelle der Versicherungsmathematik

Jochen Blath, Marcel Ortgiese, Michael Scheutzow

Häftad, 2025

207 kr

Du kanske också är intresserad av

Martin Ziegler - Mathematische Logik, E-bok

Mathematische Logik

Martin Ziegler

E-bok

2016

229 kr

Martin Ziegler - Mathematische Logik, E-bok

Mathematische Logik

Martin Ziegler

E-bok

2011

168 kr

Christian Clason - Einführung in die Funktionalanalysis, Häftad

Einführung in die Funktionalanalysis

Christian Clason

Häftad, 2025

208 kr

Wolfgang König - Große Abweichungen, Häftad

Große Abweichungen

Wolfgang König

Häftad, 2020

208 kr

Hansjoerg Albrecher, Andreas Binder, Philipp Mayer - Einführung in die Finanzmathematik, Häftad

Einführung in die Finanzmathematik

Hansjoerg Albrecher, Andreas Binder, Philipp Mayer

Häftad, 2009

208 kr

Walter Zulehner - Numerische Mathematik, Häftad

Numerische Mathematik

Walter Zulehner

Häftad, 2007

207 kr

Gert Schubring - Geschichte der Mathematik in ihren Kontexten, Häftad

Geschichte der Mathematik in ihren Kontexten

Gert Schubring

Häftad, 2021

208 kr

Manfred Deistler, Wolfgang Scherrer - Modelle der Zeitreihenanalyse, Häftad

Modelle der Zeitreihenanalyse

Manfred Deistler, Wolfgang Scherrer

Häftad, 2017

208 kr

Jürgen Scheurle - Gewöhnliche Differentialgleichungen, Häftad

Gewöhnliche Differentialgleichungen

Jürgen Scheurle

Häftad, 2017

208 kr

Martin Brokate, Gotz Kersting - Maß und Integral, Häftad

Maß und Integral

Martin Brokate, Gotz Kersting

Häftad, 2019

208 kr