Initiation à la logique formelle / Lucas, Thierry  

Public ISBD Titre : Initiation à la logique formelle : Avec exercices et corrigés Type de document : texte imprimé Auteurs : Lucas, Thierry, Auteur ; Isabelle Berlanger, Auteur ; Vincent Degauquier, Auteur Mention d'édition : 4e éd. revue et augmentée Editeur : Louvain-la-Neuve : De Boeck supérieur Année de publication : 2014 Collection : Démarches de pensée, ISSN 1379-5287 Importance : 1 vol. (263 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-8041-8248-9 Note générale : 978-2-8041-8248-9 Langues : Français (fre) Catégories : Mathématique Mots-clés : Logique mathématique : Manuels d'enseignement supérieur Index. décimale : 511.3 Logique mathématique Résumé : Une introduction pratique et didactique à la logique formelle Cet ouvrage propose une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous. Il aborde d'emblée la logique propositionnelle et la logique des prédicats du premier ordre, sans en développer les aspects mathématiques, mais sans négliger les techniques fondamentales. L'accent est particulièrement mis sur la logique comme outil d'analyse du langage. Le livre vaut non seulement pour la richesse des thèmes abordés, mais aussi pour la large gamme d'exercices résolus qui conduisent progressivement le lecteur à une connaissance approfondie des notions de base de la logique. Cette 4e édition, signée par deux auteurs des éditions précédentes et enrichie de l'apport d'un nouvel auteur, remanie le stock déjà abondant des exercices et lui ajoute une trentaine de pages, fruit de l'expérience d'enseignement. Côte titre : Fs/16536-16540 En ligne : https://www.amazon.fr/Initiation-logique-formelle-exercices-corriges/dp/28041824 [...] Format de la ressource électronique : PDF Initiation à la logique formelle : Avec exercices et corrigés [texte imprimé] / Lucas, Thierry, Auteur ; Isabelle Berlanger, Auteur ; Vincent Degauquier, Auteur  . -  4e éd. revue et augmentée . - Louvain-la-Neuve : De Boeck supérieur, 2014 . - 1 vol. (263 p.) : ill. ; 24 cm. - (Démarches de pensée, ISSN 1379-5287) . ISBN : 978-2-8041-8248-9 978-2-8041-8248-9 Langues : Français (fre) Catégories : Mathématique Mots-clés : Logique mathématique : Manuels d'enseignement supérieur Index. décimale : 511.3 Logique mathématique Résumé : Une introduction pratique et didactique à la logique formelle Cet ouvrage propose une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous. Il aborde d'emblée la logique propositionnelle et la logique des prédicats du premier ordre, sans en développer les aspects mathématiques, mais sans négliger les techniques fondamentales. L'accent est particulièrement mis sur la logique comme outil d'analyse du langage. Le livre vaut non seulement pour la richesse des thèmes abordés, mais aussi pour la large gamme d'exercices résolus qui conduisent progressivement le lecteur à une connaissance approfondie des notions de base de la logique. Cette 4e édition, signée par deux auteurs des éditions précédentes et enrichie de l'apport d'un nouvel auteur, remanie le stock déjà abondant des exercices et lui ajoute une trentaine de pages, fruit de l'expérience d'enseignement. Côte titre : Fs/16536-16540 En ligne : https://www.amazon.fr/Initiation-logique-formelle-exercices-corriges/dp/28041824 [...] Format de la ressource électronique : PDF

Exemplaires (5)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/16536	Fs/16536-16540	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/16537	Fs/16536-16540	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/16538	Fs/16536-16540	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/16539	Fs/16536-16540	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/16540	Fs/16536-16540	Livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)