Titre :	La logique propositionnelle et ses variantes : une approche comparÐee /
Type de document :	texte imprimé
Auteurs :	Fran?cois Lepage ; Samuel Montplaisir
Année de publication :	2022
Importance :	1 vol (276 p.)
Présentation :	illustrations
Format :	23 cm
ISBN/ISSN/EAN :	978-2-7606-4597-4
Langues :	Français (fre)
Catégories :	Mathématique
Mots-clés :	Mathématique
Index. décimale :	510 Mathématique
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
Côte titre :	Fs/25057

La logique propositionnelle et ses variantes : une approche comparÐee / [texte imprimé] / Fran?cois Lepage ; Samuel Montplaisir . - 2022 . - 1 vol (276 p.) : illustrations ; 23 cm.
ISBN : 978-2-7606-4597-4
Langues : Français (fre)

Catégories :	Mathématique
Mots-clés :	Mathématique
Index. décimale :	510 Mathématique
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
Côte titre :	Fs/25057