|
|
|
|
| LEADER |
01383nam a22003257a 4500 |
| 001 |
201317 |
| 008 |
010614s2001 xxe ||| |||| 00| 0 fre d |
| 020 |
|
|
|a 2100048929 (br.) :
|c 180 F
|
| 024 |
|
|
|a 9782100048922
|
| 037 |
|
|
|a 9782100048922
|
| 041 |
0 |
|
|a fre
|
| 080 |
|
|
|a 51
|
| 082 |
|
|
|a 511.3
|
| 100 |
1 |
|
|a David, René,
|d 1948-
|
| 245 |
1 |
0 |
|a Introduction à la logique :
|b théorie de la démonstration : cours et exercices corrigés
|c René David, Karim Nour, Christophe Raffalli.
|
| 260 |
|
|
|a Paris :
|b Dunod,
|c 2001.
|
| 300 |
|
|
|a 1 vol. (XII-332 p.) ;
|c 24 cm.
|
| 490 |
0 |
|
|a Sciences sup. Mathématiques
|
| 500 |
|
|
|a Sur la p. de couv. : "2e cycle"
|
| 504 |
|
|
|a Bibliogr. p. [327]-328. Index
|
| 520 |
|
|
|a Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite de la théorie de la démonstration. Des énoncés d'exercices sont proposés en fin de chapitres : certains sont corrigés, d'autres réalisables sur Internet.
|
| 650 |
|
|
|a Logique symbolique et mathématique
|x Manuels d'enseignement supérieur.
|
| 650 |
|
|
|a Théorèmes
|x Démonstration automatique.
|
| 650 |
|
|
|a Logique intuitionniste.
|
| 700 |
1 |
|
|a Nour, Karim.
|4 aut
|
| 700 |
1 |
|
|a Raffalli, Christophe,
|c Maître de conférences.
|4 aut
|
| 993 |
|
|
|a Livre
|
| 994 |
|
|
|a PS
|
| 995 |
|
|
|a 056119763
|
| 997 |
|
|
|0 201317
|