F Nous contacter

0

Documents  03B35 | enregistrements trouvés : 18

O
     

-A +A

Sélection courante (0) : Tout sélectionner / Tout déselectionner

P Q

3 y

Research talks

L'introduction d'un nouveau concept scientifique permet souvent de donner de nouvelles réponses à des questions anciennes qui n'avaient jusqu'alors reçu que des réponses imparfaites. Cet exposé présente quelques questions qui ont trouvé de nouvelles réponses depuis que nous comprenons mieux la notion d'algorithme : qu'est-ce qu'un aéroport ?, qu'est-ce qu'une cellule, qu'est-ce qu'une loi physique ?, ... La prise de conscience du caractère algorithmique de ces objets scientifiques nous amène à considérer de nouveaux langages pour les décrire. Cette révolution, dans le langage dans lequel la science s'écrit, peut-être comparée à la révolution qui s'est produite, au début du XVIIe siècle, quand le langage mathématique a commencé à être utilisé pour décrire des phénomènes physiques. L'introduction d'un nouveau concept scientifique permet souvent de donner de nouvelles réponses à des questions anciennes qui n'avaient jusqu'alors reçu que des réponses imparfaites. Cet exposé présente quelques questions qui ont trouvé de nouvelles réponses depuis que nous comprenons mieux la notion d'algorithme : qu'est-ce qu'un aéroport ?, qu'est-ce qu'une cellule, qu'est-ce qu'une loi physique ?, ... La prise de conscience du caractère ...

00A30 ; 03B35 ; 68T15

... Lire [+]

y


ISBN 978-3-540-66672-1

Lecture notes in artificial intelligence , 1669

Localisation : Congrès 1er étage (BEIJ/1998)

algèbre # déduction # déduction automatisée en géométrie # démonstration automatique de théorème # informatique # intelligence artificielle # logique # opération logique

03-06 ; 03B35 ; 68-06 ; 68T15

... Lire [+]

V

- 360 p.
ISBN 978-0-8218-5027-5

Contemporary mathematics , 0029

Localisation : Collection RdC

démonstration automatique de théorème # informatique # intelligence artificielle # logique générale # logique mathématique # mécanisation des preuves

03B35 ; 03Bxx ; 68-XX ; 68T15 ; 68Txx

... Lire [+]

V

- 391 p.
ISBN 978-2-85629-222-8

Séminaires et congrés , 0013

Localisation : Séminaire 1er étage

algorithmes # correspondance de Riemann-Hilbert # dessins d'enfants # équations différentielles p-adiques # espaces de Hurwitz # formes modulaires # géométrie anabélienne # groupe de Galois différentiel # groupe fondamental # groupe de Tresse # espaces de modules # problème de Galois inverse # revêtement des courbes # théorie de Galois # tours modulaires

03B35 ; 11Fxx ; 11Gxx ; 11R58 ; 11Yxx ; 12Exx ; 12Fxx ; 12Gxx ; 12Hxx ; 12Jxx ; 13Nxx ; 14Dxx ; 14-04 ; 14F05 ; 14Gxx ; 14Hxx ; 18A25 ; 20B05 ; 20Cxx ; 20D25 ; 20Exx ; 20Fxx ; 20Gxx ; 20Jxx ; 32J25 ; 32S40 ; 33C05 ; 34Axx ; 34M55 ; 35Cxx ; 53Cxx ; 65E05 ; 65Y20 ; 68Q15

... Lire [+]

V

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

London mathematical society lecture note series , 0316

Localisation : Collection RdC

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

V

- 270 p.
ISBN 978-1-56881-145-1

analyse numérique # calcul formel # informatique # algèbre # opérateur logique # résolution automatique de théorie # algèbre calculatoire # raisonnement automatis

68-06 ; 03B35 ; 68T15 ; 68W30

... Lire [+]

y

Research talks

68T05 ; 68T15 ; 03B35

... Lire [+]

V

- 304 p.
ISBN 978-0-12-058536-6

Computer science and applied mathematics

Localisation : Ouvrage RdC (ANDR)

calcul des prédicats # démonstration # logique de premier ordre # logique mathématiques # réfutation

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

... Lire [+]

V

- 637 p.
ISBN 978-0-387-12044-7

Localisation : Ouvrage RdC (Auto)

03-04 ; 03B35 ; 03Bxx ; 03Cxx ; 03D05

... Lire [+]

V

- 297 p.

Die grundlehren der mathematischen wissenschaften , 0078

Localisation : Collection RdC

arithmétique # logique des langages # logique des propositions # logique mathématique # opérateur logique

03B35 ; 03Bxx

... Lire [+]

V

- 241 p.

Collection de logique mathématique séries a , 0001

Localisation : Ouvrage RdC (BETH)

aximatique # démonstrat ion de théorème # intuitionisme # mécanisation des preuves # sémantique # théorie des ensembles # théorie des sciences d'Aristote

01A20 ; 03B30 ; 03B35 ; 68Q55 ; 68T15

... Lire [+]

V

- 241 p.

Collection de logique mathématique séries a , 0001

Localisation : Ouvrage RdC (BETH)

aximatique # démonstration de théorème # intuitionisme # mécanisation des preuves # sémantique # théorie des ensembles # théorie des sciences d'Aristote

01A20 ; 03B30 ; 03B35 ; 68Q55 ; 68T15

... Lire [+]

V

- 287 p.
ISBN 978-0-444-00365-2

Artificial intelligence series , 0007

Localisation : Ouvrage RdC (KOWA)

mathématique logique et fondation # logique générale # informatique # mécanisation des preuves et des opérations logiques # intelligence artificielle

03B35 ; 68T20 ; 68Txx

... Lire [+]

V

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

V

- 362 p.
ISBN 978-90-277-2650-6

Mathematics and its applications

Localisation : Ouvrage RdC (CHOU)

raisonnement automate # théorie de la preuve

03B35 ; 68T15

... Lire [+]

V

- vi-287 p.
ISBN 978-94-007-0319-3

Trends in logic , 34

Localisation : Ouvrage RdC (BAAZ)

théorie de la preuve # théorie de la démontration # élimination des coupures # méthode CERES

03-02 ; 03F05 ; 03B35

... Lire [+]

V

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

V

- 322 p.
ISBN 978-0-12-141250-0

Localisation : Ouvrage RdC (BUND)

mathématiques appliquées générales # mécanisation des preuves et des opérations logiques # intelligence artificielle

68T15 ; 00A69 ; 03B35 ; 68T20

... Lire [+]

Nuage de mots clefs ici

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z