Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Computability

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

George Tourlakis

Taal

Engels

Boek Gebonden (harde band)

Libristo-code: 37629413

Uitgeverij Springer Nature Switzerland AG, augustus 2022

This survey of computability theory offers the techniques and tools that computer scientists (as wel... Volledige beschrijving

Libristo-code: 37629413

220 b

90.75 €

In extern magazijn Wordt binnen 10-13 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Hombres: (Hommes) Paul Verlaine

Gebonden (paperback)

7.88 €

Das große Buch der kleinen Tiere Emmanuelle Tchoukriel

Gebonden (harde band)

8.59 €

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

Gebonden (paperback)

101.17 €

Je crois auc Messagers et aux Livres Yasar kandemir

Gebonden (harde band)

16.08 €

Les chroniques de Teles T1 : Le secret de Kellia Gayls

MP3

9.50 €

NEUER TREND IN DER FINANZ- BERICHTERSTATTUNG Sapna Singh

Gebonden (paperback)

54.32 €

Psicologia para Investidores Noé Amós Guieiro

Gebonden (paperback)

6.57 €

Ernest CHAPLET, The Red Copper Révolution DUCRET

Gebonden (paperback)

59.89 €

Raphaël le Clown Valentine Stephen

Gebonden (paperback)

10.92 €

Děti Duhového hada Radoslav Valeš

Gebonden (harde band)

8.99 €

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

Gebonden (paperback)

6.06 €

Schwerstarbeit im Klassenzimmer - Subjektive Wahrnehmungen des padagogischen Auftrages Melanie Knoll

Gebonden (paperback)

42.79 €

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

Gebonden (paperback)

42.48 €

Deformation und Bruchverhalten von Kunststoffen Wolfgang Grellmann

Gebonden (paperback)

94.19 €

Kleingewerbe und Hausindustrie in Österreich. Eugen Schwiedland

Gebonden (paperback)

112.90 €

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

Gebonden (paperback)

9.10 €

Alphabet a l'Usage Des Ecoles Primaires SANS AUTEUR

Gebonden (paperback)

12.74 €

Guide d'elevage pour crabe vampire Nature Guide Petite Nature

Gebonden (paperback)

12.23 €

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

Gebonden (paperback)

12.03 €

Svoi Sergej Shargunov

Gebonden (harde band)

17.59 €

Anaya ELE EN collection Moreno García

Gebonden (paperback)

17.90 €

Le chakra du coeur Isabelle Cerf

Gebonden (harde band)

30.95 €

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

Gebonden (paperback)

30.95 €

SEGUNDA GUERRA MUNDIAL: 10 HISTORIAS APASIONANTES CLAVERO Boek

Gebonden (paperback)

21.74 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Computability

Auteur George Tourlakis

Taal

Engels

Bindwijze Boek - Gebonden (harde band)

Datum van uitgifte 2022

Aantal pagina's 637

EAN 9783030832018

ISBN 3030832015

Libristo-code 37629413

Uitgeverij Springer Nature Switzerland AG

Gewicht 1132

Afmetingen 244 x 161 x 47

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica

Filosofie en religie > Filosofie

Informatica en informatietechnologie > Informatica

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger