| Titre : | Initiation à la logique formelle : avec exercices et corrigés |
| Auteurs : | Thierry Lucas, Auteur ; Isabelle Berlanger, Auteur ; Vincent Degauquier, Auteur ; Bertrand Hespel, Préfacier, etc. |
| Type de document : | Monographie imprimée |
| Mention d'édition : | 4e édition revue et augmentée |
| Editeur : | Bruxelles : De Boeck, DL 2014, cop. 2014 |
| Collection : | Démarches de pensée, ISSN 1379-5287 |
| ISBN/ISSN/EAN : | 978-2-8041-8248-9 |
| Format : | 1 vol. (263 p.) / ill., couv. ill. en coul. / 24 cm |
| Langues: | Français |
| Index. décimale : | 160 |
| Catégories : |
[Agneaux] Logique mathématique > Manuels d'enseignement supérieur |
| 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, études de propriétés fondamentales, méthode des contre-exemples et méthode de déduction naturelle, etc. S'adresse aux étudiants en sciences humaines et économiques. |
Disponibilité (4)
| Cote | Support | Localisation | Statut | Emplacement | |
|---|---|---|---|---|---|
| SI8/2977 | Livre | BIB.FAC.ST. | Empruntable | Magazin | |
| SI8/2977 | Livre | BIB.FAC.ST. | Empruntable | Magazin | |
| SI8/2977 | Livre | BIB.FAC.ST. | Empruntable | Magazin | |
| SI8/2977 | Livre | BIB.FAC.ST. | Empruntable | Magazin |
Erreur sur le template
