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