m

F Nous contacter

0

Documents  Lassaigne, Richard | enregistrements trouvés : 3

O
     

-A +A

P Q

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

Research talks;Computer Science

Approximation methods and probabilistic algorithms are two important ways to obtain efficient algorithms giving approximate solutions to hard problems. We give some examples from optimization, counting and verification problems. Property testing is also a very efficient method to approximate verification problems.
complexity - difficult problem - approximation - probabilistic approximation schemes - optimization - counting
verification - property testing
Approximation methods and probabilistic algorithms are two important ways to obtain efficient algorithms giving approximate solutions to hard problems. We give some examples from optimization, counting and verification problems. Property testing is also a very efficient method to approximate verification problems.
complexity - difficult problem - approximation - probabilistic approximation schemes - optimization - counting
verification - ...

68Q15 ; 68Q17 ; 68Q19 ; 68W20 ; 68W25

... Lire [+]

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

- 248 p.
ISBN 978-2-86601-380-6

Traité des nouvelles technologies

Localisation : Ouvrage RdC (LASS)

calcul informatique # calcul lambda # fonction recursive # fondement de l'informatique # fondement des mathématiques # incomplétude # indécidabilité # logiciel d'enseignement # logique # logique de proposition # logique du premier ordre # logique déductive # machine de Turing

03B05 ; 03B15 ; 03B40 ; 03Bxx ; 03Dxx

... Lire [+]

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

- 322 p.
ISBN 978-2-86601-496-4

Collection informatique

Localisation : Ouvrage RdC (LASS)

approximation # calcul parallèle # classe de complexité # classe probabiliste # complexité # complexité en espace # définissabilité # définissabilité de Beth # définition explicite # définition implicite # définition inductive # interpolation de Craig # jeux d'Ehrenfeucht- Fraissé # logique # logique du second ordre # logique et calculabilité # loi 0-1 # structure finie # structure relationnelle # temps et espace # test de Los-Vaugt

03C40 ; 03D15 ; 03D70 ; 68N17 ; 68Q10

... Lire [+]

Z