Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Theoretische Informatik: Eine Umfassende Einführung

by Lutz Priese , Katrin Erk
Save 35% Save 35%
Current price ₹3,089.00
Original price ₹4,752.00
Original price ₹4,752.00
Original price ₹4,752.00
(-35%)
₹3,089.00
Current price ₹3,089.00

Imported Edition - Ships in 12-14 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783662574089
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Springer Vieweg
  • Publisher Imprint: Springer Vieweg
  • Publication Date:
  • Pages: 499
  • Original Price: EUR 42.05
  • Language: German
  • Edition: 4., Akt. U. Erw
  • Item Weight: 812 grams
  • BISAC Subject(s): Computer Science

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 indas Gebiet der Theoretischen Informatik. Aber auch Dozenten profitieren insbesondere von der Vorstellung alternativer Berechnungsmodelle.

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.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us