Einführung in die mathematische Logik (Sav Mathematik)

4,32 valoración promedio
( 19 valoraciones por Goodreads )
 
9783827416919: Einführung in die mathematische Logik (Sav Mathematik)
Ver todas las copias de esta edición ISBN.
 
 
Reseña del editor:

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. In der vorliegenden 5. Auflage finden sich erstmals Lösungsskizzen zu den Aufgaben.

Biografía del autor:

Prof. Dr. Heinz-Dieter Ebbinghaus und Prof. Dr. Jörg Flum forschen und lehren am Institut für Mathematik der Universität Freiburg, Prof. Dr. Wolfgang Thomas ist Inhaber des Lehrstuhls für Informatik 7 (Logik und Theorie diskreter Systeme) der RWTH Aachen.

"Sobre este título" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9783534063543: Einführung in die mathematische Logik

Edición Destacada

ISBN 10:  3534063546 ISBN 13:  9783534063543
Tapa blanda

9783411156030: Einführung in die mathematische Logik

Tapa blanda

9783827401304: Einfa1/4hrung in Die Mathematische Logik (Sav Mathematik)

Spektr..., 1996
Tapa blanda

9783860254158: Einf Hrung in Die Mathematische Logik (German Edition)

Not Avail
Tapa blanda

Los mejores resultados en AbeBooks

1.

Heinz-Dieter Ebbinghaus
Publicado por Spektrum Akademischer Verlag (2007)
ISBN 10: 3827416914 ISBN 13: 9783827416919
Nuevo Cantidad disponible: > 20
Impresión bajo demanda
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Spektrum Akademischer Verlag, 2007. PAP. Condición: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: IQ-9783827416919

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 25,34
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,42
A Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Ebbinghaus, Heinz-Dieter / Flum, Jörg
ISBN 10: 3827416914 ISBN 13: 9783827416919
Nuevo Cantidad disponible: 1
Librería
Valoración
[?]

Descripción Condición: New. Publisher/Verlag: Springer Spektrum | 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.In der vorliegenden 5. Auflage finden sich erstmals Lösungsskizzen zu den Aufgaben. | 1 Einleitung2 Syntax der Sprachen erster Stufe3 Semantik der Sprachen erster Stufe4 Ein Sequenzenkalkül5 Der Vollständigkeitssatz6 Löwenheim und Skolem und der Endlichkeitssatz7 Zur Tragweite der ersten Stufe8 Syntaktische Interpretationen und Normalformen9 Erweiterungen der Logik erster Stufe10 Grenzen der formalen Methode11 Freie Modelle und Logik-Programmierung12 Eine algebraische Charakterisierung der elementaren Äquivalenz13 Die Sätze von LindströmLösungshinweise zu den AufgabenLiteraturverzeichnisSymbolverzeichnisSach- und Personenverzeichnis | Format: Paperback | 454 gr | 339 pp. Nº de ref. del artículo: K9783827416919

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 27,99
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,75
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Springer
Publicado por Springer (2016)
ISBN 10: 3827416914 ISBN 13: 9783827416919
Nuevo Paperback Cantidad disponible: 1
Impresión bajo demanda
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción Springer, 2016. Paperback. Condición: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9783827416919_lsuk

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 26,81
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,35
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Heinz-Dieter Ebbinghaus (author), Jörg Flum (author), Wolfgang Thomas (author)
Publicado por Spektrum Akademischer Verlag 2007-09-18, Heidelberg (2007)
ISBN 10: 3827416914 ISBN 13: 9783827416919
Nuevo paperback Cantidad disponible: > 20
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción Spektrum Akademischer Verlag 2007-09-18, Heidelberg, 2007. paperback. Condición: New. Nº de ref. del artículo: 9783827416919

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 25,99
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,75
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Ebbinghaus, Heinz-Dieter
Publicado por Spektrum Akademischer Verlag 9/18/2007 (2007)
ISBN 10: 3827416914 ISBN 13: 9783827416919
Nuevo Paperback or Softback Cantidad disponible: 10
Librería
BargainBookStores
(Grand Rapids, MI, Estados Unidos de America)
Valoración
[?]

Descripción Spektrum Akademischer Verlag 9/18/2007, 2007. Paperback or Softback. Condición: New. Einf�hrung in Die Mathematische Logik. Book. Nº de ref. del artículo: BBS-9783827416919

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 34,24
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

6.

HEINZ-DIETER EBBINGHAUS
Publicado por Spektrum Akademischer Verlag (2007)
ISBN 10: 3827416914 ISBN 13: 9783827416919
Nuevo Paperback Cantidad disponible: 1
Librería
Herb Tandree Philosophy Books
(Stroud, GLOS, Reino Unido)
Valoración
[?]

Descripción Spektrum Akademischer Verlag, 2007. Paperback. Condición: NEW. 9783827416919 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Nº de ref. del artículo: HTANDREE0375974

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 26,64
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,97
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Heinz-Dieter Ebbinghaus
Publicado por Spektrum-Akademischer Vlg Sep 2007 (2007)
ISBN 10: 3827416914 ISBN 13: 9783827416919
Nuevo Taschenbuch Cantidad disponible: 1
Librería
Valoración
[?]

Descripción Spektrum-Akademischer Vlg Sep 2007, 2007. Taschenbuch. Condición: Neu. Neuware - 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. In der vorliegenden 5. Auflage finden sich erstmals Lösungsskizzen zu den Aufgaben. 340 pp. Deutsch. Nº de ref. del artículo: 9783827416919

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 27,99
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 12,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Publicado por Spektrum Akademischer Verlag (2013)
ISBN 10: 3827416914 ISBN 13: 9783827416919
Nuevo Paperback Cantidad disponible: 1
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Spektrum Akademischer Verlag, 2013. Paperback. Condición: New. 5. Aufl. 2007. Nº de ref. del artículo: DADAX3827416914

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 36,75
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,42
A Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Heinz-Dieter Ebbinghaus
Publicado por Spektrum-Akademischer Vlg Sep 2007 (2007)
ISBN 10: 3827416914 ISBN 13: 9783827416919
Nuevo Taschenbuch Cantidad disponible: 1
Librería
Rheinberg-Buch
(Bergisch Gladbach, Alemania)
Valoración
[?]

Descripción Spektrum-Akademischer Vlg Sep 2007, 2007. Taschenbuch. Condición: Neu. Neuware - 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. In der vorliegenden 5. Auflage finden sich erstmals Lösungsskizzen zu den Aufgaben. 340 pp. Deutsch. Nº de ref. del artículo: 9783827416919

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 27,99
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 17,13
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Heinz-Dieter Ebbinghaus
Publicado por Spektrum-Akademischer Vlg Sep 2007 (2007)
ISBN 10: 3827416914 ISBN 13: 9783827416919
Nuevo Taschenbuch Cantidad disponible: 1
Librería
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Alemania)
Valoración
[?]

Descripción Spektrum-Akademischer Vlg Sep 2007, 2007. Taschenbuch. Condición: Neu. Neuware - 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. In der vorliegenden 5. Auflage finden sich erstmals Lösungsskizzen zu den Aufgaben. 340 pp. Deutsch. Nº de ref. del artículo: 9783827416919

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 27,99
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 17,13
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda