m

Documents  03B15 | enregistrements trouvés : 27

O

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- viii; 279 p.
ISBN 978-1-4704-1668-3

Contemporary mathematics , 0658

Localisation : Collection 1er étage

logique mathématique # algèbre linéaire # équation aux dérivées partielles # calcul de variations # analyse numérique # relativité

03B15 ; 03F50 ; 15A23 ; 35A22 ; 35B30 ; 35Q35 ; 35R30 ; 49M25 ; 65F15 ; 83E15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 295 p.
ISBN 978-4-931469-02-0

Msj memoirs , 0002

Localisation : Colloque 1er étage (TOKY)

arbre de Böhm # calcul lambda # logique # logique d"ordre supérieur # logique linéaire # modèle lambda # preuve mathématique des systèmes constructifs # système d"attribution de type # théorie des types

03B15 ; 03B40 ; 03F05 ; 03F50 ; 68Q05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-19-850127-5

Oxford logic guides , 0036

Localisation : Colloque 1er étage (VENI)

analyse constructive # analyse récursive # fondement # logique d'ordre supérieur # mathématique constructive # structure logique # système constructif # théorie de la preuve # théorie des types de logique

03-06 ; 03B15 ; 03F50 ; 03F60 ; 03F65

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 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 [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 382 p.
ISBN 978-0-8218-5100-5

Contemporary mathematics , 0092

Localisation : Collection 1er étage

analyse de données electronique # catégories # informatique théorique

03B15 ; 18-06 ; 18D99 ; 68F20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 599 p.
ISBN 978-90-6196-213-7

Mathematical centre tracts , 0136

Localisation : Collection 1er étage

analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème

03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 322 p.
ISBN 978-90-6196-211-3

Mathematical centre tracts , 0135

Localisation : Collection 1er étage

analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème

03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

A system of dependent type theory T gives rise to a natural transformation p : Terms $\to$ Types of presheaves on the category Ctx of contexts, termed a "natural model of T". This map p in turn determines a polynomial endofunctor P : $\widehat{Ctx}$ $\to$ $\widehat{Ctx}$ on the category of all presheaves. It can be seen that P has the structure of a monad just if T has $\Sigma$-types and a terminal type, and that p is itself a P-algebra just if T has $\Pi$-types. I will explain this rather unexpected connection between type theories and polynomial monads, and will welcome any insights from the other participants regarding it. A system of dependent type theory T gives rise to a natural transformation p : Terms $\to$ Types of presheaves on the category Ctx of contexts, termed a "natural model of T". This map p in turn determines a polynomial endofunctor P : $\widehat{Ctx}$ $\to$ $\widehat{Ctx}$ on the category of all presheaves. It can be seen that P has the structure of a monad just if T has $\Sigma$-types and a terminal type, and that p is itself a P-algebra just if ...

03B15 ; 03G30 ; 03F35 ; 55Pxx ; 55U40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 219 p.
ISBN 978-2-271-11613-0

Localisation : Biographie RdC (WHIT)

Alfred North Whitehead # philosophie # biographie # espace-temps # physique quantique # cristallisation du réel # process

01A75 ; 00A30 ; 03B15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- x; 476 p.
ISBN 978-2-85629-804-6

Astérisque , 0367;0368

Localisation : Périodique 1er étage;Réserve

topologie # géométrie différentielle # équation aux dérivées partielles # groupe approximatif # analyse fonctionnelle # géométrie algébrique des surfaces K3 # nombre premier # probabilité # preuve formelle

35A05 ; 35L71 ; 37l50 ; 53C20 ; 35B35 ; 35Q20 ; 45K05 ; 60J75 ; 65C05 ; 82C22 ; 82C40 ; 82C80 ; 11B30 ; 03C98 ; 20N99 ; 20F67 ; 57Mxx ; 57M25 ; 57M27 ; 57R17 ; 53C42 ; 49Q20 ; 14J28 ; 14C25 ; 14C20 ; 14C34 ; 14G35 ; 82B44 ; 82B20 ; 60K35 ; 82A70 ; 82B40 ; 11N05 ; 11N13 ; 11N35 ; 11N37 ; 11L05 ; 11T23 ; 03B15 ; 18A15 ; 03B35 ; 68T15 ; 83C05 ; 53C50 ; 53C80 ; 35L72 ; 05C50 ; 15A15 ; 26C10 ; 46L30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- x; 263 p.
ISBN 978-1-4471-4557-8

Universitext

Localisation : Ouvrage RdC (VAND)

logique propositionnelle # logique des prédicats # exhaustibilité # logique de second ordre # logique intuitionniste # normalisation # théorème d'incomplétude de Gödel # ultraproduit

03-01 ; 03-02 ; 03B05 ; 03B10 ; 03B15 ; 03B20 ; 03C07 ; 03C20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xiv; 728 p.
ISBN 978-0-521-89833-1

Encyclopedia of mathematics and its applications , 0138

Localisation : Collection 1er étage

méthode graphique # langage formel # logique mathématique # combinatoire # complexité # algorithme de théorie des graphes

68-02 ; 03B15 ; 03D05 ; 05C85 ; 05C90 ; 68Q45 ; 68R10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 420 p.
ISBN 978-0-387-23759-6

Monographs in computer science

Localisation : Ouvrage RdC (POER)

aspects mathématiques du software # programmation # logique mathématique # données abstraites # algèbre de spécification # démonstrateur de théorème

03B15 ; 68N18 ; 68Q65 ; 03B20 ; 68N30 ; 68T15 ; 68-02

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 572 p.
ISBN 978-0-521-63107-5

Cambridge studies in advanced mathematics , 0059

Localisation : Ouvrage RdC (TAYL)

logique # philosophie des mathématiques # logique d'ordre supérieur # théorie des types # logique combinatoire # logique catégorique # théorie des catégories # treillis # catégorie cartésienne fermée # limite # adjonction entre syntaxe et sémantique # catégorie syntaxique # récurrence structurelle

00A30 ; 03-02 ; 03B15 ; 03B40 ; 03G30 ; 18-02

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 410 p.
ISBN 978-0-521-62606-4

Cambridge mathematical library

Localisation : Ouvrage RdC (WHIT)

Russel # fondement # histoire des mathémathiques # logique mathématiques # whitehead # épistémologie des mathématiques

01A75 ; 03-03 ; 03B15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-540-07149-5

Lecture notes in mathematics , 0447

Localisation : Collection 1er étage

2ème preuve de consistance de Gentzen # analyse # introduction de répétition # logique du 2ème ordre # procédure de traduction # système d'ordre supérieur dû à Schütte # système de Schütte à partie positive ou négative # système de tableau # théorie des nombres du 1er ordre # théorie des nombres intuitioniste # élimination de coupure

03-02 ; 03A05 ; 03B15 ; 03C60 ; 03F99

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 248 p.
ISBN 978-2-86601-380-6

Traité des nouvelles technologies

Localisation : Ouvrage RdC (LASS)

calcul informatique # calcul lambda # fonction recursive # fondement de l'informatique # fondement des mathématiques # incomplétude # indécidabilité # logiciel d'enseignement # logique # logique de proposition # logique du premier ordre # logique déductive # machine de Turing

03B05 ; 03B15 ; 03B40 ; 03Bxx ; 03Dxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 176 p.
ISBN 978-2-225-82091-5

Etudes et recherches en informatique

Localisation : Disparu;Ouvrge RdC (KRIV)

fonction récursive # lambda calcul # logique combinatoire # logique générale # logique mathématique # théorie des types

03-XX ; 03B15 ; 03B40 ; 03Bxx ; 03D20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 304 p.
ISBN 978-0-12-058536-6

Computer science and applied mathematics

Localisation : Ouvrage RdC (ANDR)

calcul des prédicats # démonstration # logique de premier ordre # logique mathématiques # réfutation

03-XX ; 03B15 ; 03B35 ; 68A40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 293 p.
ISBN 978-0-521-24665-1

Cambridge studies in advanced mathematics , 0007

Localisation : Ouvrage RdC (LAMB)

catégorie # logique # logique mathématiques

03B15 ; 03B40 ; 03C35

... Lire [+]

Z