m

F Nous contacter

0

Documents  18A15 | enregistrements trouvés : 10

O
     

-A +A

P Q

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

- 307 p.
ISBN 978-0-8218-5032-9

Contemporary mathematics , 0030

Localisation : Collection 1er étage

18A15

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

Lecture notes in mathematics , 0086

Localisation : Collection 1er étage

anneau local régulier # application de coréflexion # catégorie de module avec objet initial # catégorie dérivée # co-algèbre en catégorie d'algèbre # coégaliseur absolu # dualité de Poincaré # extension de Kan # foncteur dérivé sans injectif # foncteur dérivé simplicial # modèle acyclique # programme possible pour catégorie # recouvrement universel # système déductif # théorie d'homologie # théorie de Galois # théorie des catégories

18A15 ; 18A40 ; 18E30 ; 18G05 ; 18G60

... Lire [+]

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

Theoretical computer science , 0175

Localisation : Colloque 1er étage (KANA)

LOGSPACE # automate # calcul lambda # décidabilité # informatique théorique # intuition # langage delta # logique de programmation # logique non standard # système de réécriture # système déductif

03B22 ; 03B25 ; 03B45 ; 18-06 ; 18A15 ; 60-06 ; 68N17 ; 68N99

... Lire [+]

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

Lecture notes in mathematics , 0018

Localisation : Collection 1er étage

addition et co-addition # catégorie additive # catégorie et foncteur # dualité et naturalité # foncteur représentable # logique et ensemble # morphisme nul # plongement et identification # produit et co-produit

18A15 ; 18A20 ; 18A23 ; 18A40 ; 18B15

... Lire [+]

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

Lecture notes in mathematics , 0106

Localisation : Collection 1er étage

adjonction pour catégorie enrichie # algèbre universelle # catégorie # catégorie autonome avec modèle # catégorie de foncteur enrichie # centre # critère de tripléabilité de Beck # fondation ensembliste de la théorie des catégories # univers # évaluation de foncteur

18-06 ; 18A15 ; 18A40 ; 18D20

... Lire [+]

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

- 345 p.
ISBN 978-0-521-44178-0

Encyclopedia of mathematics and its applications , 0050

Localisation : Collection 1er étage

algèbre catégorique # bi-catégorie et distributeur # catégorie de fraction # catégorie interne # co-limite # complétude de Cauchy # foncteur adjoint # foncteur plat # générateur et projectif # langage des catégories # limite

18A15 ; 18A30 ; 18A40 ; 18D05 ; 18G05

... Lire [+]

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

- 146 p.

Collection de logique mathématique série A , 0018

Localisation : Ouvrage RdC (PORT)

logique # système formel # système connectif

03G25 ; 18A15 ; 03-02

... Lire [+]

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

- x; 476 p.
ISBN 978-2-85629-804-6

Astérisque , 0367;0368

Localisation : Périodique 1er étage;Réserve

topologie # géométrie différentielle # équation aux dérivées partielles # groupe approximatif # analyse fonctionnelle # géométrie algébrique des surfaces K3 # nombre premier # probabilité # preuve formelle

35A05 ; 35L71 ; 37l50 ; 53C20 ; 35B35 ; 35Q20 ; 45K05 ; 60J75 ; 65C05 ; 82C22 ; 82C40 ; 82C80 ; 11B30 ; 03C98 ; 20N99 ; 20F67 ; 57Mxx ; 57M25 ; 57M27 ; 57R17 ; 53C42 ; 49Q20 ; 14J28 ; 14C25 ; 14C20 ; 14C34 ; 14G35 ; 82B44 ; 82B20 ; 60K35 ; 82A70 ; 82B40 ; 11N05 ; 11N13 ; 11N35 ; 11N37 ; 11L05 ; 11T23 ; 03B15 ; 18A15 ; 03B35 ; 68T15 ; 83C05 ; 53C50 ; 53C80 ; 35L72 ; 05C50 ; 15A15 ; 26C10 ; 46L30

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

Z