m

Documents  03B40 | enregistrements trouvés : 36

O

-A +A

P Q

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.


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.

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

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


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.

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

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

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

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

- 181 p.
ISBN 978-90-6196-275-5

CWI tract , 0009

Localisation : Collection 1er étage

03B40 ; 68F20

... Lire [+]

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

- 120 p.
ISBN 978-90-6196-147-5

Mathematical centre tracts , 0083

Localisation : Collection 1er étage

axiomatique # calcul lambda # fondements de la logique classique # informatique # langage formel # langage naturel # logique mathématiques # traitement

03-04 ; 03B30 ; 03B40 ; 68-04 ; 69F05

... Lire [+]

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

- 317 p.
ISBN 978-90-6196-200-7

Mathematical centre tracts , 0127

Localisation : Collection 1er étage

calcul algébrique # calcul symbolique # informatique théorique # logique combinatoire # logique de programmation # logique symbolique # système formel

03B40 ; 68C01 ; 68C20

... Lire [+]

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

- 188 p.
ISBN 978-90-6196-256-4

Mathematical centre tracts , 0160

Localisation : Collection 1er étage

automatique # lambda calcul # logique de la combinatoire

03B40

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

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

- 302 p.
ISBN 978-0-521-34632-0

Cambridge tracts in theoretical computer science , 0002

Localisation : Ouvrage RdC (PAUL)

calcul lambda # langage # logique # logique formelle

03B05 ; 03B10 ; 03B40 ; 03Bxx

... Lire [+]

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

- 181 p.
ISBN 978-0-521-34589-7

Cambridge tracts in theoretical computer science , 0004

Localisation : Ouvrage RdC (REVE)

calcul lambda # programmation

03B40 ; 68R05

... Lire [+]

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

- 434 p.
ISBN 978-0-632-01739-3

Computer science texts

Localisation : Ouvrage RdC (HENS)

langage fonctionnelle des éléments

03B40 ; 68Q45

... Lire [+]

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

- 58 p.

Séminaire de Mathématiques supérieures , 0052

Localisation : Salle de manutention

informatique # lambda calcul # langage # logique combinatoire # metalangage

03B40 ; 05-XX ; 68-XX ; 68N99 ; 68R05

... Lire [+]

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

- 417 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (CURR)

fonctionnalité # lambda conversion # logique combinatoire # logique combinatoire illative # système formel # théorie intuitive des combinateurs # théorie synthétique des combinateurs # théorème de Church- Rosser # épithéorie

03B40 ; 03F10

... Lire [+]

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

- 520 p.
ISBN 978-0-7204-2208-5

Studies in logic and the foundations of mathematics , 0065

Localisation : Ouvrage RdC (CURR)

arithmétique combinatoire # fonctionalité # généralité restreinte # généralité universelle # logique combinatoire # système illatif # théorie des types combinatoires

03B15 ; 03B40

... Lire [+]

Z