La logique propositionnelle et ses variantes - Une approche comparée - E-book - PDF

Note moyenne 
François Lepage et Samuel Monplaisir - La logique propositionnelle et ses variantes - Une approche comparée.
Introduction à la métalogique du calcul propositionnel, cet ouvrage contient non seulement l'initiation aux concepts de base du domaine (syntaxe, sémantique,... Lire la suite
38,99 € E-book - PDF
Vous pouvez lire cet ebook sur les supports de lecture suivants :
Téléchargement immédiat
Dès validation de votre commande
Offrir maintenant
Ou planifier dans votre panier

Résumé

Introduction à la métalogique du calcul propositionnel, cet ouvrage contient non seulement l'initiation aux concepts de base du domaine (syntaxe, sémantique, consistance, complétude, etc.), mais également des développements utiles (logiques intuitionniste et modale) et aussi des approches originales (probabilités). Les auteurs accordent une attention rigoureuse à la présentation et à l'explication des concepts des calculs propositionnels.
Formellement très simples, les calculs propositionnels constituent un terrain idéal pour s'initier aux manipulations symboliques. En ce qui concerne, plus généralement, l'usage du formalisme, les auteurs privilégient une attitude pédagogique sans pour autant faire de concessions. La logique est, et restera, formelle, mais il est possible de l'apprivoiser ; et le meilleur outil pour ce faire est la pratique consistant à résoudre des problèmes.
On trouvera donc dans cet ouvrage de nombreux exercices dont la plupart sont accompagnés de solutions.

Caractéristiques

  • Caractéristiques du format PDF
    • Pages
      288
    • Taille
      1 638 Ko
    • Protection num.
      Digital Watermarking

Avis libraires et clients

Avis audio

Écoutez ce qu'en disent nos libraires !

Souvent acheté ensemble

Vous aimerez aussi

Derniers produits consultés

38,99 €