|
Titre :
|
Initiation à la logique formelle : exercices et corrigés
|
|
Auteurs :
|
Thierry Lucas, Auteur ;
Isabelle Berlanger, Auteur ;
Isabelle De Greef, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Mention d'édition :
|
2e éd.
|
|
Editeur :
|
Bruxelles : De Boeck, 2005
|
|
Collection :
|
Démarches de pensée, ISSN 1379-5287
|
|
ISBN/ISSN/EAN :
|
978-2-8041-5011-2
|
|
Format :
|
233 p. / 24 x 16 cm
|
|
Note générale :
|
Index
|
|
Langues:
|
Français
|
|
Index. décimale :
|
160
|
|
Mots-clés:
|
logique
;
manuels d'enseignement supérieur
;
calcul des prédicats
;
calcul propositionnel
|
|
Résumé :
|
Présente la logique des propositions et la logique des prédicats du premier ordre : exemples de base abordés de façon informelle, présentation du langage formel, présentation de sa sémantique, définition de forme correcte du raisonnement, études de propriétés fondamentales, méthode des contre-exemples et méthode de déduction naturelle. S'adresse aux étudiants des sciences humaines et économiques.
|
