Softcover. Zustand: Fine. Leichte Risse; Gebogener Buchrücken. Die mathematische Logik hat sich seit dem Ende des 19. Jahrhunderts als eigenständige Disziplin entwickelt. Boole, HIlbert u. a. haben daran entscheidenden Anteil. Charakteristische Elemente finden sich allerdings bereits in der traditionellen, der Philosophie verhafteten Logik (so Aristoteles, Leibniz). Ebbinghaus, Flum und Thomas belegen in diesem einführenden Lehrbuch die Prägung der mathematischen Logik durch die Mathematik: Durch Motivation und Zielsetzung, durch die Methode und schließlich durch die Anwendung in der Mathematik selbst. Auf Anwendungen in der Informatik wird am Beispiel der Logik-Programmierung eingegangen. Die 4. Auflage eines vielbeachteten, handlichen Werkes!
Verlag: Spektrum, Akad. Verl., Heidelberg ; Berlin ; Oxford, 1996
ISBN 10: 3827401305 ISBN 13: 9783827401304
Sprache: Deutsch
Anbieter: Gebrauchtbücherlogistik H.J. Lauterbach, Gummersbach, NRW, Deutschland
Broschiert. Zustand: Sehr gut. 4. Aufl. 21cm; X, 309 S. Broschiert; Zustand: Sehr Gut, eher ungelesen; Besitzerstempel; * Die Photos sind original von uns erstellt worden, u.a. erkennbar an einem kleinen weißen Stück Papier im oberen Schnitt. Ab und an verwenden Suchmaschinen Verlagsphotos, bei den Portalen selbst, werden aber nur unsere Originalphotos gezeigt.
Verlag: Duden ein Imprint von Cornelsen Verlag GmbH, 1992
ISBN 10: 3411156031 ISBN 13: 9783411156030
Sprache: Deutsch
Anbieter: Gerald Wollermann, Bad Vilbel, Deutschland
Taschenbuch. Zustand: Gut. 3., vollst. überarb. u. erw. 338 S. Innerhalb Deutschlands Versand je nach Größe/Gewicht als Großbrief bzw. Bücher- und Warensendung mit der Post oder per DHL. Rechnung mit MwSt.-Ausweis liegt jeder Lieferung bei. Sprache: Deutsch Gewicht in Gramm: 381.
Verlag: Wissenschaftliche Buchgesellschaft, Darmstadt, 1978
ISBN 10: 3534063546 ISBN 13: 9783534063543
Sprache: Deutsch
Anbieter: Antiquariat Renner OHG, Albstadt, Deutschland
Verbandsmitglied: BOEV
Softcover. Zustand: Sehr gut. Darmstadt, WBG 1978. IX, 288 S. OKart. Sehr gut erhalten.
Verlag: Spektrum Akademischer Verlag, 1996
ISBN 10: 3827401305 ISBN 13: 9783827401304
Sprache: Deutsch
Anbieter: book-link, Nufringen, BW, Deutschland
paperback. Zustand: Sehr gut. Seiten; M24-09-O-37-VG Sprache: Deutsch Gewicht in Gramm: 500.
Verlag: Springer Nature, 2021
ISBN 10: 3030738388 ISBN 13: 9783030738389
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 71,75
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 3rd edition. 304 pages. 9.50x6.25x1.00 inches. In Stock.
Paperback Oct 15, 2018. Zustand: gebraucht; wie neu. 6. Auflage 2018, ungebraucht.
Verlag: Spektrum Akademischer Verlag Gmbh, 2018
ISBN 10: 3662580284 ISBN 13: 9783662580288
Sprache: Deutsch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 65,35
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 6th edition. 376 pages. German language. 8.27x5.83x0.90 inches. In Stock.
Verlag: Springer Berlin Heidelberg, 2018
ISBN 10: 3662580284 ISBN 13: 9783662580288
Sprache: Deutsch
Anbieter: moluna, Greven, Deutschland
Kartoniert / Broschiert. Zustand: New. DIE fundierte deutschsprachige Einfuehrung in die mathematische LogikGut verstaendlich und mit vielen Aufgaben inkl. LoesungshinweisenIn der Neuauflage didaktisch ueberarbeitet und inhaltlich erweitert.
Verlag: Spektrum Akademischer Verlag, 1996
ISBN 10: 3827401305 ISBN 13: 9783827401304
Sprache: Deutsch
Anbieter: Der-Philo-soph, Viersen, NRW, Deutschland
8° Broschiert. Zustand: Sehr gut. 4. Sehr schönes, innen wie außen sauberes Exemplar. 320 S. Deutsch 550g.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2018, 2018
ISBN 10: 3662580284 ISBN 13: 9783662580288
Sprache: Deutsch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: 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 Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, 69121 Heidelberg 380 pp. Deutsch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2018, 2018
ISBN 10: 3662580284 ISBN 13: 9783662580288
Sprache: Deutsch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Taschenbuch. Zustand: Neu. Einführung in die mathematische Logik | Heinz-Dieter Ebbinghaus (u. a.) | Taschenbuch | ix | Deutsch | 2018 | Springer | EAN 9783662580288 | Verantwortliche Person für die EU: Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Verlag: Spektrum Akademischer Verlag, 1996
ISBN 10: 3827401305 ISBN 13: 9783827401304
Sprache: Deutsch
Anbieter: medimops, Berlin, Deutschland
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Verlag: Spektrum Akademischer Verlag, 2013
ISBN 10: 3827416914 ISBN 13: 9783827416919
Sprache: Deutsch
Anbieter: medimops, Berlin, Deutschland
Zustand: acceptable. Ausreichend/Acceptable: Exemplar mit vollständigem Text und sämtlichen Abbildungen oder Karten. Schmutztitel oder Vorsatz können fehlen. Einband bzw. Schutzumschlag weisen unter Umständen starke Gebrauchsspuren auf. / Describes a book or dust jacket that has the complete text pages (including those with maps or plates) but may lack endpapers, half-title, etc. (which must be noted). Binding, dust jacket (if any), etc may also be worn.
Verlag: Spektrum Akademischer Verlag, 2013
ISBN 10: 3827416914 ISBN 13: 9783827416919
Sprache: Deutsch
Anbieter: medimops, Berlin, Deutschland
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Verlag: Spektrum Akademischer Verlag, 2013
ISBN 10: 3827416914 ISBN 13: 9783827416919
Sprache: Deutsch
Anbieter: medimops, Berlin, Deutschland
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Verlag: BI-Wissenschaftsverlag, Mannheim/Leipzig/Wien/Zürich, 1992
ISBN 10: 3411156031 ISBN 13: 9783411156030
Sprache: Deutsch
Anbieter: Butterfly Books GmbH & Co. KG, Herzebrock-Clarholz, Deutschland
Softcover. Zustand: Gut. Dieses Buch bietet eine umfassende Einführung in die mathematische Logik. Es behandelt zentrale Themen wie den Gödel\ schen Vollständigkeitssatz und die Formulierung mathematischer Aussagen in der Sprache erster Stufe. Die Autoren bieten sowohl theoretische Grundlagen als auch praktische Anwendungen, insbesondere im Bereich der Informatik. Zustand: Einband mit stärkeren Gebrauchsspuren, Seiten geringfügig gebräunt, insgesamt GUTER Zustand. Stichworte: Genres: Wissenschaft, Mathematik, Logik; Schlagworte: mathematische Logik, Beweis, Theorie, Mathematik, Computer, Wissenschaft, Einführung, Logik-Programmierung, Beweiskraft, Universität. 338 Seiten Deutsch 374g.
ISBN 10: 3411156031 ISBN 13: 9783411156030
Sprache: Deutsch
Anbieter: medimops, Berlin, Deutschland
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
ISBN 10: 3411156031 ISBN 13: 9783411156030
Sprache: Deutsch
Anbieter: medimops, Berlin, Deutschland
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.