Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Elementare Berechenbarkeitstheorie

Name: Elementare Berechenbarkeitstheorie
Brand: Springer, Berlin
SKU: 01566065
Price: 21.83 EUR
Availability: InStock
Author: Einar Smith
ISBN: 9783540606673

Einar Smith

Jezik

Njemački

Knjiga Meki uvez

Libristo kod: 01566065

Nakladnici Springer, Berlin, siječanj 1960

Das Buch führt verständlich und präzise in die Grundlagen der Berechenbarkeitstheorie ein. Der Darst... Cijeli opis

Libristo kod: 01566065

53 b

21.83 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

In Quest of the Mythical Mate Peter Pearson

Meki uvez

75.22 €

Excavating the Sutlers' House - Artifacts of the British Armies in Fort Edward and Lake George David R. Starbuck

Meki uvez

19.51 €

Histoire Des Navigations Aux Terres Australes. [Volume 1] (Ed.1756) Charles de Brosses

Meki uvez

30.53 €

Ask Uykusu Mehmet Coskundeniz

Meki uvez

20.11 €

TV Outside the Box Neil Landau

Tvrdi uvez

245.30 €

The Catholic Doctrine On Justification Explained And Vindicated Right Rev Francis Patrick Kenrick

Meki uvez

15.76 €

Coloring Father Christmas (A Coloring Book) Jupiter Kids

Meki uvez

10.61 €

Свобода прессы и государ ÐžÐ´Ð¾Ðµ ÐšÐµÐ½Ð½ÐµÐ´Ñ‹ ÐžÐ³Ð°Ð´Ð° ÐžÐ´Ð¾Ðµ

Meki uvez

35.68 €

Das Buch führt verständlich und präzise in die Grundlagen der Berechenbarkeitstheorie ein. Der Darstellung liegt das Modell der Registermaschine zugrunde, das dem Umgang mit realen Conputern und Programmiersprachen entlehnt ist.§Daneben werden auch die klassischen Berechenbarkeitsmodelle betrachtet und die Gleichwertigkeit der Ansätze untereinander gezeigt. Darüber hinaus werden nicht-berechenbare Funktionen und unentscheidbare Probleme nachgewiesen. Als weiterführendes Thema wird die Unentscheidbarkeit der Prädikatenlogik und einiger Probleme aus dem Bereich der formalen Sprachen behandelt.