m

Documents  Troelstra, A. S. | enregistrements trouvés : 5

O
     

-A +A

P Q

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


ISBN 978-0-444-86494-9

Studies in logic and the foundations of mathematics , 0110

Localisation : Colloque 1er étage (NOOR)

Brouwer # arithmétique intuitioniste # axiome de choix dénombrable # calcul synthétique # constructivité # couverture de Freyd # définition inductive monotone # entaille de Friedman # espace formel # foncteur lisse # fonction constructive # lambda calcul typé pur # logique constructive # modèle constructif # modèle non standard # méthode non récursive # projection de suite sans loi # règle d'induction barre # signification # suite de choix # théorie de l'approximation constructive # théorie des ensembles constructibles # théorie des nombres algébriques # théorème barre # théorème de l'éventail # topos collant Brouwer # arithmétique intuitioniste # axiome de choix dénombrable # calcul synthétique # constructivité # couverture de Freyd # définition inductive monotone # entaille de Friedman # espace formel # foncteur lisse # fonction constructive # lambda calcul typé pur # logique constructive # modèle constructif # modèle non standard # méthode non récursive # projection de suite sans loi # règle d'induction barre # signification # suite de choix # ...

03Fxx

... Lire [+]

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

Lecture notes in mathematics , 0095

Localisation : Collection 1er étage

analyse constructive ou de type loi # arithmétique # bon ordonnancement et ordinal # espace métrique séparable # espèce # intuitionisme # logique # nombre réel # objet de type loi # ordre sur droite réelle # principe de compréhension # principe de continuité # relation ordonnante # suite # suite de choix # suite sans loi des nombres naturels # théorie de Brower du suject créatif # théorie de la preuve # théorème de l'éventail # topologie # étendue analyse constructive ou de type loi # arithmétique # bon ordonnancement et ordinal # espace métrique séparable # espèce # intuitionisme # logique # nombre réel # objet de type loi # ordre sur droite réelle # principe de compréhension # principe de continuité # relation ordonnante # suite # suite de choix # suite sans loi des nombres naturels # théorie de Brower du suject créatif # théorie de la preuve # théorème de l'éventail # topologie # ...

03F35 ; 03Fxx ; 11Bxx ; 54D65 ; 54E35

... Lire [+]

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

- 170 p.
ISBN 978-0-19-853163-0

Oxford logic guide

Localisation : Ouvrage RdC (TROE)

logique des prédicats # mathématique intuitioniste # opération logique # suite du choix

03B10 ; 03B20 ; 03F55

... Lire [+]

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

- 200 p.
ISBN 978-0-937073-78-0

CSLI lecture notes , 0029

Localisation : Ouvrage RdC (TROE)

algorithme d'élimination par coupure pour réseau de preuves # calcul de 2 implications # calcul par évaluation paresseuse dans les CCC's, SMC's et IL # calcul résultant # cohérence en catégorie monoïdale symétrique # comonoïde colibre # domaine de Girard # indécidabilité de logique linéaire # logique # logique consciente en ressource # logique linéaire combinatoire # logique mathématique # logique sous-structuelle # logique symbolique # machine catégorique et linéaire # normalisation forte # opérateur de stokage # opérateur multiplicatif # ordinateur # plongement et approximation # réseau de preuve pour fragment multiplicatif # résultat syntactique # système de déduction naturelle # système de type Hilbert # sémantique algébrique # évaluation en calcul typé algorithme d'élimination par coupure pour réseau de preuves # calcul de 2 implications # calcul par évaluation paresseuse dans les CCC's, SMC's et IL # calcul résultant # cohérence en catégorie monoïdale symétrique # comonoïde colibre # domaine de Girard # indécidabilité de logique linéaire # logique # logique consciente en ressource # logique linéaire combinatoire # logique mathématique # logique sous-structuelle # logique symbolique # machine ...

03Bxx

... Lire [+]

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

- xii; 417 p.
ISBN 978-0-521-77911-1

Cambridge tracts in theoretical computer science , 0043

Localisation : Ouvrage RdC (TROE)

théorie de la démonstration # logique minimale # logique classique # logique intuitioniste # système naturel de déduction # calcul des séquents # normalisation forte # interpolation # logique combinatoire # logique catégorique # théorème de cohérence # logique linéaire # arithmétique de Heyting # résolution # logique modale

03F03 ; 03-02 ; 03-01 ; 03F52 ; 68N17 ; 03F05 ; 03B40 ; 03G30 ; 03B45 ; 03F30 ; 03F35 ; 03B70

... Lire [+]

Z