Get 40% off of select print and eBooks in Engineering & Materials Science!

Theoretische Informatik

Eine umfassende Einführung

Authors: Priese, Lutz, Erk, Katrin

Free Preview
  • Fundierte Einführung in die Theoretische Informatik
  • Verständlich geschrieben und gut lesbar
  • Ausführliche Darstellung aller Beweise
see more benefits

Buy this book

eBook 26,99 €
price for Spain (gross)
  • ISBN 978-3-662-57409-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 34,01 €
price for Spain (gross)
  • ISBN 978-3-662-57408-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this Textbook

Die Theoretische Informatik untersucht die der Informatik zugrundeliegenden Konzepte, Modelle und Vorgehensweisen. Es ist ein Fachgebiet, das durch seine formalen Definitionen und vielen Beweise Parallelen zur Mathematik aufweist. Dieses Buch führt umfassend in die Theoretische Informatik ein. Dabei legen die Autoren besonderen Wert auf Verständlichkeit und gute Lesbarkeit. Zu Beginn stellen sie die mathematischen Konzepte mit ihren Begriffen und Notationen vor. In den folgenden drei Hauptabschnitten führt das Buch in die Theorie der formalen Sprachen und in die Theorie der Berechenbarkeit ein und gibt einen Überblick über die Komplexitätstheorie. Mit ihren verschiedenen Sprachklassen, Grammatiken und den Automaten werden die formalen Sprachen einerseits eingesetzt, um Compiler zu bauen und andererseits um Programme zu analysieren. Bei der Anwendung der Theorie der Berechenbarkeit werden Modelle eines Computers wie etwa die Registermaschine betrachtet. Weil sie einfacher aufgebaut sind als ein konkreter Computer, kann an ihnen untersucht werden, ob ein Problem überhaupt mit einem Computer gelöst werden kann. Auch alternative Rechenmodelle wie Zwei-Register-Maschinen, Tag-Systeme, Wang-Maschinen, Rödding-Netze, Splicing und reversible Rechnungen kommen in einem eigenen umfangreichen Kapitel zur Sprache. Abschließend wird die Komplexitätstheorie betrachtet, anhand derer sich herausfinden lässt, wie viel Rechenzeit für die Lösung eines Problems aufgewendet werden muss. 

Das Buch basiert auf Vorlesungen, die die Autoren für Studierende der Informatik im Grundstudium an den Universitäten Paderborn und Koblenz gehalten haben. Sämtliche Beweise werden in dem Buch detailliert ausgeführt. Und gerade die besonders schwierigen werden nicht abgekürzt, sondern umso eingehender betrachtet. Damit bietet dieses Buch zugleich eine Einführung in die Technik des Beweisens. Mit der ausführlichen Behandlung aller Beweise eignet sich das Lehrbuch besonders für Einsteiger in das Gebiet der Theoretischen Informatik. Aber auch Dozenten profitieren insbesondere von der Vorstellung alternativer Berechnungsmodelle. 

About the authors

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.

Table of contents (15 chapters)

Table of contents (15 chapters)
  • Einleitung

    Pages 1-1

    Priese, Lutz (et al.)

  • Begriffe und Notationen

    Pages 3-34

    Priese, Lutz (et al.)

  • Eine kurze Einführung in die Aussagenlogik

    Pages 35-49

    Priese, Lutz (et al.)

  • Grammatiken und formale Sprachen

    Pages 53-61

    Priese, Lutz (et al.)

  • Reguläre Sprachen und endliche Automaten

    Pages 63-107

    Priese, Lutz (et al.)

Buy this book

eBook 26,99 €
price for Spain (gross)
  • ISBN 978-3-662-57409-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 34,01 €
price for Spain (gross)
  • ISBN 978-3-662-57408-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Theoretische Informatik
Book Subtitle
Eine umfassende Einführung
Authors
Copyright
2018
Publisher
Springer Vieweg
Copyright Holder
Springer-Verlag GmbH Deutschland, ein Teil von Springer Nature
eBook ISBN
978-3-662-57409-6
DOI
10.1007/978-3-662-57409-6
Softcover ISBN
978-3-662-57408-9
Edition Number
4
Number of Pages
XVI, 499
Topics