Centre de Documentation HELHa - Loverval
Horaire d'ouverture :
Lundi, de 7h45 à 15h45
Mardi, de 7h45 à 17h30
Mercredi, de 8h00 à 16h00
Jeudi, de 7h45 à 15h45
Vendredi, de 7h45 à 13h45
Exceptionnellement, la bibliothèque fermera à 15h45 ce mardi 19 novembre.
Durant la semaine du 25 novembre, les horaires de la bibliothèque seront modifiés:
Lundi, de 9h45 à 17h30
Mardi, de 8h00 à 17h00
Mercredi, de 8h00 à 16h00
Jeudi, de 7h45 à 12h45
Vendredi, de 7h45 à 12h45
Fermeture les jours fériés et durant les congés scolaires
Durant les vacances d'hiver, la bibliothèque sera fermée du 21 décembre au 5 janvier
Bienvenue sur le catalogue du centre de documentation de la HELHa de Loverval.
Pour avoir accès aux documents numériques, vous devez vous authentifier avec vos identifiants HELHa
Détail de l'auteur
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
(2014)
| Titre : |
Initiation à la logique formelle |
| Type de document : |
texte imprimé |
| Auteurs : |
Thierry Lucas ; Isabelle Berlanger ; Vincent Degauquier |
| Mention d'édition : |
4e édition revue et augmentée |
| Editeur : |
Bruxelles : De Boeck Université |
| Année de publication : |
2014 |
| Collection : |
Démarches de pensée |
| Importance : |
257 p. |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
978-2-8041-8248-9 |
| Langues : |
Français (fre) |
| Index. décimale : |
518 Analyse numérique |
| Résumé : |
"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." |
Initiation à la logique formelle [texte imprimé] / Thierry Lucas ; Isabelle Berlanger ; Vincent Degauquier . - 4e édition revue et augmentée . - Bruxelles : De Boeck Université, 2014 . - 257 p. ; 24 cm. - ( Démarches de pensée) . ISBN : 978-2-8041-8248-9 Langues : Français ( fre)
| Index. décimale : |
518 Analyse numérique |
| Résumé : |
"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." |
|  |
Réservation
Réserver ce document
Exemplaires (1)
|
| L007268 | 518 LUC 007268 | Livre | Bibliothèque principale | Mathématiques | Disponible |
