Introduction A La Logique - Leroux Jean
- Collection: Bibliothèque Des Sciences
- Format: Broché Voir le descriptif
44,90 €
Occasion · Bon État
Ou 11,23 € /mois
- Livraison : 3,49 €
- Livré entre le 21 et le 24 août
Votre colis sera expedie sous 48 heures ouvrees, soigneusement emballe pour une livraison rapide et securisee Bon etat - ancien livre de bibliotheque.
Nos autres offres
-
89,47 €
Occasion · Très Bon État
Ou 22,37 € /mois
Option Express : Chez vous le 20/08 (?)
- Livraison GRATUITE
- Livré entre le 21 et le 25 août
Ancien livre de bibliothèque avec équipements. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
Voir le détail de l'annonce -
80,00 €
Occasion · Très Bon État
Ou 20,00 € /mois
- Livraison : 9,69 €
- Livré entre le 22 et le 24 août
Voir le détail de l'annonce -
179,00 €
Occasion · Très Bon État
Ou 44,75 € /mois
- Livraison : 3,49 €
4,9/5 sur 802 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).
Voir le détail de l'annonce
- 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.
-
Zouaves & Tirailleurs : Les Régiments De Marche Et Les Régiments Mixtes ( 1914-1918 ) --------- Tome 1
7 avis
Occasion dès 29,00 €
-
L?Empire Colonial Français En Afrique - Métropole Et Colonies, Sociétés Coloniales, De La Conférence De Berlin (1884-1885) Aux Accords D?Evian De 1962
3 avis
Neuf dès 29,50 €
-
Les Carnets De Guantanamo
6 avis
Occasion dès 27,90 €
-
L'ultime Tabou - Femmes Pédophiles, Femmes Incestueuses
5 avis
Occasion dès 23,00 €
-
Révolution, Consulat, Empire - 1789-1815
12 avis
Neuf dès 41,00 €
Occasion dès 32,13 €
-
Yolande D'aragon - La Reine Qui A Gagné La Guerre De Cent Ans
3 avis
Occasion dès 35,00 €
-
La Piete Populaire Au Moyen Age
Occasion dès 40,00 €
-
Ecrits De Maitre Xun/Xunzi
Neuf dès 59,00 €
Occasion dès 75,00 €
-
Rome, Naissance D'un Empire - De Romulus À Pompée, 753-70 Av - J.-C
13 avis
Neuf dès 49,00 €
Occasion dès 37,03 €
-
La Drôme Dans La Guerre - La Bataille De Montélimar
Occasion dès 45,00 €
-
Histoire Des Goths
5 avis
Occasion dès 37,90 €
-
Universalia 2001 - Toute L'année 2000
2 avis
Occasion dès 28,90 €
-
Eté 1914 - Nancy Et La Lorraine Dans La Guerre
1 avis
Occasion dès 39,90 €
-
Byblos, Cité Millénaire Du Liban
Neuf dès 30,00 €
Occasion dès 24,87 €
-
Roberto Clemens Galletti Di Cadilhac, Une Station Tsf Dans La Tourmente De La Grande Guerre
Occasion dès 48,40 €
-
Claude De Lorraine, Premier Duc De Guise
1 avis
Occasion dès 25,00 €
-
Bibliographie Des Missions Etrangères - Civilisations, Religions Et Langues De L'asie
1 avis
Neuf dès 45,00 €
Occasion dès 24,00 €
-
Ashoka - Roi Philosophe
1 avis
Neuf dès 32,00 €
-
Vie De Jean Rossignol - Vainqueur De La Bastille
2 avis
Occasion dès 50,00 €
-
Libération De La Corse
Occasion dès 30,00 €
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