國立虎尾科技大學 |

Berechenbarkeit = Berechnungsmodelle und Unentscheidbarkeit /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Berechenbarkeit/ von Karl-Heinz Zimmermann.
其他題名:	Berechnungsmodelle und Unentscheidbarkeit /
作者:	Zimmermann, Karl-Heinz.
面頁冊數:	XIII, 67 S. 7 Abb.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematical Logic and Foundations. -
電子資源:	https://doi.org/10.1007/978-3-658-31739-3
ISBN:	9783658317393

Berechenbarkeit = Berechnungsmodelle und Unentscheidbarkeit /
Zimmermann, Karl-Heinz.

BerechenbarkeitBerechnungsmodelle und Unentscheidbarkeit /[electronic resource] :von Karl-Heinz Zimmermann. - 1st ed. 2020. - XIII, 67 S. 7 Abb.online resource. - essentials,2197-6708. - essentials,.

Berechnungsmodelle -- Zentrale Konzepte -- Unentscheidbare Probleme -- Historie und Zusammenfassung.

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. Der Inhalt Modelle der Berechenbarkeit Allgemeine Konzepte der Berechenbarkeit Unentscheidbare Probleme Die Zielgruppen Studierende der Informatik und Mathematik Lehrkräfte im Bereich Informatik und Mathematik Der Autor Dr. Karl-Heinz Zimmermann studierte Informatik und Mathematik an der Universität Erlangen-Nürnberg. Er promovierte dort in Theoretischer Informatik und habilitierte in Mathematik an der Universität Bayreuth. Er war Fulbright-Stipendiat an der Princeton Universität und Heisenberg-Stipendiat an der Universität Karlsruhe. Er ist seit mehr als 20 Jahren Professor für Informatik an der Technischen Universität Hamburg und Autor von mehreren Forschungsmonographien sowie von über 120 wissenschaftlichen Forschungspublikationen. .

ISBN: 9783658317393

Standard No.: 10.1007/978-3-658-31739-3doiSubjects--Topical Terms:

669393
Mathematical Logic and Foundations.

LC Class. No.: QA8.9-10.3

Dewey Class. No.: 511.3

Berechenbarkeit = Berechnungsmodelle und Unentscheidbarkeit /
LDR:02847nam a22003735i 4500 001 1019537
003 DE-He213
005 20201028091308.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|ger d
020 $a 9783658317393 $9 978-3-658-31739-3
024 7 $a 10.1007/978-3-658-31739-3 $2 doi
035 $a 978-3-658-31739-3
050 4 $a QA8.9-10.3
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBC $2 thema
072 7 $a PBCD $2 thema
082 0 4 $a 511.3 $2 23
100 1 $a Zimmermann, Karl-Heinz. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 681068
245 1 0 $a Berechenbarkeit $h [electronic resource] : $b Berechnungsmodelle und Unentscheidbarkeit / $c von Karl-Heinz Zimmermann.
250 $a 1st ed. 2020.
264 1 $a Wiesbaden : $b Springer Fachmedien Wiesbaden : $b Imprint: Springer Spektrum, $c 2020.
300 $a XIII, 67 S. 7 Abb. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a essentials, $x 2197-6708
505 0 $a Berechnungsmodelle -- Zentrale Konzepte -- Unentscheidbare Probleme -- Historie und Zusammenfassung.
520 $a 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. Der Inhalt Modelle der Berechenbarkeit Allgemeine Konzepte der Berechenbarkeit Unentscheidbare Probleme Die Zielgruppen Studierende der Informatik und Mathematik Lehrkräfte im Bereich Informatik und Mathematik Der Autor Dr. Karl-Heinz Zimmermann studierte Informatik und Mathematik an der Universität Erlangen-Nürnberg. Er promovierte dort in Theoretischer Informatik und habilitierte in Mathematik an der Universität Bayreuth. Er war Fulbright-Stipendiat an der Princeton Universität und Heisenberg-Stipendiat an der Universität Karlsruhe. Er ist seit mehr als 20 Jahren Professor für Informatik an der Technischen Universität Hamburg und Autor von mehreren Forschungsmonographien sowie von über 120 wissenschaftlichen Forschungspublikationen. .
650 1 4 $a Mathematical Logic and Foundations. $3 669393
650 0 $a Mathematical logic. $2 bicssc $3 810627
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783658317386
830 0 $a essentials, $x 2197-6708 $3 1253503
856 4 0 $u https://doi.org/10.1007/978-3-658-31739-3
912 $a ZDB-2-SNA
950 $a Life Science and Basic Disciplines (German Language) (SpringerNature-11777)