Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Titre original :
Logical Foundations of Proof Complexity
Contenu du livre :
Ce livre traite de l'arithmétique bornée et de la complexité des preuves propositionnelles du point de vue de la complexité informatique.
Les sept premiers chapitres comprennent le contexte logique nécessaire à la matière et conviennent à un cours de troisième cycle. Chacune des nombreuses classes de complexité est associée à la fois à une théorie de calcul des prédicats à deux niveaux, avec une induction limitée aux concepts de la classe, et à un système de preuves propositionnelles.
Le résultat est un traitement uniforme de nombreux systèmes dans la littérature, y compris les théories de Buss pour la hiérarchie polynomiale et de nombreux systèmes disparates pour les classes de complexité telles que AC0, AC0(m), TC0, NC1, L, NL, NC, et P.".
Autres informations sur le livre :
| ISBN : | 9781107694118 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
| Année de publication : | 2014 |
| Nombre de pages : | 496 |
Achat:
Actuellement disponible, en stock.
