État

En stock Derniers articles en stock Dernier exemplaire : ajoutez-le à votre panier avant qu'il ne disparaisse. Tous les articles sont dans le panier

À propos

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 XIXe siècle.

L'axiomatisation du calcul des énoncés (présentation de S0), 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...

Calcul des énoncés - Notions syntaxiques - Notions sémantiques - Méthode des arbres de consistance - Méthode des dérivations - Calcul des prédicats du premier ordre - Notion d'interprétation - Notion de valuation - Notion de satisfaction - Notion de vérité - Métalogique - Axiomatisation du calcul des énoncés - Complétude sémantique de S0 - Consistance de S1 - Complétude sémantique de S1 - Théorème de Tarski - Eléments de théorie des modèles - Théorème de Löwenheim-Skalem - Théorème de compacité - Eléments de logique mathématique - Théorèmes de Gödel.

Classification

Jusqu'à 15 % de vos achats sont reversés à nos partenaires caritatifs. En savoir plus
Votre achat contribue à réaliser notre mission : "diffuser la passion de la culture. Avec chacun, pour tous". En offrant une seconde vie à ces produits, vous réduisez le gaspillage de papier et soutenez les actions de nos associations partenaires.
Livraison estimée en 2 jours ouvrés avec Colis Privé et Mondial Relay.

Livraison le lendemain du lundi au vendredi pour les commandes passées avant midi avec Chronopost.
Retours jusqu'à 30 jours après l'achat
Besoin d'aide ? Obtenez une réponse de notre service d'assistance dans les 24 heures pendant les jours ouvrables.
Paiement sécurisé
Acheter sur Amazon

Auteur(s)

Jean Leroux
Editeur

Diderot multimédia
Année

1998
Date de sortie

23/01/1998
Format

Broché
Pages

344
Langue

Français
Type de produit

Livre
ISBN-10

2843520843
EAN

9782843520846
Référence

I-460-046

Notre mission est de "Diffuser la passion de la culture. Avec chacun, pour tous." Cela signifie que chaque achat que vous effectuez chez nous contribue à la réalisation de cette mission ambitieuse.

Acheter sur ammareal.fr va au-delà de l'acte d'achat lui-même. C'est un engagement en faveur de la culture, de l'éducation, de l'inclusion sociale, de la durabilité environnementale et de l'économie circulaire. Rejoignez-nous dans notre mission et faites partie de la communauté qui partage notre passion pour la culture et notre engagement envers un monde meilleur pour tous.
Un produit culturel d'occasion est un bien culturel préalablement possédé par un tiers et qui est proposé à la vente. Ces produits comprennent des livres, des CD, des DVD et d'autres supports culturels. Ils sont soigneusement vérifiés pour s'assurer de leur qualité et de leur état avant d'être mis en vente sur notre site. En choisissant des produits culturels d'occasion, vous contribuez à la réduction de la consommation de ressources et à la promotion d'une démarche écocitoyenne en prolongeant la durée de vie des biens culturels existants.
Les produits que vous trouvez sur notre site proviennent de diverses sources écocitoyennes, notamment des particuliers, des bibliothèques, des médiathèques, des associations, des entreprises et d'autres partenaires engagés dans une démarche de durabilité. Nous mettons un point d'honneur à promouvoir la réutilisation et le recyclage des biens culturels, contribuant ainsi à la préservation de l'environnement tout en offrant des produits culturels de qualité à nos clients.
Notre politique de retour est conçue pour garantir votre satisfaction en tant que client. Chez ammareal.fr, nous comprenons que parfois, un article peut ne pas répondre à vos attentes. C'est pourquoi nous vous offrons la flexibilité d'une politique de retour pouvant aller jusqu'à 30 jours.

Retrouvez plus d’informations sur notre page dédiée à la politique de retour .
Nous offrons deux modes de paiement pratiques pour faciliter vos achats :

Paiement par carte bancaire : Nous acceptons les principales cartes de crédit et de débit, ce qui vous permet de régler vos achats en toute sécurité et simplicité en utilisant votre carte préférée.

PayPal: Si vous préférez utiliser PayPal, vous pouvez sélectionner cette option lors de la finalisation de votre commande. PayPal offre une sécurité accrue pour vos transactions en ligne.