國立虎尾科技大學 |

Theoretische Informatik = Eine umfassende Einführung /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Theoretische Informatik/ von Lutz Priese, Katrin Erk.
其他題名:	Eine umfassende Einführung /
作者:	Priese, Lutz.
其他作者:	Erk, Katrin.
面頁冊數:	XVI, 499 S.online resource. :
Contained By:	Springer Nature eBook
標題:	Computers. -
電子資源:	https://doi.org/10.1007/978-3-662-57409-6
ISBN:	9783662574096

Theoretische Informatik = Eine umfassende Einführung /
Priese, Lutz.

Theoretische InformatikEine umfassende Einführung /[electronic resource] :von Lutz Priese, Katrin Erk. - 4th ed. 2018. - XVI, 499 S.online resource.

Begriffe und Notationen -- Eine kurze Einführung in die Aussagenlogik -- Grammatiken und formale Sprachen -- Reguläre Sprachen und endliche Automaten -- Kontextfreie Sprachen -- Turing-Maschinen -- Die Sprachklassen ℒ, ℒ0 und ℒ1 -- Abschlusseigenschaften von Sprachklassen -- Berechenbarkeit -- Registermaschinen -- Rekursive Funktionen -- Unentscheidbare Probleme -- Alternative Berechnungsmodelle -- Komplexität.

Diese Einführung umfasst die Theorie der formalen Sprachen sowie die Theorie der Berechenbarkeit und gibt einen Überblick über die Komplexitätstheorie. Alle Beweise werden ausführlich behandelt und speziell schwierige Beweise nicht etwa abgekürzt, sondern eingehender betrachtet. Damit bietet das Buch zugleich eine Einführung in die Technik des Beweisens und ist somit sowohl für Anfänger als auch Dozenten geeignet. Ein größeres Kapitel behandelt alternative Rechenmodelle, einschließlich Zwei-Register-Maschinen, Tag-Systeme, Wang-Maschinen, Rödding-Netze, Splicing und reversible Rechnungen. Der Inhalt Begriffe und Notationen - Eine kurze Einführung in die Aussagenlogik - Grammatiken und formale Sprachen - Reguläre Sprachen und endliche Automaten - Kontextfreie Sprachen - Turing-Maschinen - Die Sprachklassen ℒ, ℒ0 und ℒ1 - Abschlusseigenschaften von Sprachklassen - Berechenbarkeit - Registermaschinen - Rekursive Funktionen - Unentscheidbare Probleme - Alternative Berechnungsmodelle - Komplexität Die Autoren Lutz Priese: Studium der Mathematik an der Westfälischen Wilhelms-Universität Münster, Promotion 1974; Habilitation in Informatik 1979 an der Universität Dortmund; C3-Professor für Informatik an der Universität-Gesamthochschule Paderborn 1980 – 1991; seit 1991 C4-Professor für Theoretische Informatik an der Universität Koblenz-Landau, Gründungsleiter des Instituts für Computervisualistik, Gründung einer Firma zur industriellen Bildverarbeitung, 1. Innovationspreis des Landes Rheinland-Pfalz 2000. Katrin Erk: Studium der Informatik an der Universität Koblenz-Landau, Promotion an der Universität des Saarlandes 2002; wissenschaftliche Mitarbeiterin am Institut für Computerlinguistik, Universität des Saarlandes 2002 – 2006; seit 2006 Professorin für Computerlinguistik an der University of Texas at Austin im Linguistics Department.

ISBN: 9783662574096

Standard No.: 10.1007/978-3-662-57409-6doiSubjects--Topical Terms:

565115
Computers.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004.0151

Theoretische Informatik = Eine umfassende Einführung /
LDR:03563nam a22003735i 4500 001 987658
003 DE-He213
005 20200711185504.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|ger d
020 $a 9783662574096 $9 978-3-662-57409-6
024 7 $a 10.1007/978-3-662-57409-6 $2 doi
035 $a 978-3-662-57409-6
050 4 $a QA75.5-76.95
050 4 $a QA76.63
072 7 $a UY $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UY $2 thema
072 7 $a UYA $2 thema
082 0 4 $a 004.0151 $2 23
100 1 $a Priese, Lutz. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1265770
245 1 0 $a Theoretische Informatik $h [electronic resource] : $b Eine umfassende Einführung / $c von Lutz Priese, Katrin Erk.
250 $a 4th ed. 2018.
264 1 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer Vieweg, $c 2018.
300 $a XVI, 499 S. $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
505 0 $a Begriffe und Notationen -- Eine kurze Einführung in die Aussagenlogik -- Grammatiken und formale Sprachen -- Reguläre Sprachen und endliche Automaten -- Kontextfreie Sprachen -- Turing-Maschinen -- Die Sprachklassen ℒ, ℒ0 und ℒ1 -- Abschlusseigenschaften von Sprachklassen -- Berechenbarkeit -- Registermaschinen -- Rekursive Funktionen -- Unentscheidbare Probleme -- Alternative Berechnungsmodelle -- Komplexität.
520 $a Diese Einführung umfasst die Theorie der formalen Sprachen sowie die Theorie der Berechenbarkeit und gibt einen Überblick über die Komplexitätstheorie. Alle Beweise werden ausführlich behandelt und speziell schwierige Beweise nicht etwa abgekürzt, sondern eingehender betrachtet. Damit bietet das Buch zugleich eine Einführung in die Technik des Beweisens und ist somit sowohl für Anfänger als auch Dozenten geeignet. Ein größeres Kapitel behandelt alternative Rechenmodelle, einschließlich Zwei-Register-Maschinen, Tag-Systeme, Wang-Maschinen, Rödding-Netze, Splicing und reversible Rechnungen. Der Inhalt Begriffe und Notationen - Eine kurze Einführung in die Aussagenlogik - Grammatiken und formale Sprachen - Reguläre Sprachen und endliche Automaten - Kontextfreie Sprachen - Turing-Maschinen - Die Sprachklassen ℒ, ℒ0 und ℒ1 - Abschlusseigenschaften von Sprachklassen - Berechenbarkeit - Registermaschinen - Rekursive Funktionen - Unentscheidbare Probleme - Alternative Berechnungsmodelle - Komplexität Die Autoren Lutz Priese: Studium der Mathematik an der Westfälischen Wilhelms-Universität Münster, Promotion 1974; Habilitation in Informatik 1979 an der Universität Dortmund; C3-Professor für Informatik an der Universität-Gesamthochschule Paderborn 1980 – 1991; seit 1991 C4-Professor für Theoretische Informatik an der Universität Koblenz-Landau, Gründungsleiter des Instituts für Computervisualistik, Gründung einer Firma zur industriellen Bildverarbeitung, 1. Innovationspreis des Landes Rheinland-Pfalz 2000. Katrin Erk: Studium der Informatik an der Universität Koblenz-Landau, Promotion an der Universität des Saarlandes 2002; wissenschaftliche Mitarbeiterin am Institut für Computerlinguistik, Universität des Saarlandes 2002 – 2006; seit 2006 Professorin für Computerlinguistik an der University of Texas at Austin im Linguistics Department.
650 0 $a Computers. $3 565115
650 0 $a Computer science—Mathematics. $3 1253519
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 1 4 $a Theory of Computation. $3 669322
650 2 4 $a Mathematics of Computing. $3 669457
650 2 4 $a Mathematical Logic and Foundations. $3 669393
700 1 $a Erk, Katrin. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1280107
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783662574089
856 4 0 $u https://doi.org/10.1007/978-3-662-57409-6
912 $a ZDB-2-STI
950 $a Computer Science and Engineering (German Language) (SpringerNature-11774)