|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
Logic and Structure (Universitext)
und über 1 Million weitere Bücher verfügbar für Amazon Kindle .
Erfahren Sie mehr
| ||||||||||||||||||
 Gutschein erhalten
Tauschen Sie jetzt Logic and Structure (Universitext) gegen einen Amazon-Gutschein in Höhe von EUR 16,85 ein - einlösbar für Tausende von Artikeln bei Amazon.de. Entdecken Sie mehr eintauschbare Bücher im Bücher Trade-In Shop. Bitte beachten Sie die Teilnahmebedingungen.
 Jetzt für Amazon Student anmelden und um 20% erhöhten Eintauschwert sichern. |
Wird oft zusammen gekauft
Produktinformation
Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?
Ist der Verkauf dieses Produkts für Sie nicht akzeptabel? |
Mehr über den Autor
Entdecken Sie Bücher, lesen Sie über Autoren und mehr
› Besuchen Sie die Seite von Dirk van Dalen auf Amazon
› Besuchen Sie die Seite von Dirk van Dalen auf Amazon
Produktbeschreibungen
Pressestimmen
From the reviews of the fourth edition: "This book teaches logic to mathematicians in just the way I would have wished. … Beginning with the propositional calculus by means of truth-tables, i.e. the semantics, it proceeds to the syntactics in the form of Gentzen’s natural deduction. … this fourth edition has a long final chapter added, on Gödel’s incompleteness theorem. … The chapter follows traditional lines but preserves the excellent quality of the earlier chapters. This is a delightful textbook, with plenty of examples for the reader." (C.W. Kilmister, The Mathematical Gazette, Vol. 89(515), 2005) "This is the fourth edition of van Dalen’s classic textbook on logic in the popular ‘Universitext’ -series. … this book explains clearly all aspects of logic which a novice in this matter should learn by heart. … Reading this book was a real delight. A lot of the fun was in the exercises … heartily recommend this excellent textbook; … Current students may have little interest in formal mathematics … the problem will solve itself when they all have a copy on their personal bookshelf." (Pieter Audenaert, Bulletin of the Belgian Mathematical Society, Vol. 12 (3), 2005)
Kurzbeschreibung
From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader immediately see the logic is "just another branch of mathematics" and not something more sacred." Acta Scientiarum Mathematicarum, Hungary
-- Dieser Text bezieht sich auf eine vergriffene oder nicht verfügbare Ausgabe dieses Titels.
In diesem Buch
(Mehr dazu)
Einleitungssatz
Without adopting one of the various views advocated in the foundations of mathematics, we may agree that mathematicians need and use a language, if only for the communication of their results and their problems. Lesen Sie die erste Seite
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Stichwortverzeichnis
Without adopting one of the various views advocated in the foundations of mathematics, we may agree that mathematicians need and use a language, if only for the communication of their results and their problems. Lesen Sie die erste Seite
Mehr entdecken
Wortanzeiger
Ausgewählte Seiten ansehenWortanzeiger
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Stichwortverzeichnis
Tags(Was ist das?)Bei einem Tag handelt es sich um ein Schlagwort, das zum Produkt passt.
Tags erleichtern allen Kunden die Suche und die Sortierung ihrer Lieblingsprodukte. |
Kundenrezensionen
Die hilfreichsten Kundenrezensionen
6 von 6 Kunden fanden die folgende Rezension hilfreich
Format:Taschenbuch
Ich habe dieses Buch als begleitendes Buch zu einer einführenden Logik-Vorlesung beim Autor van Dalen an der Universität Utrecht (Niederlande) benutzt. Aber auch zum Selbststudium oder als Begleitliteratur zu Einführungs-Vorlesungen der klassischen und nichtklassischen Logiken ist dieses Buch hervorragend geeignet. Es ist klar gegliedert, einfach und übersichtlich aufgebaut und liefert einen umfassenden und tiefgehenden Einstieg in die klassischen und einen Überblick über die nichtklassischen Logiken. Anhand umfangreicher Beispiele und Übungsaufgaben kann das erlernte Wissen vertieft und gefestigt werden. Für jeden Studenten oder Logik-Begeisterten, Anfänger oder Fortgeschrittenen ist dieses Buch geeignet. (Sprache: Englisch)
Die hilfreichsten Kundenrezensionen auf Amazon.com (beta)
Amazon.com:
3 Rezensionen
4 von 4 Kunden fanden die folgende Rezension hilfreich
On the Selection of Topics
7. April 2011
Format:Taschenbuch
There are some things not explicit in the posted summary that buyers of this book should know. Researchers will also find these comments valuable
This book is an introductory treatment of mathematical logic, written entirely from the perspective of GENTZEN natural deduction. Standard texts are written from the viewpoint of Hilbert axiomatics or from (an alternative from Gentzen) natural deduction. Thus, for one wanting any discussion of the Gentzen calculus ND this book is the only full, start from scratch, treatment that I know of. Note, however, that the Gentzen sequent calculus is NOT discussed.
Another (great) feature of the text is the chapter on ND in intuitionistic systems. Again, other than texts on structural proof theory (e.g. Negri and Von Plato.), such discussions are hard to find in an introductory setting. It also beats digging through journals or symposium proceedings.
Also, another (great) component, found only in the 4th edition, is the treatment of Godel's first famous result, but entirely handled via the aforementioned Gentzen calculus.
Finally, to give a general comment, there are are reasons for wanting to treat Hilbert systems rather than the Gentzen systems; these are most easily extended to study theories of arithmetic. But from the strictly logical, proof theoretic aspects, Hilbert systems prove to be less appealing. Note however that Gentzen systems are being pushed further all the time to handle arithmetic theories, though these still might be less elegant than their counterparts. Anyway, whether you choose Gentzen or the more standard treatment of Hilbert systems, one will unavoidably be making some concessions; but if Gentzen is what you want, there really isn't another alternative than this. Anecdote: Sometimes I hear, Gentzen is the more pedagogically effective route, but I'm not sure about this.
This book is an introductory treatment of mathematical logic, written entirely from the perspective of GENTZEN natural deduction. Standard texts are written from the viewpoint of Hilbert axiomatics or from (an alternative from Gentzen) natural deduction. Thus, for one wanting any discussion of the Gentzen calculus ND this book is the only full, start from scratch, treatment that I know of. Note, however, that the Gentzen sequent calculus is NOT discussed.
Another (great) feature of the text is the chapter on ND in intuitionistic systems. Again, other than texts on structural proof theory (e.g. Negri and Von Plato.), such discussions are hard to find in an introductory setting. It also beats digging through journals or symposium proceedings.
Also, another (great) component, found only in the 4th edition, is the treatment of Godel's first famous result, but entirely handled via the aforementioned Gentzen calculus.
Finally, to give a general comment, there are are reasons for wanting to treat Hilbert systems rather than the Gentzen systems; these are most easily extended to study theories of arithmetic. But from the strictly logical, proof theoretic aspects, Hilbert systems prove to be less appealing. Note however that Gentzen systems are being pushed further all the time to handle arithmetic theories, though these still might be less elegant than their counterparts. Anyway, whether you choose Gentzen or the more standard treatment of Hilbert systems, one will unavoidably be making some concessions; but if Gentzen is what you want, there really isn't another alternative than this. Anecdote: Sometimes I hear, Gentzen is the more pedagogically effective route, but I'm not sure about this.
2 von 3 Kunden fanden die folgende Rezension hilfreich
not for newcomers
3. Juli 2010
Format:Taschenbuch|Von Amazon bestätigter Kauf
I used parts of the first two chapters in a class. As with everything in logic, it may take some time to be understood, but it will rewire your brain once you get the point. The book is aimed at mathematicians, so be careful.
2 von 9 Kunden fanden die folgende Rezension hilfreich
Best title ever
26. August 2009
Format:Taschenbuch
One of the most finest books in logics. For academics or just for fun, like me.
Waren diese Rezensionen hilfreich?
Wir wollen von Ihnen hören.
Kunden diskutieren
|
Das Forum zu diesem Produkt
Fragen stellen, Meinungen austauschen, Einblicke gewinnen Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
|
Ähnliche Foren
|
||||||||||||||||||||||||||||||||||
Lieblingslisten
Ähnliche Artikel finden
Anhand des Sachgebietes nach ähnlichen Produkten suchen:
Ihr Kommentar
Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?
|
