Nantilus
Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité
La 4e de couverture indique : "Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. Ce livre est une introduction aux con...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité / Gilles Dowek |
| Publié : |
Palaiseau :
Les Editions de l'Ecole polytechnique
, DL 2010 |
| Description matérielle : | 1 vol. (193 p.) |
| Collection : | Informatique (Palaiseau) |
| Sujets : |
| LEADER | 02533cam a2200529 4500 | ||
|---|---|---|---|
| 001 | PPN147743796 | ||
| 003 | http://www.sudoc.fr/147743796 | ||
| 005 | 20200904055300.0 | ||
| 010 | |a 978-2-7302-1569-5 |b br. |d 18 EUR | ||
| 035 | |a 198977794 |9 sudoc | ||
| 035 | |a (OCoLC)708369165 | ||
| 073 | 1 | |a 9782730215695 | |
| 100 | |a 20101109h20102010m y0frey0103 ba | ||
| 101 | 0 | |a fre | |
| 102 | |a FR | ||
| 105 | |a a a 001yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | 1 | |6 z01 |a nga |2 rdacarrier | |
| 200 | 1 | |a Les démonstrations et les algorithmes |e introduction à la logique et à la calculabilité |f Gilles Dowek | |
| 214 | 0 | |a Palaiseau |c Les Editions de l'Ecole polytechnique |d DL 2010 | |
| 215 | |a 1 vol. (193 p.) |c ill., couv. ill. en coul. |d 24 cm | ||
| 225 | 0 | |a Informatique | |
| 305 | |a Autre tirage : 2011 | ||
| 320 | |a Bibliogr. 1 p. Index | ||
| 330 | |a La 4e de couverture indique : "Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gödel, le théorème de semi-décidabilité de la démontrabilité, - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même." | ||
| 410 | | | |0 131059467 |t Informatique (Palaiseau) | |
| 606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
| 606 | |3 PPN027257878 |a Mathématiques |x Philosophie |2 rameau | ||
| 606 | |3 PPN031498949 |a Informatique |x Mathématiques |2 rameau | ||
| 606 | |3 PPN027282171 |a Algorithmes |2 rameau | ||
| 676 | |a 511.3 |v 22 | ||
| 686 | |a I.m |2 acm | ||
| 700 | 1 | |3 PPN02935093X |a Dowek |b Gilles |f 1966-.... |4 070 | |
| 801 | 3 | |a FR |b Electre |c 20101212 |g AFNOR | |
| 801 | 3 | |a FR |b Electre |c 20190430 |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20191012 |g AFNOR |h 198977794 | |
| 979 | |a CCFA | ||
| 979 | |a SCI | ||
| 915 | |5 441092208:639646433 |b 21099 | ||
| 930 | |5 441092208:639646433 |b 441092208 |a 104I31 |j u | ||
| 930 | |5 441092104:653433409 |b 441092104 |j u | ||
| 991 | |5 441092208:639646433 |a exemplaire créé automatiquement par l'ABES | ||
| 998 | |a 610164 | ||