|
|
|
|
| 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
|
Nantilus
