Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Subrecursive Programming Systems

Name: Subrecursive Programming Systems
Brand: Springer, Berlin
SKU: 06794863
Price: 2356 CZK
Availability: InStock
Author: James S. Royer
ISBN: 9781461266808

Complexity & Succinctness

James S. Royer

John Case

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 06794863

Nakladatelství Springer, Berlin, leden 2013

1.1. What This Book is About This book is a study of subrecursive programming systems, efficiency/pr... Celý popis

Libristo kód: 06794863

236 b

2 356 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Pratiques d'automédication et de stockage des médicaments Kanishka Neyana

Brožovaná

893 Kč

Mondes en développement n° 201 - VARIA

Brožovaná

1 141 Kč

L'histoire des sciences et les prétentions de la science allemande Emile Picard

Brožovaná

366 Kč

CALENDRIER FETES TRADITIONNELLES BERTRAND-DEVILLER ARNAUD

Brožovaná

396 Kč

Царевны. Удивительные приключения

Pevná

362 Kč

Vemeno vzpomínek a vzpomínky vemínek CHARLIE MONROE

Brožovaná

114 Kč

Ema a její kouzelná zoo - Mazlivá koala Amelia Cobb

Pevná

183 Kč

Coloriages mystères Disney - Grands classiques Tome 13 Jérémy Mariez

Brožovaná

429 Kč

Cloud 10 Chip Wickham

Audio CD

315 Kč

Mery Sales Chirivella Soriano

Brožovaná

540 Kč

Lettres d'adieux au marketing Denis Gancel

Brožovaná

359 Kč

Vocabulario Portugues Brasileiro-Birmanes - 9000 palavras Andrey Taranov

Brožovaná

460 Kč

Domácí prac. sešit Čeština Shoda podmětu s přísudkem 3 tř. Michaela Bečková

Brožovaná

73 Kč

Vers Le Pole En Aeroplane: Roman d'Aventures Gilbert

Brožovaná

367 Kč

San Juan de Dios : la imagen del santo de Granada Juan Miguel Larios Larios

Brožovaná

446 Kč

Santos : tesoros de la iglesia María José . . . [et al. ] Monfort Jiménez

Brožovaná

684 Kč

Atul Dodiya

Brožovaná

270 Kč

Physisches Cash-Pooling im GmbH-Konzern Juliane Viereck

Brožovaná

1 445 Kč

Reittourismus in Deutschland Dana Tennstedt

Brožovaná

1 203 Kč

Analyse von Einzelcoachings Nuray Pekdemir

Brožovaná

389 Kč

Worte der Vollendung Gautama Buddha

Brožovaná

282 Kč

1.1. What This Book is About This book is a study of subrecursive programming systems, efficiency/program-size trade-offs between such systems, and how these systems can serve as tools in complexity theory. Section 1.1 states our basic themes, and Sections 1.2 and 1.3 give a general outline of the book. Our first task is to explain what subrecursive programming systems are and why they are of interest. 1.1.1. Subrecursive Programming Systems A subrecursive programming system is, roughly, a programming language for which the result of running any given program on any given input can be completely determined algorithmically. Typical examples are: 1. the Meyer-Ritchie LOOP language [MR67,DW83], a restricted assem bly language with bounded loops as the only allowed deviation from straight-line programming; 2. multi-tape 'lUring Machines each explicitly clocked to halt within a time bound given by some polynomial in the length ofthe input (see [BH79,HB79]); 3. the set of seemingly unrestricted programs for which one can prove 1 termination on all inputs (see [Kre51,Kre58,Ros84]); and 4. finite state and pushdown automata from formal language theory (see [HU79]). lOr, more precisely, the collection of programs, p, ofsome particular general-purpose programming language (e.g., Lisp or Modula-2) for which there is a proof in some par ticular formal system (e.g., Peano Arithmetic) that p halts on all inputs.