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

Complexité et décidabilité Dehornoy, P. | Springer-Verlag 1993

Ouvrage

V


ISBN 978-2-287-00416-2

Mathématiques & applications , 0012

Localisation : Disparu

algorithme # calcul booleen # complexité # complexité de l'addition des entiers # complexité de l'arithmétique # complexité des logiques du premier ordre # décidabilité # fonction récursive # machine # machine de Turing # machine universelle # simulation d'algorithme

03B25 ; 03D10 ; 03D15 ; 03F30 ; 03F35

... Lire [+]

Filtrer

Type
Codes MSC

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z
e:0.8em !important ;white-space:normal;line-height:1.1em !important;">Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes paniers

|

Signaler une erreur

1

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

Computability,complexity, logic Borger, E. | North-Holland 1989

Ouvrage

V

- 592 p.
ISBN 978-0-444-87406-1

Studies in logic and the foundations of mathematics , 0128

Localisation : Ouvrage RdC (BORG)

classe de complexité # informatique

03D15 ; 68Q15

... Lire [+]

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

The complexity of Boolean nethworks Dunne, Paul E. | Academic Press 1988

Ouvrage

V

- 490 p.
ISBN 978-0-12-224460-5

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

Localisation : Ouvrage RdC (DUNN)

application d' algèbre de Boole # classe de complexité

03D15 ; 03G05 ; 06Exx ; 68Q15

... Lire [+]

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

Complexité algorithmique
et problèmes de communications
Barthélemy, Jean-Pierre ; Cohen, G. ; Lobstein, A. ; Minoux, M. | Masson 1992

Ouvrage

V

- 228 p.
ISBN 978-2-225-82672-6

Collection technique et scientifique des télécommunications

Localisation : Ouvrage RdC (BART)

analyse des algorithmes et problème de la complexité # complexité de calcul # cryptographie

03D15 ; 68Q25 ; 94A60

... Lire [+]

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

Calculabilité et décidabilité
une introduction
Autebert, Jean-Michel | Masson 1992

Ouvrage

V

- 118 p.
ISBN 978-2-225-82632-0

Manuels Informatiques Masson

Localisation : Disparu;Ouvrage RdC (AUTE)

calculabilité # classe de complexité # complexité d'espace # complexité de temps # décidabilité # langage récursif # langage récursivement énumérable # modèle de machine de Turing # modème de machine RAM # problème NP- complet # problème insalubre # réduction algorithmique d'un problème à un autre # réduction polynomiale # thèse de Church

03B25 ; 03D15 ; 68Q05 ; 68Q15

... Lire [+]

479" class='linkstyle1'>68Q15 ; 68Q25

... Lire [+]

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

Demonstrações transparentes e a impossibilidade de aproximações
24-28 Julho
Kohayakawa, Yoshiharu ; Soares, José Augusto | IMPA 1995

Congrès

V


ISBN 978-85-244-0094-0

CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de décision # résultat d'inapproximabilité # système de preuve PCP # théorie des graphes et logique # # vérification aléatoire de certificat CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de ...

03D15 ; 05Cxx ; 68Q05 ; 68Q15 ; 68Q25

... Lire [+]