Karl-Heinz Zimmermann
Berechenbarkeit
Berechnungsmodelle und Unentscheidbarkeit
Paperback Duits 2020 9783658317386Levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783658317386
Taal:Duits
Bindwijze:paperback
Uitgever:Springer Fachmedien Wiesbaden
Serie:essentials
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Berechnungsmodelle.- Zentrale Konzepte.- Unentscheidbare Probleme.- Historie und Zusammenfassung
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan