La logique propositionnelle et ses variantes / Fran?cois Lepage

Public ISBD 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

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/25057	Fs/25057	livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)