Monographie

Calcul en logique de premier ordre [texte imprimé] / Yves Bouchard

Type de contenu

• Texte

Titre(s)

• Calcul en logique de premier ordre [texte imprimé] / Yves Bouchard

Auteur(s)

• Bouchard, Yves

Editeur, producteur

• Québec : Presses de l'université du Québec, 2015

Description matérielle

• XIII-288 p. ; 26 cm

ISBN

• 978-2-7605-4209-9

Note sur les bibliographies et les index

• Bibliogr. p. 279-283. Index

Résumé ou extrait

• Cet ouvrage constitue une introduction à deux outils de calcul logique du premier ordre, soit le calcul en arbres de consistance et le calcul en déduction naturelle. De nombreux exemples et exercices, accompagnés de leurs solutions, aideront l'étudiant à progresser vers des calculs toujours plus complexes et à raffiner ses méthodes de calcul logique.

Sujet(s)

• Calcul propositionnel
• Logique de premier ordre

Sujet - Nom commun

• Mathématiques -- Etude et enseignement

Lien copié.

Pour une utilisation optimale, nous vous recommandons d'utiliser les navigateurs tel que Firefox, ou Edge

Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)