A Framework for Priority Arguments
Autor Manuel Lermanen Limba Engleză Hardback – 3 iun 2010
Preț: 820.57 lei
Preț vechi: 954.14 lei
-14%
Puncte Express: 1231
Carte tipărită la comandă
Livrare economică 05-19 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9780521119696
ISBN-10: 0521119693
Pagini: 194
Dimensiuni: 157 x 235 x 15 mm
Greutate: 0.44 kg
Editura: Cambridge University Press
Locul publicării:New York, United States
ISBN-10: 0521119693
Pagini: 194
Dimensiuni: 157 x 235 x 15 mm
Greutate: 0.44 kg
Editura: Cambridge University Press
Locul publicării:New York, United States
Cuprins
1. Introduction; 2. Systems of trees of strategies; 3. Σ1 constructions; 4. Δ2 constructions; 5. µ2 constructions; 6. Δ3 constructions; 7. Σ3 constructions; 8. Paths and links; 9. Backtracking; 10. Higher level constructions; 11. Infinite systems of trees.
Descriere
This book presents a unifying framework for using priority arguments to prove theorems in computability.