Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Elementare Berechenbarkeitstheorie

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

Einar Smith

Língua

Alemão

Livro Capa mole

Código Libristo: 01566065

Editoras Springer, Berlin, janeiro 1960

Das Buch führt verständlich und präzise in die Grundlagen der Berechenbarkeitstheorie ein. Der Darst... Descrição completa

Código Libristo: 01566065

53 b

21.84 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

In Quest of the Mythical Mate Peter Pearson

Capa mole

71.91 €

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

Capa mole

19.51 €

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

Capa mole

31.65 €

Ask Uykusu Mehmet Coskundeniz

Capa mole

19.01 €

TV Outside the Box Neil Landau

Livro de capa dura

234.57 €

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

Capa mole

14.96 €

Coloring Father Christmas (A Coloring Book) Jupiter Kids

Capa mole

10.00 €

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

Capa mole

33.57 €

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.