En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03B15 26 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Foundations and applications of montague grammar. Part 1 :
philosophy, framework, computer science Janssen, T. M. V. | Centre For Mathematics And Computer Science 1986

Ouvrage

- 205 p.
Cote : 00010074

03B15 ; 03G15 ; 08A99 ; 68F05 ; 68F20

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Formal methods in the study of language. Part 2 :
third colloquium on... held at amsterdam#March 25-28 Groenendijk, J. A. G. ; Janssen, T. M. V. ; Stokhof, M. B. J. | Mathematisch Centrum 1985

Congrès

- 599 p.
Cote : 00010512
analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème

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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Formal methods in the study of language. Part 1 :
third colloquium on... held at amsterdam#March 25-28 Groenendijk, J. A. G. ; Janssen, T. M. V. ; Stokhof, M. B. J. | Mathematisch Centrum 1985

Congrès

- 322 p.
Cote : 00010511
analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème

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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

An introduction to mathematical logic and type theory
to truth through proof Andrews, Peter B. | Academic Press 1986

Ouvrage

- 304 p.
Cote : 00010819
calcul des prédicats # démonstration # logique de premier ordre # logique mathématiques # réfutation

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

Localisation : Ouvrage RdC (ANDR)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Categories in computer science and logic :
conference on... held at the university of Colorado#June 14-20 Gray, John W. ; Scedrov, Andre | American Mathematical Society 1989

Congrès

- 382 p.
Cote : 00012446
analyse de données electronique # catégories # informatique théorique

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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Introduction to mathematical logic. Vol. 1 Church, Alonzo | Princeton University Press 1956

Ouvrage

- 378 p.
Cote : 00004043
calcul des propositions # calcul fonctionnel du premier ordre # calcul fonctionnel du second ordre # logique mathématique

03-01 ; 03B05 ; 03B10 ; 03B15

Localisation : Ouvrage RdC (CHUR)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Abstract set theory Skolem, Thoralf A. | University of Notre Dame 1962

Ouvrage

- 70 p.
Cote : 00004153
axiome de Zermelo et Fraenkel # ensemble ordonné # exponentiation des alephs # logique à plusieurs valeurs # mathématique intuitioniste # mathématique opérative de Lorenz # ordinal et aleph # quantificateurs # relativisme de la théorie des ensembles # suite infinie simple # théorie de Cantor # théorie de Quine # théorie des ensembles abstraite # théorie des ensembles prédicative # théorie ramifiée des types

03-03 ; 03B15 ; 03B50 ; 03Exx ; 04-XX

Localisation : Ouvrage RdC (SKOL)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Principia mathematica. Vol.I Whitehead, Alfred North ; Russell, Bertrand | Cambridge University Press 1927

Ouvrage

- 674 p.
Cote : 00000165
arithmétique cardinale # classe # déduction # fonction de vérité # logique mathématique # principe de mathématiques # relation inductive # sélection # théorie des propositions # Whitehead # oeuvres complètes

03B05 ; 03B10 ; 03B15 ; 03B22 ; 03Bxx

Localisation : Ouvrage RdC (WHIT)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Tableau systems for first order number theory and certain higher order theories Toledo, Sue | Springer-Verlag 1975

Ouvrage


Cote : 00020494
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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Advances in linear logic :
linear logic workshop held at Mathematical Sciences Institute#June 14-18 Girard, Jean-Yves ; Lafont , Yves ; Regnier, Laurent | Cambridge University Press 1995

Congrès

- 389 p.
Cote : 00017649
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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun