F Nous contacter

0

Documents  Girard, Jean-Yves | enregistrements trouvés : 12

O
     

-A +A

Sélection courante (0) : Tout sélectionner / Tout déselectionner

P Q

V

- 389 p.
ISBN 978-0-521-55961-4

London mathematical society lecture note series , 0222

Localisation : Collection 1er étage

algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # théorie de la preuve # théorie des ensembles algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # ...

03B15 ; 03Bxx ; 03C45 ; 03D15 ; 68S05

... Lire [+]

V

- 381 p.
ISBN 978-0-521-60857-2

London mathematical society lecture note series , 0316

Localisation : Collection 1er étage

théorie de la démonstration # logique linéaire # calcul lambda # théorie des catégories # programmation logique # système distribué # linguistique # logique et mécanique quantique

03B20 ; 03B35 ; 03B40 ; 03B47 ; 03B65 ; 03B70 ; 03F03 ; 03F05 ; 03F07 ; 03F52 ; 03G30 ; 18C50 ; 68Q05 ; 68Q10 ; 68Q55 ; 68T50 ; 81P10

... Lire [+]

y

- 263 p.
ISBN 978-4-902578-04-1

Localisation : Colloque RdC

philosophie # sémantique # logique intuitionniste

03AXX ; 00A30 ; 03A10

... Lire [+]

V

- 77 p.
ISBN 978-2-85978-055-5

Localisation : Ouvrage RdC (BOUL)

03A05 ; 03B25 ; 03E60

... Lire [+]

V

- 176 p.
ISBN 978-0-521-37181-0

Cambridge tracts in theoretical computer science , 0007

Localisation : Ouvrage RdC (GIRA)

logique # théorie de la preuve

03Cxx ; 03F40 ; 03Fxx

... Lire [+]

V


ISBN 978-88-7088-123-3

Studies in proof theory

Localisation : Disparu

complexite # logique # theorie de la preuve

03F20 ; 03Fxx

... Lire [+]

y

- 178 p.
ISBN 978-2-02-010652-8

Collection sources du savoir

Localisation : Ouvrage RdC (THEO)

théorème de Gödel # logique mathématique # théorème d'incomplétude # philosophie

03-03 ; 03A05

... Lire [+]

V

- 360 p.
ISBN 978-2-84225-058-4

Le sel et le fer , 0012

Localisation : Ouvrage RdC (LECO)

histoire des mathématiques # théorie de la démonstration # programme de Hilbert # logique linéaire # nombre entier # cryptologie # fonction modulaire # transcendance # ensemble rectifiable # controlabilité # topologie # forme différentielle # nombre p-adique # représentation de Galois # équation diophantienne # courbe algébrique # groupe fondamental # marche aléatoire

00B15 ; 00A05 ; 01A60

... Lire [+]

V

- 280 p.
ISBN 978-2-7056-6633-0

Vision des sciences

Localisation : Ouvrage RdC (GIRA)

logique # épistemologie # théorème d'incomplétude # théorie de la démonstration # logique linéaire

03-XX ; 03-99 ; 03A05

... Lire [+]

V

- 567 p.
ISBN 978-270-566634-7

Visions des sciences

Localisation : Ouvrage RdC (GIRA)

logique mathématique # théorie de la démonstration # épistémologie

03-XX ; 03A05

... Lire [+]

y

- 178 p.
ISBN 978-2-02-32778-7

Points

Localisation : Ouvrage RdC (THEO)

théorème de Gödel # logique mathématique # théorème d'incomplétude # philosophie

03-03 ; 03A05

... Lire [+]

y

- 174 p.
ISBN 978-2-02-036928-2

Points

Localisation : Ouvrage RdC (TURI)

fonction récursive # complexité de calcul # fonction calculable # machine de Turing # théorie des automates mathématiques

03A05 ; 00A30 ; 68T01 ; 01A60

... Lire [+]

Nuage de mots clefs ici

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z