Initiation à la logique formelle : avec exercices et corrigés
Une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous. La richesse des thèmes abordés et la palette d'exercices proposés conduiront rapidement le lecteur à une connaissance approfondie des notions de base de la logique. Cet ouvrage propose une introduction à la...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Weitere Verfasser: | |
| Format: | Livre papier |
| Sprache: | Français |
| Veröffentlicht: |
Louvain-la-Neuve :
De Boeck supérieur
DL 2014.
|
| Ausgabe: | 4e édition revue et augmentée. |
| Schriftenreihe: | Démarches de pensée
|
| Schlagworte: | |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 02295nam a22002897a 4500 | ||
|---|---|---|---|
| 001 | 482530 | ||
| 008 | 140917t20142014xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN180618288 | ||
| 020 | |a 9782804182489 (br.) : |c [25.90 Euros] | ||
| 024 | |a 9782804182489 | ||
| 041 | 0 | |a fre |f fre | |
| 082 | |a 160 | ||
| 082 | |a 511.3 | ||
| 100 | 1 | |a Lucas, Thierry, |d 1943- | |
| 245 | 1 | 0 | |a Initiation à la logique formelle : |b avec exercices et corrigés |c Thierry Lucas, Isabelle Berlanger, Vincent Degauquier ; [préface de Bertrand Hespel]. |
| 250 | |a 4e édition revue et augmentée. | ||
| 260 | |a Louvain-la-Neuve : |b De Boeck supérieur, |c DL 2014. | ||
| 300 | |a 1 vol. (263 p.) : |b ill., couv. ill. en coul. ; |c 24 cm. | ||
| 490 | 1 | |a Démarches de pensée |x 1379-5287 | |
| 504 | |a Bibliogr. p. 249-250. Index | ||
| 520 | |a Une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous. La richesse des thèmes abordés et la palette d'exercices proposés conduiront rapidement le lecteur à une connaissance approfondie des notions de base de la logique. 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. | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Manuels d'enseignement supérieur | ||
| 700 | 1 | |a Berlanger, Isabelle, |d 19..- |4 aut | |
| 700 | 1 | |a Degauquier, Vincent. |4 aut | |
| 700 | 1 | |a Hespel, Bertrand. |4 aui | |
| 997 | |0 482530 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, 511.3 LUC | ||