Verwandte Artikel zu Les démonstrations et les algorithmes: Introduction...
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
Reseña del editor:
Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gôdel, le théorème de semi-décidabilité de la démontrabilité, - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagEcole Polytechnique
- Erscheinungsdatum2010
- ISBN 10 2730215697
- ISBN 13 9782730215695
- EinbandTapa blanda
- Anzahl der Seiten193
Gebraucht kaufen
Zustand: Gut[LOGIC]. Dowek, Gilles. "Les demonstrations... Mehr zu diesem Angebot erfahren
EUR 16,83
Versand:
EUR 5,13
Innerhalb der USA
Beste Suchergebnisse bei AbeBooks
Foto des Verkäufers
Les demonstrations et les algorithmes: Introduction a la logique et a la calculabilite [French]
Verlag:
Les Editions de Ecole Polytechnique; Paris, FR
(2010)
ISBN 10: 2730215697
ISBN 13: 9782730215695
Gebraucht
Softcover
Anzahl: 1
Anbieter:
Bewertung
Buchbeschreibung Softcover. Zustand: Very Good. [LOGIC]. Dowek, Gilles. "Les demonstrations et les algorithmes: Introduction a la logique et a la calculabilite." Les Editions de Ecole Polytechnique; Paris, FR, 2010. French language. Softcover. 194 pages. Text clean. Fine condition. ISBN: 9782730215695. "Alternately a branch of philosophy, mathematics and computer science, logic studies the methods that make it possible to establish that a statement is true, such as reasoning and calculation.This book is an introduction to the fundamental concepts of contemporary logic - those of proof, computable function, model and set. It presents a series of both negative and positive results - Church's undecidability theorem, Godel's incompleteness theorem, the semi-decidability theorem of provability, which have profoundly changed our conception of reasoning, of calculation and, ultimately, of truth itself.". Bestandsnummer des Verkäufers 0000296
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Gebraucht kaufen
EUR 16,83
Währung umrechnen