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 24 et le 27 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 24/08 (?)
- Livraison GRATUITE
- Livré entre le 24 et le 28 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 24 et le 27 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 €
-
Aux Origines Des Plantes - Tome 2, Des Plantes Et Des Hommes
3 avis
Occasion dès 64,90 €
-
Vietnam - Domination Coloniale Et Resistance Nationale (1858-1914)
Occasion dès 42,75 €
-
Le Livre De L'Outil André Velter Marie-José Lamothe 1977 Jean Marquis 1977
Occasion dès 40,00 €
-
La Mathématique - Volume 1, Les Lieux Et Les Temps
2 avis
Neuf dès 89,00 €
Occasion dès 33,91 €
-
La Guerre D'espagne 1936-1939 - La Démocratie Assassinée
3 avis
Neuf dès 25,50 €
Occasion dès 24,00 €
-
Voyage Dans L'empire Mongol - 1253-1255
Occasion dès 50,00 €
-
Charles Viii
5 avis
Occasion dès 22,50 €
-
Cartes Imaginaires - Inventer Des Mondes
2 avis
Neuf dès 45,00 €
Occasion dès 42,75 €
-
Les Carnets De Guantanamo
7 avis
Occasion dès 26,00 €
-
Histoire De L'irlande Et Des Irlandais
2 avis
Occasion dès 28,17 €
-
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 €
-
Atlas De L'histoire De France (481-2005)
3 avis
Occasion dès 44,90 €
-
Les Environs De Paris - Atlas Des Cartes Du Xvie Siècle À Nos Jours
1 avis
Occasion dès 53,09 €
-
Les Convulsionnaires De Saint-Médard - Miracles, Convulsions Et Prophéties À Paris Au Xviiie Siècle
1 avis
Occasion dès 45,00 €
-
Histoire Mondiale Du Xxe Siècle
6 avis
Neuf dès 39,00 €
Occasion dès 53,15 €
-
L'invention D'athènes - Histoire De L'oraison Funèbre Dans La "Cité Classique
Occasion dès 24,90 €
-
Un Prisonnier De Guerre Nommé Jeanne D'arc
Occasion dès 49,90 €
-
Histoire De La Lorraine, Tome Iii, 1789 - 1919 + Index
Occasion dès 59,99 €
-
Ashoka - Roi Philosophe
1 avis
Neuf dès 32,00 €
Occasion dès 34,99 €
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