A Framework for Priority Arguments

179,00 €
+ 6,49 € Doručenie

A Framework for Priority Arguments

Predáva:
  • product image

179,00 €

Na sklade
+ 6,49 € Doručenie

Politika vrátenia 14 dní

Ochrana kupujúceho

Alebo vyberte balenie

Spôsoby platby:

  • Značka: Unbranded
Podrobnosti o produkte

Podrobnosti o produkte

A Framework for Priority Arguments

This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field but most of the applications of this technique are ad hoc masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and uses them to give shorter and easier-to-follow proofs of computability-theoretic theorems. Standard theorems of priority levels 1 2 and 3 are chosen to demonstrate the framework's use with all proofs following the same pattern. The last section features a new example requiring priority at all finite levels. The book will serve as a resource and reference for researchers in logic and computability helping them to prove theorems in a shorter and more transparent manner. Language: English
  • Značka: Unbranded
  • Kategória: Vzdelávanie
  • Počet strán: 194
  • Formátovať: Hardback
  • Jazyk: English
  • Umelec: Lerman Manuel
  • Dátum vydania: 2010/06/03
  • Vydavateľ / štítok: Cambridge University Press
  • Fruugo ID: 337984214-741644672
  • ISBN: 9780521119696
Sľub

Záruka predávajúceho

Vrátane 2-ročnej právnej záruky

Vaše spotrebiteľské práva v EÚ zahŕňajú bezplatnú minimálne 2-ročnú právnu záruku

Stiahnuť právnu záruku zhody
Doručenie

Doručenie

Odoslané do 5 dní

  • STANDARD: 8,49 € - Doručenie medzi ut 01 decembra 2026–pi 04 decembra 2026

Doručenie od Spojené kráľovstvo.

Vrátenie tovaru

Vrátenie a zrušenie objednávky

Vrátenie tovaru

Snažíme sa, aby sme výrobky, ktoré si objednáte, doručili celkom v súlade s vašou špecifikáciou. Ak by ste však dostali neúplnú objednávku alebo iný tovar ako ten, ktorý ste si objednali, alebo existuje nejaký iný dôvod, prečo nie ste s objednávkou spokojní, môžete objednávku alebo niektoré produkty z nej vrátiť a za tovar dostať plnú náhradu.

Pozrite si všetky pravidlá vrátenia

Zrušenie objednávky

Máte právo odstúpiť od nákupu do 14 dní od doručenia objednávky bez udania dôvodu. Na jednoduché uplatnenie svojho práva môžete použiť odkaz „Zrušiť moju objednávku“ v päte každej stránky alebo vo svojom účte Fruugo v časti „Objednávky“. Po uplatnení svojho práva na odstúpenie od objednávky vám zašleme e-mail s potvrdením. Ak vašu objednávku už predajca odoslal, poskytneme vám potrebné pokyny na vrátenie, aby sme zabezpečili rýchle spracovanie vrátenia peňazí.

Zobraziť úplné podmienky zrušenia objednávky