Search

Berechenbarkeit : Berechnungsmodelle und Unentscheidbarkeit | 1:a upplagan

av Karl-Heinz Zimmermann

Köp begagnad bok

Ej i lager. Bevaka denna bok.

Köp ny bok

Fakta

Förlag Springer Nature
Språk Tyska
Bandtyp Häftad
Utgiven 2020-10-29
Upplaga 1
Antal sidor 67
ISBN 9783658317386
Kategori(er)
Lägg i varukorgen

Beskrivning

In diesem essential werden wesentliche Konzepte der Berechenbarkeitstheorie erörtert. Zunächst werden unterschiedliche Modelle der Berechenbarkeit eingeführt und ihre semantische Gleichwertigkeit gezeigt. Dieses Resultat steht in Einklang mit der Church-Turing-These, nach der jede intuitiv berechenbare Funktion partiell-rekursiv ist. Neben zentralen Instrumenten der Berechenbarkeit, wie etwa der Gödelisierung von berechenbaren Funktionen und der Existenz universeller berechenbarer Funktionen, stehen unentscheidbare Probleme im Fokus, wie etwa das Halteproblem sowie das Wortproblem für die Term-Ersetzung. Semi-entscheidbare Mengen werden beleuchtet und die zentralen Sätze von Rice und Rice-Shapiro werden skizziert. 

Läs mer

Passa på att köpa kontorsmaterial

,

Hittills har vi återanvänt

 2 

 3 

 3 

 4 

 5 

 2 

 5 

böcker.

Trustpilot

Sveriges grönaste och skönaste bokhandel med den billigaste kurslitteraturen.

Detta är vår ambition och vi tummar inte på något för att nå dit. Vi finns till för att hjälpa studenter att spara och tjäna pengar på sin kurslitteratur samtidigt som vi tillsammans gör miljön en tjänst. Företaget startade våren 2005 av två studenter och har sedan dess strävat mot att ständigt göra det enklare att köpa och sälja begagnad kurslitteratur för så många som möjligt.

Prenumerera på vårt nyhetsbrev

Prenumerera för att ta del av våra bästa studenttips, erbjudanden och kampanjer.

Läs mer om hur vi hanterar persondata i vårt avsnitt om personuppgiftbehandling.

Passa på att köpa kontorsmaterial

Visa allt kontorsmaterial 👉
Söker...
Stäng