A Programming Approach to Computability: Monographs in Computer Science
Autor A.J. Kfoury, Robert N. Moll, Michael A. Arbiben Limba Engleză Paperback – 8 noi 2011
Din seria Monographs in Computer Science
- 20% Preț: 1209.56 lei
- 20% Preț: 501.59 lei
- 20% Preț: 1259.22 lei
- 20% Preț: 326.52 lei
- 20% Preț: 321.99 lei
- 15% Preț: 633.86 lei
- 20% Preț: 350.28 lei
- 20% Preț: 332.64 lei
- 20% Preț: 639.99 lei
- 20% Preț: 322.81 lei
- 20% Preț: 973.60 lei
- 20% Preț: 972.14 lei
- 20% Preț: 1597.85 lei
- 20% Preț: 642.77 lei
- 20% Preț: 636.92 lei
- 20% Preț: 321.49 lei
- 20% Preț: 628.19 lei
- 20% Preț: 327.66 lei
- 18% Preț: 722.82 lei
- 20% Preț: 629.20 lei
- 20% Preț: 629.01 lei
- 20% Preț: 338.63 lei
- 20% Preț: 696.89 lei
- 20% Preț: 980.88 lei
- 20% Preț: 648.08 lei
- 20% Preț: 336.71 lei
- 20% Preț: 631.75 lei
- 15% Preț: 495.12 lei
- 20% Preț: 627.74 lei
- Preț: 388.82 lei
- 18% Preț: 937.43 lei
- 20% Preț: 580.69 lei
- 20% Preț: 322.81 lei
- Preț: 375.65 lei
- 20% Preț: 342.36 lei
- 20% Preț: 815.54 lei
- 20% Preț: 973.29 lei
- 15% Preț: 567.18 lei
- 20% Preț: 331.04 lei
- 20% Preț: 968.12 lei
- 20% Preț: 976.35 lei
- 20% Preț: 1267.14 lei
- 20% Preț: 1423.46 lei
Preț: 459.94 lei
Preț vechi: 541.11 lei
-15% Nou
Puncte Express: 690
Preț estimativ în valută:
88.02€ • 91.43$ • 73.12£
88.02€ • 91.43$ • 73.12£
Carte tipărită la comandă
Livrare economică 04-18 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781461257516
ISBN-10: 1461257514
Pagini: 264
Ilustrații: VIII, 251 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.37 kg
Ediția:Softcover reprint of the original 1st ed. 1982
Editura: Springer
Colecția Springer
Seriile Monographs in Computer Science, The AKM Series in Theoretical Computer Science
Locul publicării:New York, NY, United States
ISBN-10: 1461257514
Pagini: 264
Ilustrații: VIII, 251 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.37 kg
Ediția:Softcover reprint of the original 1st ed. 1982
Editura: Springer
Colecția Springer
Seriile Monographs in Computer Science, The AKM Series in Theoretical Computer Science
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
1 Introduction.- 1.1 Partial Functions and Algorithms.- 1.2 An Invitation to Computability Theory.- 1.3 Diagonalization and the Halting Problem.- 2 The Syntax and Semantics of while-Programs.- 2.1 The Language of while-Programs.- 2.2 Macro Statements.- 2.3 The Computable Functions.- 3 Enumeration and Universality of the Computable Functions.- 3.1 The Effective Enumeration of while-Programs.- 3.2 Universal Functions and Interpreters.- 3.3 String-Processing Functions.- 3.4 Pairing Functions.- 4 Techniques of Elementary Computability Theory.- 4.1 Algorithmic Specifications.- 4.2 The s-m-n Theorem.- 4.3 Undecidable Problems.- 5 Program Methodology.- 5.1 An Invitation to Denotational Semantics.- 5.2 Recursive Programs 110 5.3* Proof Rules for Program Properties.- 6 The Recursion Theorem and Properties of Enumerations.- 6.1 The Recursion Theorem.- 6.2 Model-Independent Properties of Enumerations.- 7 Computable Properties of Sets (Part 1).- 7.1 Recursive and Recursively Enumerable Sets.- 7.2 Indexing the Recursively Enumerable Sets.- 7.3 Gödel’s Incompleteness Theorem.- 8 Computable Properties of Sets (Part 2).- 8.1 Rice’s Theorem and Related Results.- 8.2 A Classification of Sets.- 9 Alternative Approaches to Computability.- 9.1 The Turing Characterization.- 9.2 The Kleene Characterization.- 9.3 Symbol-Manipulation Systems and Formal Languages.- References.- Notation Index.- Author Index.