Documents  03-XX | enregistrements trouvés : 80

- xix; 290 p.
ISBN 978-0-8218-4835-7

Contemporary mathematics , 0514

Localisation : Collection 1er étage

analyse non-linéaire # optimization # calcul de variations # économie # régularité métrique # analyse non lisse # contrôle optimal # échelle de temps

03-XX ; 11-XX ; 14-XX ; 20-XX ; 26-XX ; 30-XX ; 34-XX ; 35-XX ; 39-XX ; 41-XX ; 46-XX ; 47-XX ; 49-XX ; 52-XX ; 54-XX ; 55-XX ; 57-XX ; 58-XX ; 65-XX ; 76-XX ; 90-XX ; 00B25 ; 46-06 ; 47-06

... Lire [+]

- xxi, 263 p.
ISBN 978-0-8218-4834-0

Contemporary mathematics;Israel mathematical conference proceedings , 0513

Localisation : Collection 1er étage

théorie non-linéaire # optimisation # théotie du point fixe # biologie # stabilité de Mosco # EDP # semi-goupe

03-XX ; 11-XX ; 14-XX ; 20-XX ; 26-XX ; 30-XX ; 34-XX ; 35-XX ; 39-XX ; 41-XX ; 46-XX ; 47-XX ; 49-XX ; 52-XX ; 54-XX ; 55-XX ; 57-XX ; 58-XX ; 65-XX ; 76-XX ; 90-XX

... Lire [+]

- 326 p.
ISBN 978-0-8218-1364-5

Contemporary mathematics , 0235

Localisation : Collection 1er étage

K-théorie algébrique # MV algèbre # informatique théorique # logique des prédicats # logique mathématique # mathématique discrète # épistémologie

03-06 ; 03-XX

... Lire [+]

ISBN 978-0-8218-0611-1

Proceedings of symposia in applied mathematics , 0055

Localisation : Collection 1er étage

combinatoire # fondement mathématique # géométrie # histoire # intelligence artificielle # logique # probabilité # programmation mathématique # recherche opérationnelle

03-XX ; 05-XX ; 51-XX ; 60-XX ; 68-XX ; 90-XX

... Lire [+]

ISBN 978-3-540-07534-9

Lecture notes in mathematics , 0499

Localisation : Collection 1er étage

approche axiomatique à la récursion sur structure générale # axiome de grands cardinaux # axiome du choix en théorie des classes de Morse-Kelley # coque de théorie # extensibilité de modèle de la théorie des ensembles ZF aux m # extension de logique du premier ordre # grands cardinaux petits # logique algorithmique multivaluée # modèle fermé # méthode en histoire de la logique # plus petits ordinaux réfléchissants sigma un demi et pi un d # problème algorithmique irrésoluble récursivement # produit du forcing de Silver # propriété d'indescriptibilité # sémantique intensionnelle pour langage naturel # théorie des ensembles en langage infinitaire # théorie des modèles de corps locaux # théorie du calcul # théorème de Silver # type de données comme treillis # élimination de quantificateur approche axiomatique à la récursion sur structure générale # axiome de grands cardinaux # axiome du choix en théorie des classes de Morse-Kelley # coque de théorie # extensibilité de modèle de la théorie des ensembles ZF aux m # extension de logique du premier ordre # grands cardinaux petits # logique algorithmique multivaluée # modèle fermé # méthode en histoire de la logique # plus petits ordinaux réfléchissants sigma un demi et pi un d # ...

03-XX ; 04-XX ; 68-XX

... Lire [+]

- 248 p.
ISBN 978-0-8218-0517-6

DIMACS series in discrete mathematics and theoretical computer science , 0031

Localisation : Collection 1er étage

automate # complexité de calcul # logic # proposition algébrique # système de preuve # théorie du modèle fini

03-XX ; 68-XX

... Lire [+]

- 129 p.
ISBN 978-0-8218-0578-7

DIMACS series in discrete mathematics and theoretical computer science , 0033

Localisation : Collection 1er étage

combinatoire # logique # mathématique discrète # structure aléatoire

03-XX ; 05-XX

... Lire [+]

- 704 p.
ISBN 978-0-8218-5138-8

Contemporary mathematics , 0131

Localisation : Collection 1er étage

algèbre # algèbre de Lie # algèbre différentielle # algèbre universelle # anneau # anneau non associatif # catégorie # combinatoire # corps # corps oblique # groupe # géométrie # géométrie algébrique

00B25 ; 03-XX ; 05-XX ; 06-XX ; 08-XX

... Lire [+]

- 704 p.
ISBN 978-0-8218-5137-1

Contemporary mathematics , 0131

Localisation : Collection 1er étage

algèbre de Lie # algèbre différentielle # algèbre universelle # anneau # anneau non associatif # catégorie # combinatoire # corps # corps oblique # groupe # géométrie # géométrie algébrique # logique

00B25 ; 03-XX ; 06-XX ; 08-XX ; 11-XX

... Lire [+]

- 712 p.
ISBN 978-0-8218-5136-4

Contemporary mathematics , 0131

Localisation : Collection 1er étage

algèbre de Lie # algèbre différentielle # algèbre universelle # anneau # anneau non associatif # catégorie # combinatoire # corps # corps oblique # groupe # géométrie # géométrie algébrique # logique

00B25 ; 03-XX ; 06-XX ; 08-XX ; 12-XX

... Lire [+]

- 347 p.
ISBN 978-3-540-10850-4

Lecture notes in mathematics , 0873

Localisation : Collection 1er étage

fondement de la logique mathématique # logique mathématique # mathématiques constructives # théorie de la preuve

03-XX ; 03F50 ; 03F55 ; 03F65 ; 03Fxx

... Lire [+]

- 1174 p.
ISBN 978-3-540-10849-8

Lecture notes in mathematics , 0872

Localisation : Collection 1er étage

algèbre booléenne # fondement de la logique mathématique # logique mathématique # théorie des ensembles # théorie des modèles

03-06 ; 03-XX ; 03Cxx ; 03Exx

... Lire [+]

- 297 p.
ISBN 978-0-8218-5110-4

Contemporary mathematics , 0106

Localisation : Collection 1er étage

arithmétique de l'informatique # informatique # mathématiques de l'informatique

03-XX ; 68-XX

... Lire [+]

ISBN 978-0-8218-5052-7

Contemporary mathematics , 0065

Localisation : Collection 1er étage

analyse combinatoire # combinatoire # logique # logique symbolique

03-06 ; 03-XX ; 03Fxx ; 05-06 ; 05Cxx

... Lire [+]

- 324 p.
ISBN 978-3-540-09118-9

Lecture notes in computer science , 0067

Localisation : Collection 1er étage

algorithme # analyse numérique # automate # complexité informatique # inductivité # informatique théorique # logique # machine # théorie de l'information # théorie des langages

03-XX ; 05-04 ; 68-06 ; 68-XX ; 94-XX

... Lire [+]

- 292 p.
ISBN 978-3-540-07407-6

Lecture notes in computer science , 0033

Localisation : Collection 1er étage

automate # compilateur # complexité # informatique théorique # langage formel # logique # métathéorie # théorie des automates

03-XX ; 68-XX ; 94-XX

... Lire [+]

- 431 p.
ISBN 978-3-540-11157-3

Lecture notes in computer science , 0122

Localisation : Collection 1er étage

algorithme # algorithmique

01-XX ; 03-XX ; 68-06 ; 68-XX

... Lire [+]

ISBN 978-0-919558-04-5

Localisation : Congrès internationaux 1er étage

Chandrasekharan # EDP hyperbolique # K-théorie algébrique # Tate # algèbre # algèbre non associative # codage # fondement des mathématiques # groupe algébrique # géométrie algébrique # logique mathématique # sous-groupe discret # théorie des nombres # théorie du contrôle # théorie quantique des champs # théorie transversale # topologie algèbrique # topologie différentielle # énergie des marées

00B25 ; 03-XX ; 20-XX ; 81-XX ; 93-XX

... Lire [+]

- 189 p.
ISBN 978-3-540-15998-8

Lecture notes in mathematics , 1158

Localisation : Collection 1er étage

03-XX ; 22-XX ; 28-XX ; 31-XX ; 34Bxx

... Lire [+]