Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Vorlesungen über Informatik

BuchKartoniert, Paperback
284 Seiten
Deutsch
Springererschienen am12.09.1997
Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR29,99
E-BookPDF1 - PDF WatermarkE-Book
EUR20,67
E-BookPDF1 - PDF WatermarkE-Book
EUR22,47
E-BookPDF1 - PDF WatermarkE-Book
EUR8,98
E-BookPDF1 - PDF WatermarkE-Book
EUR39,99
E-BookPDF1 - PDF WatermarkE-Book
EUR20,67
E-BookPDF1 - PDF WatermarkE-Book
EUR39,99
E-BookPDF1 - PDF WatermarkE-Book
EUR39,99
E-BookPDF1 - PDF WatermarkE-Book
EUR39,99

Produkt

KlappentextDieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten.
Zusammenfassung
Umfassende Darstellung der Theoretischen Informatik im Rahmen des viersemestrigen "Karlsruher Curriculums"

Detaillierte Aufarbeitung des prüfungsrelevanten Lehrstoffs für das Vordiplom

Beschreibung des Zusammenhangs zwischen Algorithmenentwicklung und den theoretischen Grundlagen
Details
ISBN/GTIN978-3-540-60655-0
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr1997
Erscheinungsdatum12.09.1997
ReiheSpringer-Lehrbuch
Seiten284 Seiten
SpracheDeutsch
Gewicht460 g
IllustrationenXII, 284 S. 4 Abb. Mit 15 Falttafeln.
Artikel-Nr.10366644

Inhalt/Kritik

Inhaltsverzeichnis
13 Berechenbarkeit.- 13.1 Der Algorithmusbegriff und die CHuxcxsche These.- 13.2 loop-, while-und goto-Algorithmen.- 13.3 Turingmaschinen.- 13.4 Primitiv undµ-rekursive Funktionen.- 13.5 Das Postsche Korrespondenzproblem.- 13.6 Anmerkungen und Verweise.- 14 Komplexitätstheorie.- 14.1 Klassifikation.- 14.2 Beispielprobleme.- 14.3 Die KlasseNP.- 14.4 Weitere Komplexitätsklassen.- 14.5 Anmerkungen und Verweise.- 15 Formale Sprachen.- 15.1 Reguläre Sprachen und endliche Automaten.- 15.2 Kontextfreie Sprachen.- 15.3 Kontextsensitive Sprachen.- 15.4 Anmerkungen und Verweise.- 16 Programmtransformationen.- 16.1 Transformationsschemata.- 16.2 Elementare Transformationsregeln.- 16.3 Entrekursivierung.- 16.4 Transformation in rechtsrekursive Form.- 16.5 Beispiele.- 16.6 Anmerkungen und Verweise.- 17 Spezifikationstechniken: Die Z Notation.- 17.1 Spezifikation und Systementwicklung.- 17.2 Grundbegriffe der Z Notation.- 17.3 Datenstrukturen.- 17.4 Verfeinerung.- 17.5 Beispiel Fertigungszelle.- 17.6 Anmerkungen und Verweise.- 18 Ablaufspezifikationen, Synchronisierung und Kommunikation.- 18.1 Grundbegriffe vonStatecharts.- 18.2 Spezifikation einer digitalen Armbanduhr.- 18.3 Konstruktionsprinzipien.- 18.4 Synchrone und asynchrone Kommunikation.- 18.5 Kanäle.- 18.6 Anmerkungen und Verweise.- Programmverzeichnis.- Stichwortverzeichnis.mehr