Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Computability

Name: Computability
Brand: Springer Nature Switzerland AG
SKU: 37629413
Price: 95.8 EUR
Availability: InStock
Author: George Tourlakis
ISBN: 9783030832018

George Tourlakis

Език

Английски език

Книга С твърди корици

Код Либристо: 37629413

Издателство Springer Nature Switzerland AG, август 2022

This survey of computability theory offers the techniques and tools that computer scientists (as wel... Цялото описание

Код Либристо: 37629413

232 b

95.80 €

187.37 лв

Външен склад Изпращаме след 10-13 дни

30 дни за връщане на стоката

Клиентите са закупили също

Hombres: (Hommes) Paul Verlaine

С меки корици

7.86 € 15.37 лв

Das große Buch der kleinen Tiere Emmanuelle Tchoukriel

С твърди корици

9.10 € 17.80 лв

Handbuch Erbschaftsteuer und Bewertung 2025 Deutsches wissenschaftliches Institut der Steuerberater e.V.

С меки корици

101.13 € 197.80 лв

Je crois auc Messagers et aux Livres Yasar kandemir

С твърди корици

16.70 € 32.67 лв

Les chroniques de Teles T1 : Le secret de Kellia Gayls

MP3

10.08 € 19.72 лв

NEUER TREND IN DER FINANZ- BERICHTERSTATTUNG Sapna Singh

С меки корици

57.52 € 112.50 лв

Psicologia para Investidores Noé Amós Guieiro

С меки корици

6.51 € 12.74 лв

Ernest CHAPLET, The Red Copper Révolution DUCRET

С меки корици

62.49 € 122.21 лв

Raphaël le Clown Valentine Stephen

С меки корици

10.96 € 21.44 лв

Děti Duhového hada Radoslav Valeš

С твърди корици

9.46 € 18.51 лв

Zpěv lamie X-HAWK 2 Jan Hlávka

С меки корици

6.41 € 12.54 лв

Schwerstarbeit im Klassenzimmer - Subjektive Wahrnehmungen des padagogischen Auftrages Melanie Knoll

С меки корици

45.31 € 88.62 лв

Der Staatshaushalt des Königreichs Sachsen seit dem Jahre 1880. Otto Georgi

С меки корици

44.85 € 87.71 лв

Deformation und Bruchverhalten von Kunststoffen Wolfgang Grellmann

С меки корици

99.42 € 194.46 лв

Kleingewerbe und Hausindustrie in Österreich. Eugen Schwiedland

С меки корици

119.19 € 233.11 лв

Erkenntnis- und Zielinteressen der Medienpolitik unter besonderer Berücksichtigung regulierungstheoretischer Ansätze Termina Rajkumar

С меки корици

9.67 € 18.91 лв

Alphabet a l'Usage Des Ecoles Primaires SANS AUTEUR

С меки корици

12.72 € 24.88 лв

Guide d'elevage pour crabe vampire Nature Guide Petite Nature

С меки корици

12.26 € 23.97 лв

Vocabulaire Francais-Arabe egyptien pour l'autoformation - 5000 mots Andrey Taranov

С меки корици

12.05 € 23.56 лв

Svoi Sergej Shargunov

С твърди корици

17.58 € 34.39 лв

Anaya ELE EN collection Moreno García

С меки корици

18.83 € 36.82 лв

Le chakra du coeur Isabelle Cerf

С твърди корици

32.22 € 63.02 лв

Mes leçons de français CM1, CM2, 6e Eleaume Lachaud

С меки корици

32.22 € 63.02 лв

SEGUNDA GUERRA MUNDIAL: 10 HISTORIAS APASIONANTES CLAVERO Книга

С меки корици

22.60 € 44.21 лв

This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing. Beginning with an introduction to the mathematisation of "mechanical process" using URM programs, this textbook explains basic theory such as primitive recursive functions and predicates and sequence-coding, partial recursive functions and predicates, and loop programs. Advanced chapters cover the Ackerman function, Tarski's theorem on the non-representability of truth, Goedel's incompleteness and Rosser's incompleteness theorems, two short proofs of the incompleteness theorem that are based on Lob's deliverability conditions, Church's thesis, the second recursion theorem and applications, a provably recursive universal function for the primitive recursive functions, Oracle computations and various classes of computable functionals, the Arithmetical hierarchy, Turing reducibility and Turing degrees and the priority method, a thorough exposition of various versions of the first recursive theorem, Blum's complexity, Hierarchies of primitive recursive functions, and a machine-independent characterisation of Cobham's feasibly computable functions.