385 Seiten Das hier angebotene Buch stammt aus einer teilaufgel�sten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (R�ckenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In FRANZ�SISCHER Sprache. Sprache: Franz�sisch Gewicht in Gramm: 710.

Bestandsnummer des Verk�ufers 2200083

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Logique math�matique, tome 1 : Calcul propositionnel, alg�bre de Boole, calcul des pr�dicats

Verlag

Dunod

Erscheinungsjahr

2003

Sprache

Franz�sisch

ISBN-10

210005452X

ISBN-13

9782100054527

Einband

Broschiert

Zustand

Gut

Verk�uferkataloge

200 Mathematik

�ber diesen Titel

Inhaltsangabe

Domaine d'une grande richesse, la logique math�matique donne lieu � des d�couvertes th�oriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion d�cisive et in�dite. Ce cours, enseign� � l'universit�, traite de mani�re d�taill�e des domaines fondamentaux de la logique math�matique. Dans ce premier tome sont expos�s le calcul propositionnel, les alg�bres de Boole, le calcul des pr�dicats et les th�or�mes de compl�tude. Le second est consacr� aux probl�mes de r�cursivit� et de formalisation de l'arithm�tique, aux th�or�mes de G�del et aux th�ories des ensembles et des mod�les. Outre le cours, de nombreux exercices corrig�s permettront au lecteur d'acqu�rir et de ma�triser les diff�rentes notions expos�es. L'ouvrage, n'exigeant aucune connaissance pr�alable en logique, se destine principalement aux �tudiants en licence et master de logique, math�matique et informatique. Il int�ressera �galement les �l�ves ing�nieurs et les �tudiants d�sirant s'orienter vers les math�matiques pures ou l'informatique, ainsi que les chercheurs et les ing�nieurs de recherche en informatique.

�ber die Autorinnen und Autoren

Professeur � l'universit� Paris 7-Denis-Diderot

Directeur de Recherches au CNRS

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Versandantiquariat Petra Gros GmbH & Co. KG
Am Sonnenhang 18, Welling, 56753, Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Allgemeine Gesch�ftsbedingungen

Allgemeines - Geltungsbereich
1.1. Die folgenden Allgemeinen Gesch�ftsbedingungen gelten f�r alle Gesch�ftsbeziehungen zwischen uns und unseren Kunden. Ma�geblich ist jeweils die zum Zeitpunkt des Vertragsschlusses g�ltige Fassung.
1.2. Verbraucher i. S. d. Gesch�ftsbedingungen sind nat�rliche Personen, mit denen wir in Gesch�ftsbeziehung treten, ohne dass diesen eine gewerbliche oder selbst�ndige berufliche T�tigkeit zugerechnet werden kann. Unternehmer i. S. d....

Mehr Information

Versandbedingungen

Die Ware wird in der Regel innerhalb von 1-3 Tagen nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbest�tigung. Die Versandkostenpauschalen sind f�r K�ufer und Verk�ufer bindend.

Impressum & Info zum Verk�ufer