Introduction A La Logique - Leroux Jean
- Collection: Bibliothèque Des Sciences
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre
Particulier
Vendeur favori
4,9/5 sur + de 1 000 ventes
E13 Livres en très bon état
Nos autres offres
-
51,00 €
Occasion · Bon État
Ou 12,75 € /mois
- Livraison : 3,49 €
- Livré entre le 29 avril et le 4 mai
Votre colis sera expedie sous 48 heures ouvrees, soigneusement emballe pour une livraison rapide et securisee Bon etat - ancien livre de bibliotheque.
-
80,00 €
Occasion · Très Bon État
Ou 20,00 € /mois
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 3 et 6 jours
- Livraison : 9,69 €
- Livré entre le 29 avril et le 2 mai
-
179,00 €
Occasion · Très Bon État
Ou 44,75 € /mois
- Livraison : 3,49 €
4,9/5 sur 790 ventesLivre en état très satisfaisant. Intérieur propre et sans annotation. Un infime pli sur la couverture en bas à gauche. Envoi très soigné pour cette référence recherchée de 344 pages. (F11pf).
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Introduction A La Logique de Leroux Jean Format Broché - Livre Histoire et philosophie des sciences
0 avis sur Introduction A La Logique de Leroux Jean Format Broché - Livre Histoire et philosophie des sciences
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Naissance De La Grèce - De Minos À Solon, 3200 À 510 Avant Notre Ère
8 avis
Neuf dès 49,00 €
Occasion dès 36,11 €
-
Le Royaume-Uni, L'europe Et Le Monde
Occasion dès 38,00 €
-
Le "Populisme Du Fn" Un Dangereux Contresens
1 avis
Occasion dès 29,00 €
-
Tableau De Paris - Tome 1
1 avis
Occasion dès 67,47 €
-
L'affaire Paperclip - La Récupération Des Scientifiques Nazis Par Les Américains, 1945-1990
5 avis
Occasion dès 44,00 €
-
Man Yoshu Livres 1 A 3
1 avis
Occasion dès 65,00 €
-
Introduction À La Philosophie Mathématique
2 avis
Occasion dès 29,90 €
-
Mémoires Du Général Baron Thiébault Tome I Et Ii
Occasion dès 39,49 €
-
Correspondance Générale - Tome 3, Pacifications 1800-1802
2 avis
Occasion dès 47,59 €
-
Hommes De Londres
4 avis
Occasion dès 34,50 €
-
Septimanie Languedoc Et Roussillon - Entre Antiquité Et Moyen-Âge
Occasion dès 29,90 €
-
Aux Origines Du Goulag, Récits Des Îles Solovki - L'île De L'enfer Suivi De Les Camps De La Mort En Urss
2 avis
Occasion dès 33,81 €
-
Ss En Action
3 avis
Occasion dès 28,00 €
-
Guerre Subversion Révolution / Colonel Roger Trinquier / R. Laffont
Occasion dès 28,00 €
-
Le Beau Livre De La Biologie - De L'origine De La Vie À La Génomique
1 avis
Occasion dès 49,90 €
-
Les Secrets Du Génocide Rwandais - Enquête Sur Les Mystères D'un Président
Occasion dès 27,99 €
-
Armorial Des Principales Maisons Et Familles Du Royaume
Occasion dès 24,90 €
-
La Tragedie Des Soldats Juifs D'hitler
6 avis
Occasion dès 40,00 €
-
L'egyptomanie À L'épreuve De L'archéologie
1 avis
Occasion dès 48,40 €
-
Le Seul Passager Noir Du Titanic
2 avis
Occasion dès 39,90 €
Produits similaires
Présentation Introduction A La Logique de Leroux Jean Format Broché
- Livre Histoire et philosophie des sciences
Résumé :
Cette Introduction à la logique constitue le cours de base des étudiants en sciences et en philosophie. La présentation de la logique formelle dans son contexte historique est accompagnée d'un exposé très clair des notions syntaxiques et sémantiques nécessaires au calcul des énoncés et au calcul des prédicats du premier ordre... Les méthodes formelles les plus classiques (tables de vérité, arbres de consistance, dérivations) sont explicitées au travers de nombreux exercices d'application accompagnés de leurs corrigés. La seconde partie de l'ouvrage fournit au lecteur les contenus théoriques nécessaires à la compréhension des débats qui ont animés la philosophie de la logique et son dialogue avec les mathématiques depuis la fin du XIX, siècle. L'axiomatisation du calcul des énoncés (présentation de So), les notions de complétude sémantique et syntaxique comme le concept de décidabilité sont introduits. Un chapitre est consacré à l'axiomatisation du calcul des prédicats du premier ordre et permet de familiariser le lecteur à la métathéorie. La présentation des résultats fondateurs (théorème de consistance, théorème de Tarski, théorème de complétude) jette les bases de la théorie des modèles. Enfin, l'ouvrage s'achève par les fondations de la logique mathématique (système Se de la théorie des ensembles et système Sn de la théorie des nombres naturels) et par l'exposé des célèbres théorèmes de Gôdel...
Biographie:
Jean Leroux est Professeur de logique mathématique à l'Université d'Ottawa.
Sommaire:
["Exposition du calcul des énoncés","Calcul des énoncés : vérification des notions logiques","Exposition du calcul des prédicats du premier ordre","Calcul des prédicats : vérification des notions logiques","Présentation axiomatique et métathéorie du calcul des énoncés","Présentation axiomatique et métathéorie du calcul des prédicats du premier ordre","Eléments de logique mathématique"]
©
Détails de conformité du produit
Personne responsable dans l'UE