Logique et raisonnement
Ce livre fait le lien entre logique et raisonnement, les erreurs classiques sont analysées, les notions de preuve et de déduction expliquées avec des raisonnements courants. De nombreux exercices corrigés permettent au novice de maîtriser peu à peu les notions de base ayant trait à la syntaxe, la sé...
Zapisane w:
| 1. autor: | |
|---|---|
| Format: | Livre papier |
| Język: | Français |
| Wydane: |
Paris :
Ellipses
DL 2016.
|
| Wydanie: | 2e édition. |
| Hasła przedmiotowe: | |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 01896nam a22003017a 4500 | ||
|---|---|---|---|
| 001 | 601998 | ||
| 008 | 161107t20162016xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN196329566 | ||
| 020 | |a 9782340014787 (br.) : |c 21 EUR | ||
| 024 | |a 9782340014787 | ||
| 041 | 0 | |a fre | |
| 082 | |a 511.3 |z fre | ||
| 082 | |a 511 | ||
| 100 | 1 | |a Freund, Michael, |d 1944-...., |c philosophe. | |
| 245 | 1 | 0 | |a Logique et raisonnement |c Michael Freund. |
| 250 | |a 2e édition. | ||
| 260 | |a Paris : |b Ellipses, |c DL 2016. | ||
| 300 | |a 1 vol. (IX-165 p.) : |b couv. ill. en coul. ; |c 24 cm. | ||
| 504 | |a Index | ||
| 505 | 0 | |a Partie 1 : Logique propositionnelle -- Chapitre 1 : Le langage naturel restreint -- Chapitre 2 : Le langage propositionnel -- Chapitre 3 : Théorèmes, preuves et démonstrations -- Chapitre 4 : La relation de conséquence en calcul propositionnel -- Partie II : Calcul des prédicats -- Chapitre 5 : Le langage prédicatif restreint -- Chapitre 6 : Le langage de la logique des prédicats -- Chapitre 7 : La déduction en calcul des prédicats -- Chapitre 8 : Théories axiomatiques -- Solutions des exercices | |
| 520 | |a Ce livre fait le lien entre logique et raisonnement, les erreurs classiques sont analysées, les notions de preuve et de déduction expliquées avec des raisonnements courants. De nombreux exercices corrigés permettent au novice de maîtriser peu à peu les notions de base ayant trait à la syntaxe, la sémantique et la théorie de la preuve. | ||
| 521 | |a Licence de mathématiques | ||
| 650 | |a Logique | ||
| 650 | |a Raisonnement | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Manuels d'enseignement supérieur | ||
| 650 | |a Problèmes et exercices | ||
| 997 | |0 601998 |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 FRE |z Orléans, BU Sciences, Technologies, STAPS, 511.3 FRE | ||