Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00006138
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
Localisation : Colloque 1er étage (NOOR)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00020216
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
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- xii; 417 p.
Cote : 00039620
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
Localisation : Ouvrage RdC (TROE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 170 p.
Cote : 00000133
logique des prédicats # mathématique intuitioniste # opération logique # suite du choix
03B10 ; 03B20 ; 03F55
Localisation : Ouvrage RdC (TROE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 200 p.
Cote : 00017719
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
Localisation : Ouvrage RdC (TROE)
English