Druck auf Anfrage Neuware - Printed after ordering - Dieser dritte und letzte Band der Buchreihe Informatik ist der Theoretischen Informatik gewidmet. Nach einer allgemeinen Diskussion formaler Sprachen, deren Beschreibungen und Grenzf�llen der Erkennbarkeit werden die regul�ren Sprachen behandelt, welche in der lexikalischen Defi nition von Programmiersprachen ihre wichtigste Anwendung finden sowie die kontextfreien Sprachen, mit denen man die Syntax von Programmiersprachen definiert. Aus theoretischer Sicht befriedigend ist die eindeutige Entsprechung zwischen Sprachbeschreibung und Spracherkennung - den regul�ren Sprachen entsprechen die endlichen Automaten und den kontextfreien Sprachen die Stackmaschinen. Weitere Stufen der Chomsky-Hierarchie werden nur kurz behandelt, da sie in der Praxis von geringerer Bedeutung sind. Stattdessen zeigt ein eigenes Kapitel zum Thema Compilerbau weitere Techniken auf, die aus einer Sprachbeschreibung einen Parser, also das komplette �front-end� eines Compilers, entstehen lassen. Der Begriff des �Algorithmus� wird anhand verschiedener Maschinenmodelle erkl�rt und best�tigt wird auch die Churchsche These, dass jede vern�nftige Defi nition von �Berechenbarkeit� auf die gleiche Klasse von Funktionen f�hrt. Die Grenzen des algorithmisch Machbaren werden anhand des Halteproblems und des Satzes von Rice klar abgesteckt. Das abschlie�ende Kapitel zur Komplexit�tstheorie erkundet unter den l�sbaren Problemen die Grenze zwischen denen, die mit einem vertretbaren (polynomiellen) Aufwand l�sbar sind und solchen, deren L�sung nicht wesentlich effi zienter ist, als ein systematisches Ausprobieren von L�sungskandidaten. Dieses Kapitel f�hrt den Leser zu dem bekanntesten noch ungel�sten Problem der Theoretischen Informatik: P = NP Der erste Band der Informatik erkl�rt die grundlegenden Konzepte: Programmierung, Algorithmen und Datenstrukturen. Der zweite Band ist technischen Themen gewidmet - insbesondere der Rechnerarchitektur, Betriebssystemen, Rechnernetzen und speziell dem Internet. Das Buch richtet sich an alle Einsteiger, die sich ernsthaft mit Informatik besch�ftigen wollen, sei es zum Selbststudium oder zur Begleitung von Vorlesungen. In den folgenden B�nden dieses Buches werden die Themen, Rechnerarchitektur, Betriebssysteme, Rechnernetze, Internet, Compilerbau und Theoretische Informatik vertieft. Prof. Dr. Heinz-Peter Gumm ist Professor f�r Theoretische Informatik in Marburg. Nach dem Studium in Darmstadt und Winnipeg (Kanada) von 1970 bis 1975 und der Habilitation 1981 folgten Professuren in Hawaii, Kalifornien und New York. Seine Forschungsgebiete sind Formale Methoden, Allgemeine Algebren und Coalgebren. Prof. Dr. Manfred Sommer ist emeritierter Professor f�r Praktische Informatik in Marburg. Nach dem Studium in G�ttingen und M�nchen von 1964 bis 1969, war er Assistent am ersten Informatik-Institut in Deutschland an der TU M�nchen. Es folgten zehn Jahre bei Siemens in M�nchen und von 1984 bis 2014 war er Informatik-Professor in Marburg.

Bestandsnummer des Verk�ufers 9783110442380

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexit�t

Verlag

De Gruyter Oldenbourg, Mercury Learning And Information

Erscheinungsjahr

2019

Sprache

Deutsch

ISBN-10

3110442388

ISBN-13

9783110442380

Einband

Taschenbuch

Zustand

Neu

Verk�uferkataloge

�ber diesen Titel

Inhaltsangabe

Die drei Teile der "Informatik - Einf�hrung" decken alle Inhalte des kompletten Informatik-Bachelorstudiums ab. Die einzelnen Teile sind auf die Inhalte der einzelnen Semester abgestimmt. Jeder Teil liefert unabh�ngig die Grundlagen f�r die jeweiligen Themen. Durch seinen didaktischen Aufbau mit Aufgaben ist das Buch auf die Bachelorstudierenden abgestimmt. Durch seine anschauliche Darstellung sowie Beispiele aus der Praxis holt es die Einsteiger bei deren Wissensstand ab. Der Teil drei der "Informatik Einf�hrung "beschreibt die Themen ab dem 4. Semester: Formale Sprachen, Compilerbau, Datenbanksysteme, Grafikprogrammierung, Softwareentwicklung, Projektmanagement.

�ber die Autorin bzw. den Autor

Heinz-Peter Gumm, Manfred Sommer, Universit�t Marburg.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Das Unternehmen AHA-BUCH GmbH: Seit der Gr�ndung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisg�nstig wie m�glich ihren B�cherwunsch zu erf�llen. Unsere Firma besch�ftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine W�nsche! Auf �ber 3700 m2 Fl�che haben wir �ber 100.000 B�cher, Modernes Antiquariat und Spiele auf Lager.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

AHA-BUCH GmbH
Garlebsen 48, Einbeck, 37574, Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Allgemeine Gesch�ftsbedingungen und Kundeninformationen / Datenschutzerkl�rung

I. Allgemeine Gesch�ftsbedingungen

� 1 Grundlegende Bestimmungen

(1) Die nachstehenden Gesch�ftsbedingungen gelten f�r alle Vertr�ge, die Sie mit uns als Anbieter (AHA-BUCH GmbH) �ber die Internetplattformen AbeBooks und/oder ZVAB schlie�en. Soweit nicht anders vereinbart, wird der Einbeziehung gegebenenfalls von Ihnen verwendeter eigener Bedingungen widersprochen.

(2) Verbraucher im Sinne der nachstehenden Regelungen...

Mehr Information

Widerrufsbelehrung

Versandbedingungen

Wir liefern Lagerartikel innerhalb von 24 Stunden nach Erhalt der Bestellung aus.
Barsortimentsartikel, die wir �ber Nacht geliefert bekommen, am darauffolgenden Werktag.
Unser Ziel ist es Ihnen die Artikel in der �konomischten und effizientesten Weise zu senden.

Versandkosten innerhalb von Deutschland

Versandkosten innerhalb von Deutschland
Bestellmenge	1 bis 2�Werktage	1 bis 2�Werktage
Erster Artikel	EUR 0.00	EUR 4.50

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.

Impressum & Info zum Verk�ufer