Articles liés à Einführung in die mathematische Logik
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 44,54
EUR 2,26 expédition vers Etats-Unis
Destinations, frais et délaisRésultats de recherche pour Einführung in die mathematische Logik
Image fournie par le vendeur
Einführung in Die Mathematische Logik -Language: german
Edité par
Springer Spektrum, 2018
ISBN 10 : 3662580284
ISBN 13 : 9783662580288
Neuf
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 33807897-n
Quantité disponible : 15 disponible(s)
Image d'archives
Einführung in die mathematische Logik (German Edition)
Edité par
Springer Spektrum, 2018
ISBN 10 : 3662580284
ISBN 13 : 9783662580288
Neuf
Couverture souple
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020317863
Quantité disponible : Plus de 20 disponibles
Image d'archives
Einfhrung in die mathematische Logik (Paperback)
Edité par
Springer Fachmedien Wiesbaden, Weisbaden, 2018
ISBN 10 : 3662580284
ISBN 13 : 9783662580288
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. 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 uebertragen? 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 Lektuere setzt ausser einer gewissen Vertrautheit mit der mathematischen Denkweise keine spezifischen Kenntnisse voraus. Fuer die vorliegende 6. Auflage wurde der Text ueberarbeitet und durch die Darstellung zweier fuer Logik und Informatik wichtiger Entscheidbarkeitsresultate erweitert. Jahrhundert ist es der mathematischen Logik gelungen, weitreichende Antworten auf diese Fragen zu geben. im Mittelpunkt steht dabei die Logik erster Stufe. Auflage wurde der Text ueberarbeitet und durch die Darstellung zweier fuer Logik und Informatik wichtiger Entscheidbarkeitsresultate erweitert. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783662580288
Quantité disponible : 1 disponible(s)
Image d'archives
Einführung in die mathematische Logik (German Edition)
Edité par
Springer Spektrum, 2018
ISBN 10 : 3662580284
ISBN 13 : 9783662580288
Neuf
Couverture souple
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783662580288
Quantité disponible : Plus de 20 disponibles
Image d'archives
Einführung in die mathematische Logik (German Edition)
Edité par
Springer Spektrum, 2018
ISBN 10 : 3662580284
ISBN 13 : 9783662580288
Neuf
Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783662580288_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Einf�hrung in die mathematische Logik
Edité par
Springer Spektrum 2018-10-15, 2018
ISBN 10 : 3662580284
ISBN 13 : 9783662580288
Neuf
Paperback
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783662580288
Quantité disponible : 10 disponible(s)
Image d'archives
Einf?hrung in die mathematische Logik (German Edition)
Edité par
Springer Spektrum, 2018
ISBN 10 : 3662580284
ISBN 13 : 9783662580288
Neuf
Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 376. N° de réf. du vendeur 26380403892
Quantité disponible : 4 disponible(s)
Image d'archives
Einf?hrung in die mathematische Logik (German Edition)
Edité par
Springer Spektrum, 2018
ISBN 10 : 3662580284
ISBN 13 : 9783662580288
Neuf
Couverture souple
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 376. N° de réf. du vendeur 383467371
Quantité disponible : 4 disponible(s)
Image d'archives
Einführung in die mathematische Logik: Lehrbuchq Ebbinghaus, Heinz-Dieter; Flum, Jörg and Thomas, Wolfgang
Edité par
Springer Spektrum, 2018
ISBN 10 : 3662580284
ISBN 13 : 9783662580288
Ancien ou d'occasion
Paperback Oct 15, 2018
Vendeur : online-buch-de, Dozwil, Suisse
Évaluation du vendeur 5 sur 5 étoiles
Paperback Oct 15, 2018. Etat : gebraucht; wie neu. 6. Auflage 2018, ungebraucht. N° de réf. du vendeur 70-4-1-23
Quantité disponible : 1 disponible(s)
Image d'archives
Einf?hrung in die mathematische Logik (German Edition)
Edité par
Springer Spektrum, 2018
ISBN 10 : 3662580284
ISBN 13 : 9783662580288
Neuf
Couverture souple
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 376. N° de réf. du vendeur 18380403902
Quantité disponible : 4 disponible(s)