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

- 385 p.
ISBN 978-3-540-10009-6

Lecture notes in computer science , 0087

Localisation : Collection RdC

démonstration automatique # intelligence artificielle # logique # théorie

68T15

... Lire [+]

V

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

Lecture notes in computer science , 0230

Localisation : Collection RdC

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

- 684p.
ISBN 978-3-540-58043-0

Lecture notes in computer science , 0803

Localisation : Collection RdC

informatique # programmation formelle # algébre de processus # système concurrent # temps réel # syncronicité # vérification automatique # logique temporelle

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

... Lire [+]

V

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

Lecture notes in computer science , 0267

Localisation : Collection RdC

algèbre de l

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

... Lire [+]

V

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

Lecture notes in computer science , 0443

Localisation : Collection RdC

algèbre de l

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

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

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

Lecture notes in computer science , 1427

Localisation : Collection RdC

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 RdC

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

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

Lecture notes in computer science , 1855

Localisation : Collection RdC

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

- 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

- 504p.
ISBN 978-3-540-56922-0

Lecture notes in computer science , 0697

Localisation : Collection RdC

informatique # vérification assistée par ordinateur # simulation nummérique # logique de programmation # softwere pour ingénieurs # algorithme de démonstration de théorème # symmetrie

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

... Lire [+]

V

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

Lecture notes in computer science , 0939

Localisation : Collection RdC

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

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

Lecture notes in computer science , 1254

Localisation : Collection RdC

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

V

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

Lecture notes in computer science , 1176

Localisation : Collection RdC

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

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

Lecture notes in computer science , 1166

Localisation : Collection RdC

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

- 275 p.
ISBN 978-3-540-60156-2

Lecture notes in computer science , 0958

Localisation : Collection RdC

2-groupe # C++ # algorithme adoptif # algorithme pratique # algèbre de Boole propositionnelle # algèbre de l'ordinateur # arithmétique avec règle oméga # calcul de base de Gröbner # calcul mathématique symbolique # calcul sous défini # contrôle de contrainte par utilisation de propriété de commu # corps fermé réel # datalog # démonstration de théorème géométrique # démonstration de théorème intéractive # ensemble rugueux # environnement de preuve # fibrage logique # k-algèbre # logique linéaire # modèle sous défini # modélisation de scénario d'agent coopérant # méthode d'apprentissage inductif empirique # méthode de planification déductive # planification de preuve du théorème de la valeur intermédiai # programmation algébrique # programme d'optimisation automatique # propagation de contrainte mathématique # raisonnement basé sur la règle # résolution de problème # résolveur uniCalc # spécification algébrique # structure d'idéal # théorie = signature + proposition utilisée comme type # théorie des matroïdes # traitement sous symbolique # transformation symbolique # utilisation de plan de preuve 2-groupe # C++ # algorithme adoptif # algorithme pratique # algèbre de Boole propositionnelle # algèbre de l'ordinateur # arithmétique avec règle oméga # calcul de base de Gröbner # calcul mathématique symbolique # calcul sous défini # contrôle de contrainte par utilisation de propriété de commu # corps fermé réel # datalog # démonstration de théorème géométrique # démonstration de théorème intéractive # ensemble rugueux # environnement de ...

38T20 ; 65-06 ; 68P05 ; 68Q40 ; 68T15

... Lire [+]

V


ISBN 978-0-12-175520-1

A.p.i.c. studies in data proceeding , 0016

Localisation : 1er étage/Congrès/DEBR

68DXX ; 68F10 ; 68Q45 ; 68SXX ; 68T15

... Lire [+]

V

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

Lecture notes in artificial intelligence , 0698

Localisation : 1er étage/Congrès/ST.PETERSBURG

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

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

... Lire [+]

Nuage de mots clefs ici

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z