m

F Nous contacter

0

Documents  03B40 | enregistrements trouvés : 36

O

-A +A

P Q

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

- 344 p.
ISBN

Astérisque , 0152

Localisation : Périodique 1er étage

35S05 ; 35P99 ; 47G05 ; 30C15 ; 26C10 ; 35L75 ; 35L67 ; 81C20 ; 14F40 ; 14C30 ; 22E50 ; 11F27 ; 14K25 ; 32G20 ; 14H15 ; 32L10 ; 58G99 ; 39B10 ; 30C20 ; 30D05 ; 03B40 ; 90C09 ; 14H10 ; 60Hxx ; 22E45 ; 22E46 ; 22E47 ; 32Lxx ; 51H30 ; 55R10 ; 55R65 ; 57R20 ; 58TXX ; 20D08 ; 10D12 ; 17B65 ; 17B35 ; 20E99 ; 35Q15 ; 70H99 ; 81A45 ; 81A48

... Lire [+]

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

- 381 p.
ISBN 978-0-521-60857-2

London mathematical society lecture note series , 0316

Localisation : Collection 1er étage

théorie de la démonstration # logique linéaire # calcul lambda # théorie des catégories # programmation logique # système distribué # linguistique # logique et mécanique quantique

03B20 ; 03B35 ; 03B40 ; 03B47 ; 03B65 ; 03B70 ; 03F03 ; 03F05 ; 03F07 ; 03F52 ; 03G30 ; 18C50 ; 68Q05 ; 68Q10 ; 68Q55 ; 68T50 ; 81P10

... 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.

- 403 p.
ISBN 978-3-540-62688-6

Lecture notes in computer science , 1210

Localisation : Collection 1er étage

calcul lambda # langage formel # logique combinatoire # logique de programmation # logique mathématique # signification des programmes # technique de programmation

03B40 ; 68N15 ; 68N17 ; 68Nxx

... Lire [+]

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


ISBN 978-3-540-05569-3

Lecture notes in mathematics , 0337

Localisation : Collection 1er étage

arithmétique du second ordre intuitioniste # calculabilité abstraite contre généralité analogue # combinatoire infinitoire # filtre clos sous l'opération de Mahlo et Gaifman # implication effective entre axiome du choix fini # interprétation fonctionnelle # intuitionisme # logique mathématique # modèle dénombrable de théorie des ensembles # modèle pour négation d'axiome de choix # méthode de Kleene pour système intuitioniste # méthode de priorité pour construction d'ensemble dénombrable # nombre chromatique de graphe et système d'ensemble # ordinal admissible et argument de priorité # relation régulière de Lindström # réalisabilité de combinateur d'analyse du type fini construc # sentence de Vaught # somme maximum d'une famille d'ordinal # théorie arithmétique de construction # théorie des ensembles ZF intuintioniste # théorie des ensembles descriptive # théorie des modèles modale # théorème de préservation pouro interprétation # ultrafiltre complet en descendant arithmétique du second ordre intuitioniste # calculabilité abstraite contre généralité analogue # combinatoire infinitoire # filtre clos sous l'opération de Mahlo et Gaifman # implication effective entre axiome du choix fini # interprétation fonctionnelle # intuitionisme # logique mathématique # modèle dénombrable de théorie des ensembles # modèle pour négation d'axiome de choix # méthode de Kleene pour système intuitioniste # méthode de ...

03-02 ; 02C15 ; 03B40 ; 03F55 ; 03Dxx

... Lire [+]

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

- 439 p.
ISBN 978-3-540-56992-3

Lecture notes in computer science , 0702

Localisation : Collection 1er étage

3-satisfiabilité # algorithme de temps linéaire # algèbre de déduction communicante # autointerpréteur de lambda calcul # comptage sur des structures finies # déduction et preuve de théorème # définabilité inductive # définabilité logique # entaille de Kleene # fonction partielle d'ordre sumérieur # formalisme de représentation de connaissance # informatique théorique # inséparabilité récursive # jeu de Ehrenfeucht-Fraïssé # lambda calcul linéaire # langage de programmation # langage de programmation C # langage fonctionnel # logique de base des preuves # logique du point fixe stratifiée # logique linéaire # machine Oracle à temps polynômial # machine de Turing # mathématique discrète # modèle catégorique # prauve de NP-complétude # problème NP-complet # problème d'optimisation NP # programmation logique fonctionnelle # programme de logique complet en négation # prédicat auxiliaire monadique # structuration algorithmique des preuves libres de coupure # sémantique des systèmes de transition comparative # sémantique opérationnelle 3-satisfiabilité # algorithme de temps linéaire # algèbre de déduction communicante # autointerpréteur de lambda calcul # comptage sur des structures finies # déduction et preuve de théorème # définabilité inductive # définabilité logique # entaille de Kleene # fonction partielle d'ordre sumérieur # formalisme de représentation de connaissance # informatique théorique # inséparabilité récursive # jeu de Ehrenfeucht-Fraïssé # lambda calcul ...

03B40 ; 03D10 ; 03D70 ; 18A15 ; 68Qxx

... Lire [+]

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

- 162 p.
ISBN 978-3-540-52734-3

Lecture notes in mathematics , 1429

Localisation : Collection 1er étage

informatique # logique # théorie de la recursion

03B20 ; 03B40 ; 03B70 ; 03D15

... Lire [+]

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


ISBN 978-0-306-42599-8

Localisation : Colloque 1er étage (DRUZ)

biographie # calcul lambda # logique # logique classique # logique de programmation # logique symbolique # progammation # programmation logique

03B40 ; 03B70 ; 03Exx ; 60Q40

... Lire [+]

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


ISBN 978-0-12-198820-3

Localisation : Colloque 1er étage (WATE)

automate et grammaire # code et langage # combinatoire et énumération # combinatoire sur mot # suite de Thue # système de Thue

03B40 ; 05-06 ; 05A15 ; 54H20 ; 57Txx

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

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

- 223 p.
ISBN 978-86-80593-57-9

Zbornik radova , 0018

Localisation : Ouvrage RdC (LOGI)

théorie de la démonstration # logique probabiliste de premier ordre # clone et hyperclone # commutation et conception logique # système de preuve interactive

18-01 ; 03F07 ; 18A15 ; 03F05 ; 18D10 ; 03B48 ; 03B60 ; 03B70 ; 03B35 ; 68T37 ; 68T15 ; 68T30 ; 03-02 ; 03B40 ; 03B47 ; 68N18 ; 03F52 ; 08-02 ; 08A40 ; 03C13 ; 15-02 ; 43A32 ; 94B05

... Lire [+]

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

- xxii; 833 p.
ISBN 978-0-521-76614-2

Perspectives in logic

Localisation : Ouvrage RdC (BARE)

lambda calcul # lambda-calcul simplement typé # type récursif # type intersection

03-00 ; 03B40 ; 03B70

... Lire [+]

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

- xvi, 275 p.
ISBN 978-2-85629-273-0

Panoramas et synthèses , 0027

Localisation : Collection 1er étage

Théorie de la démonstration # réalisabilité # machines abstraites # logique linéaire # sémantique des jeux

03F05 ; 03F52 ; 68Q55 ; 03B40 ; 03B70 ; 03G30 ; 68N18 ; 68N20

... Lire [+]

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

- 170 p.
ISBN 978-0-521-09697-3

London mathematical society lecture note series , 0007

Localisation : Ouvrage RdC (HIND)

conversion lambda # logique combinatoire # théorie récursive

03B40 ; 03D99 ; 03-01

... Lire [+]

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

- 392 p.
ISBN 978-0-521-62112-0

Cambridge tracts in theoretical computer science , 0045

Localisation : Ouvrage RdC (ASPE)

informatique # logiciel # programmation fonctionnelle # langage de programmation # calcul lambda # logique linéaire

68N18 ; 03B40 ; 03F52

... Lire [+]

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

- 377 p.
ISBN 978-0-13-770009-7

Prentice Hall international series in computer science

Localisation : Ouvrage RdC (LALE)

logique # réduction # résolution # informatique théorique # programmation logique # programmation fonctionnelle # calcul lambda # modèle # calculabilité # réécriture # complexité # théorie du calcul sémantique

68-02 ; 03B40 ; 03B70 ; 03C05 ; 68N17 ; 68Q42

... Lire [+]

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

- 484 p.
ISBN 978-0-521-62277-6

Cambridge tracts in theoretical computer science , 0046

Localisation : Ouvrage RdC (AMAD)

logique # informatique # logique combinatoire # sémantique # logique de programmation # sémantique # langage de programmation # domaine # calcul lambda # syntaxe du calcul lambda # dualiété de Stone # approche syntaxique de la sémantique

03B40 ; 06B35 ; 58-02 ; 68Q55 ; 68N18

... Lire [+]

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

- 611 p.
ISBN 978-0-19-853791-5

Oxford science publications

Localisation : Ouvrage RdC (Hand)

intelligence artificielle # programmation logique # épistémologie # raisonnement épistémologique # temps # raisonnement temporel # logique dans le temps

68-00 ; 68Q55 ; 03B70 ; 68Q10 ; 68Q65 ; 03D45 ; 68Q60 ; 06B35 ; 03B40

... 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.

- 396 p.
ISBN 978-0-19-853450-1

Oxford logic guides , 0027

Localisation : Ouvrage RdC (SMUL)

arithmétique # logique # logique combinatoire # numération de Gödel # point fixe # récursion # synchronisation # système formel # système récursif # système séquentiel # théorème d"incomplétude

03-01 ; 03-02 ; 03B40 ; 03D20 ; 03D25 ; 03F30 ; 03F40

... Lire [+]

Z