TITRE : LOGIQUE MATHEMATIQUE T. 1 CALCUL PROPOSITIONNEL, ALGEBRE DE BOOLE, CALCUL DES PREDICATS - MATHEMATIQUES - LICENCE 3 - MASTER

AUTEUR : René Cori, Daniel Lascar

EDITEUR : Dunod

ANNEE D'EDITION : 09/02/2021

NOMBRES DE PAGES : 385

DIMENSIONS : 17,2 x 24 x 2 cm.   POIDS : 0,67 kg

Conditions d'envoi à lire en fin d'annonce pour les pays couverts par Mondial Relay, les Dom-Tom, les envois avec suivi.

Résumé / Table des matières :

- 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. Daniel lascar 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 maitriser les différentes notions exposées. Directeur de recherches au CNRS. 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.

Calcul propositionnel
Algèbre de Boole
Calcul des prédicats
Théorèmes de complétude
Solutions des exercices

ETAT : Neuf !

            Défauts à signaler : 

IMPORTANT : Pour les Newbays ( moins de 50 évaluations ), un paiement immédiat est demandé ( ou un contact sérieux ) en raison de trop nombreux impayés, sinon la vente sera annulée et un signalement sera fait auprès des services d'Ebay ( désolé pour les acheteurs sérieux ).

- Lorsqu'il est indiqué envoi en Mondial Relay, merci de nous indiquer au plus vite un point de retrait ( mondialrelay.fr ), à défaut nous choisirons celui indiqué comme le plus près de l'adresse indiquée sur Ebay.

Les envois économiques, hors de France, auront la préférence de Mondial Relay, pour tous les pays couverts par ce service.

Les envois ( hors Mondial Relay ) se font au tarif économique, ( qui rencontrent rarement de problèmes ) donc sans suivi, si vous souhaitez un suivi il faut le demander et payer les frais en conséquence. Nous dégageons notre responsabilité en cas de non réception pour un envoi simple sans suivi.
The shipments (excluding Mondial relay ) are made at the economic rate, (Which meet rarementde problems ) so without tracking number, if you want a tracking number you must ask and pay the fees accordingly. We release our responsibility in case of non-receipt for a single shipment without tracking number. 

SI VOUS SOUHAITEZ UN AUTRE FORME D'ENVOI : merci de nous contacter pour en définir les modalités. 

DOM-TOM : les conditions de la Poste n'étant pas favorable à l'envoi, veuillez nous contacter avant tout achat pour connaître le coût d'expédition. 

MERCI DE NE PAS ABUSER DES LITIGES : lors des envois via : - Mondial relay , un N° vous est fourni via la fiche de vente, pour suivre le colis rendez-vous sur le site mondialrelay.fr
- La Poste : si un N° de suivi vous est fourni, merci de vous rendre sur le site laposte.fr
- Si vous n'avez pas payé pour une envoi avec suivi alors vous acceptez la responsabilité que le colis ne puisse être tracé et disparaisse.


Résultat de recherche d'images pour "mondial relay livraison offerte"  Résultat de recherche d'images pour "paypal CB - CHeque"



CONDITIONS D'ENVOI A LIRE ABSOLUMENT :

DOM-TOM : merci de nous contacter avant d'enchérir, les conditions de la Poste française n'étant pas très favorable à l'envoi.


SI VOUS SOUHAITEZ UN ENVOI A DOMICILE, il vous sera demandé 5 ? minimum ( selon le poids ) pour un envoi en colissimo.
Pour les autres types d'envois nous favorisons l'envoi au tarif lettre, si vous souhaitez un envoi avec suivi à vous de le stipuler, ce dernier sera facturé en fonction des tarifs de la poste.

En cas de soucis merci de nous contacter avant d'ouvrir un litige. Une fois votre commande reçue, n'oubliez pas de laisser une évaluation, en n'oubliant pas les étoiles de satisfaction, nous laisserons la nôtre en retour.


N'oubliez pas de m'ajouter à votre liste de favoris ! N'oubliez pas de visiter ma boutique !