Bounded Arithmetic, Propositional Logic and Complexity Theory - Krajicek, Jan
- Format: Relié
- 360 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre68,49 €
Produit Neuf
Ou 17,12 € /mois
- Livraison : 25,00 €
- Livré entre le 8 et le 13 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
Nos autres offres
-
30,77 €
Produit Neuf
Ou 7,69 € /mois
- Livraison à 0,01 €
- Livré entre le 4 et le 7 août
Livre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours
-
68,49 €
Produit Neuf
Ou 17,12 € /mois
- Livraison : 25,00 €
- Livré entre le 8 et le 13 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Bounded Arithmetic, Propositional Logic And Complexity Theory Format Relié - Livre
0 avis sur Bounded Arithmetic, Propositional Logic And Complexity Theory Format Relié - Livre
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Bounded Arithmetic, Propositional Logic And Complexity Theory Format Relié
- LivreAuteur(s) : Krajicek, JanEditeur : Cambridge University PressLangue : AnglaisParution : 01/04/2004Format : Moyen, de 350g à 1kgNombre de pages : 360Expédition : 737Dimensions : 23.5 x 15.7 x...
Sommaire:
1. Introduction; 2. Preliminaries; 3. Basic complexity theory; 4. Basic propositional logic; 5. Basic bounded arithmetic; 6. Definability of computations; 7. Witnessing theorems; 8. Definability and witnessing in second order theories; 9. Translations of arithmetic formulas; 10. Finite axiomatizability problem; 11. Direct independence proofs; 12. Bounds for constant-depth Frege systems; 13. Bounds for Frege and extended Frege systems; 14. Hard tautologies and optimal proof systems; 15. Strength of bounded arithmetic; References; Index.
Détails de conformité du produit
Personne responsable dans l'UE