F Nous contacter

0

Documents  68T15 | enregistrements trouvés : 51

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

V

- 450p.
ISBN 978-3-540-60045-9

Lecture notes in computer science , 0939

Localisation : Collection 1er étage

infoprmatique # vérification assistée par ordinateur # logique de programmation # langage formel # déduction # intelligence artificielle # algorithme de démonstration de théorème

00B25 ; 68-06 ; 68N17 ; 68N19 ; 68T15 ; 68Q60

... Lire [+]

V

- 386p.
ISBN 978-3-540-56944-2

Lecture notes in artificial intelligence , 0698

Localisation : Colloque RdC

informatique # logique de programmation # algorithme de démonstration de théorème # intelligence artificielle # raisonnement automatisé

00B25 ; 68-06 ; 68N17 ; 68T15 ; 68T27

... Lire [+]

V

- 426 p.
ISBN 978-3-540-11490-1

Lecture notes in computer science , 0134

Localisation : Collection 1er étage

analyse des programmes # langages de programmation # logique # métathéorie # systèmes formels

68N05 ; 68N15 ; 68T15

... Lire [+]

V

- 470p.
ISBN 978-3-540-61937-6

Lecture notes in computer science , 1166

Localisation : Collection 1er étage

informatique # circuits integrés # conception assistée par ordinateur # démonstration automatique de théorème # langage formel # optimisation

00B25 ; 68-06 ; 68U07 ; 68T15 ; 68Q45

... Lire [+]

V

- 708 p.
ISBN 978-3-540-16780-8

Lecture notes in computer science , 0230

Localisation : Collection 1er étage

déduction et preuve de théorème # grammaire et autres systèmes de reécriture # logique mathématique # specification # vérification et raisonnement sur les programmes

68Q60 ; 68T15

... Lire [+]

V

- 780 p.
ISBN 978-3-540-52826-5

Lecture notes in computer science , 0443

Localisation : Collection 1er étage

algèbre de l

68N15 ; 68P05 ; 68Q68 ; 68Qxx ; 68Rxx ; 68T15 ; 68Txx ; 68U05

... Lire [+]

V

- 318 p.
ISBN 978-0-8218-0916-7

DIMACS series in discrete mathematics and theoretical computer science , 0043

Localisation : Collection 1er étage

algorithmes # biomathématique # informatique théorique # intelligence artificielle # langage formel # mathématique économique # optimisation # processus stochastique # théorie de la decision # théorie du controle # économétrie

03B05 ; 68Q10 ; 68Q42 ; 68T01 ; 68T15 ; 90A05 ; 90B40 ; 90C27 ; 90C30

... Lire [+]

V

- 565 p.
ISBN 978-3-540-18088-3

Lecture notes in computer science , 0267

Localisation : Collection 1er étage

algèbre de l

68N15 ; 68N17 ; 68Q40 ; 68Q68 ; 68Q70 ; 68Qxx ; 68Rxx ; 68T15 ; 68Txx

... Lire [+]

V

- 348 p.
ISBN 978-3-540-62005-1

Lecture notes in computer science , 1176

Localisation : Collection 1er étage

algorithme géométrique # génération d'image # géométrie de l'informatique # géométrie discrète # image informatique # informatique graphique # informatique théorique # modélisation # modélisation d'objet # méthodologie du calcul informatique # reconnaissance de forme # représentation d'objet # simulation # transformation géométrique

68Qxx ; 68T15 ; 68U20 ; 68Uxx

... Lire [+]

V

- 487p.
ISBN 978-3-540-55179-9

Lecture notes in computer science , 0575

informatique # méthodes de verification assistée par ordinateur # langage logique # langage formel # algorithme de démonstration de théorèmes # controleurs hardwere # protocole de communication # système en temps réel

00B25 ; 68-06 ; 68Q60 ; 68T35 ; 68T15

... Lire [+]

V

- 359p.
ISBN 978-3-540-54659-7

Lecture notes in computer science , 0548

Localisation : Collection 1er étage

informatique # logique de programmation # algorithme de démonstrtion de problème # déduction # incertitude # logique modale # probabilités

00B25 ; 68-06 ; 68T15 ; 68N17 ; 68T37

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

V

- 552p.
ISBN 978-3-540-64608-2

Lecture notes in computer science , 1427

Localisation : Collection 1er étage

informatique # méthode de vérification assistée par ordinateur #logique de programmation # softwere pour ingénieurs # circuits integrés # algorithme de démonstration # déduction

00B25 ; 68-06 ; 68Q60 ; 68T35 ; 68T15

... Lire [+]

V

- 506p.
ISBN 978-3-540-66202-0

Lecture notes in computer science , 1633

Localisation : Collection 1er étage

informatique # méthodes de vérification assistée par ordinateur # spécification # modélisation de systèmes # algorithme de démonstration de théorèmes

00B25 ; 68-06 ; 68Q60 ; 68T15

... Lire [+]

V

- 486p.
ISBN 978-3-540-63166-8

Lecture notes in computer science , 1254

Localisation : Collection 1er étage

informatique # méthodes de vérification assistée par ordinateur # logique de programmation # softwere pour ingénieurs # circuits integrés # algorithme de démonstration # déduction

00B25 ; 68-06 ; 68Q60 ; 68T15 ; 68T35

... Lire [+]

y


ISBN 978-3-540-66672-1

Lecture notes in artificial intelligence , 1669

Localisation : Colloque RdC

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

- 582p.
ISBN 978-3-540-67770-3

Lecture notes in computer science , 1855

Localisation : Collection 1er étage

informatique # méthode de vérification assistée par ordinateur # logique de programmation # softwere pour ingénieurs # circuits integrés # algorithme de démonstration # déduction

00B25 ; 68-06 ; 68Q60 ; 68T35 ; 68T15

... Lire [+]

V

- 249 p.
ISBN 978-0-8218-1004-0

DIMACS series in discrete mathematics and theoretical computer science , 0046

Localisation : Collection 1er étage

algorithmique # classe de complexité # communication optique # complexité # informatique théorique # mathématique économique # mathématiques discrètes # optimisation combinatoire # programmation mathématique # programmation non linéaire # recherche opérationnelle # réécriture de système # théorie de la décision

03B05 ; 68Q25 ; 68Q42 ; 68R10 ; 68T01 ; 68T15 ; 90A05 ; 90B40 ; 90C27 ; 90C30

... Lire [+]

V

- 461 p.
ISBN 978-0-8218-0834-4

DIMACS series in discrete mathematics and theoretical computer science , 0040

Localisation : Collection 1er étage

analyse combinatoire # analyse de réseaux # informatique théorique # mathématiques de l'économie # mathématiques discretes # optimisation combinatoire # programmation mathématique # programmation non linéaire # recherche optionnelle # théorie de la décision # théorie de recherche # économétrie

03B05 ; 68Q15 ; 68Q42 ; 68T01 ; 68T15 ; 90A05 ; 90B40 ; 90C27 ; 90C30

... Lire [+]

Nuage de mots clefs ici

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z