Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Computability

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

George Tourlakis

Sprache

Englisch

Buch Hardcover

Libristo-Code: 37629413

Verlag Springer Nature Switzerland AG, August 2022

This survey of computability theory offers the techniques and tools that computer scientists (as wel... Vollständige Beschreibung

Libristo-Code: 37629413

232 b

94.69 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Hombres: (Hommes) Paul Verlaine

Broschur

8.19 €

Das große Buch der kleinen Tiere Emmanuelle Tchoukriel

Hardcover

9.95 €

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

Broschur

99.99 €

Je crois auc Messagers et aux Livres Yasar kandemir

Hardcover

16.49 €

Les chroniques de Teles T1 : Le secret de Kellia Gayls

MP3

9.99 €

NEUER TREND IN DER FINANZ- BERICHTERSTATTUNG Sapna Singh

Broschur

60.90 €

Psicologia para Investidores Noé Amós Guieiro

Broschur

6.79 €

Ernest CHAPLET, The Red Copper Révolution DUCRET

Broschur

61.79 €

Raphaël le Clown Valentine Stephen

Broschur

11.39 €

Děti Duhového hada Radoslav Valeš

Hardcover

9.59 €

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

Broschur

6.49 €

Schwerstarbeit im Klassenzimmer - Subjektive Wahrnehmungen des padagogischen Auftrages Melanie Knoll

Broschur

47.95 €

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

Broschur

44.90 €

Deformation und Bruchverhalten von Kunststoffen Wolfgang Grellmann

Broschur

99.99 €

Kleingewerbe und Hausindustrie in Österreich. Eugen Schwiedland

Broschur

119.90 €

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

Broschur

9.99 €

Alphabet a l'Usage Des Ecoles Primaires SANS AUTEUR

Broschur

13.19 €

Guide d'elevage pour crabe vampire Nature Guide Petite Nature

Broschur

12.69 €

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

Broschur

12.49 €

Svoi Sergej Shargunov

Hardcover

18.29 €

Anaya ELE EN collection Moreno García

Broschur

18.59 €

Le chakra du coeur Isabelle Cerf

Hardcover

31.89 €

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

Broschur

31.89 €

SEGUNDA GUERRA MUNDIAL: 10 HISTORIAS APASIONANTES CLAVERO Buch

Broschur

22.29 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Computability

Autor George Tourlakis

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2022

Anzahl der Seiten 637

EAN 9783030832018

ISBN 3030832015

Libristo-Code 37629413

Verlag Springer Nature Switzerland AG

Gewicht 1132

Abmessungen 244 x 161 x 47

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Philosophie und Religion > Philosophie

EDV und Informationstechnologie > Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert