Theoretische Informatik

Eine problemorientierte Einführung

Häftad, Tyska, 1996

699 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Das vorliegende Lehrbuch basiert auf einer vierstündigen Vorlesung mit dem Titel "Grundlagen der Theoretischen Informatik". Die Autoren führen an exemplarischen Problemstellungen der Theoretischen Informatik deren Lösungen mit Rechnern von der Analyse des Problems bis zu seiner Implementation in einer prozeduralen Programmiersprache mit syntaktischer und semantischer Analyse vor, auch unter dem Aspekt der Verbindung von theoretischer Strenge und Praxisrelevanz. Mit Aufgaben und Lösungshinweisen bzw. Lösungen.

Produktinformation

Utgivningsdatum1996-03-06
Mått155 x 235 x 12 mm
Vikt324 g
FormatHäftad
SpråkTyska
SerieSpringer-Lehrbuch
Antal sidor193
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540608608

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

1 Einleitung —; der rote Faden.- 2 Notationen.- 2.1 Bezeichnungen.- 2.2 Kalküle.- 3 Semantik von Programmiersprachen — Spezifizieren, Implementieren, Verifizieren.- 3.1 Datenstrukturen.- 3.2 Prädikatenlogik als Spezifikationssprache.- 3.3 Programme.- 3.4 Programmverifikation.- 3.5 Rekursive Programme.- 4 Berechenbarkeitstheorie — auf den Punkt gebracht.- 4.1 Primitiv rekursive Funktionen.- 4.2 ?-rekursive Funktionen.- 4.3 Universalität der ?-rekursiven Funktionen.- 4.4 Arithmetisierung der Semantik rekursiver Programme.- 4.5 Grundzüge der Rekursionstheorie.- 4.6 Die Churchsche These.- 4.7 Berechenbarkeit auf Zeichenreihen.- 4.8 Komplexitätsmaße.- 5 Komplexitätstheorie — das Wichtigste für den praktischen Informatiker.- 5.1 Problemtypen.- 5.2 NP-Theorie.- 5.3 Ausblick auf weitere Komplexitätsklassen.- 6 Chomsky-Hierarchie — nur ein kurzer Seitenblick.- 6.1 Grammatiken und Automaten.- 6.2 Chomsky-3: Reguläre Sprachen und endliche Automaten.- 6.3 Chomsky-2: Kontextfreie Sprachen.- 6.4 Chomsky-1: Kontextsensitive Sprachen.- 6.5 Chomsky-0: Allgemeine Grammatiken.- 7 Lösungen und Hinweise zu den Aufgaben.- Literaturangaben.- Symbolverzeichnis.

Mer från samma författare

Bioinformatics

Volker Sperschneider

Inbunden, 2008

649 kr

Bioinformatics

Volker Sperschneider

Häftad, 2010

649 kr

Mer från samma serie

Recht der Ordnungswidrigkeiten

Wolfgang Mitsch

Häftad, 2005

479 kr

Rechnerorganisation

Hans Liebig

Häftad, 2003

679 kr

Empirische Wirtschaftsforschung

Thomas K. Bauer, Michael Fertig, Christoph M. Schmidt

Häftad, 2009

679 kr

Vergleichende Tierphysiologie

Gerhard Heldmaier, Gerhard Neuweiler

Inbunden, 2003

1 519 kr

Komplexitätstheorie

Ingo Wegener

Häftad, 2003

969 kr

Operations Research

Theodor Ellinger, Günter Beuermann, Rainer Leisten

Häftad, 2003

529 kr

Makroökonomik

Gustav Dieckheuer

Häftad, 2003

489 kr

Molekulare Pflanzenvirologie

Gerhart Drews, Günter Adam, Cornelia Heinze

Häftad, 2003

479 kr

Finanzwirtschaft

Matthias Lehmann

Häftad, 2003

349 kr

Vergleichende und funktionelle Anatomie der Wirbeltiere

Milton Hildebrand, George Goslow

Inbunden, 2003

1 139 kr

Du kanske också är intresserad av

Bioinformatics

Volker Sperschneider

Häftad, 2010

649 kr

Bioinformatics

Volker Sperschneider

Inbunden, 2008

649 kr

Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis - Artificial Neural Networks and Machine Learning – ICANN 2018, Häftad

Del 11140

Artificial Neural Networks and Machine Learning – ICANN 2018

Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis

Häftad, 2018

739 kr

Del 254

Learning with Recurrent Neural Networks

Barbara Hammer

Häftad, 2000

719 kr

Yuxiao Dong, Nicolas Kourtellis, Barbara Hammer, Jose A. Lozano - Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track, Häftad

Del 12979

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track

Yuxiao Dong, Nicolas Kourtellis, Barbara Hammer, Jose A. Lozano

Häftad, 2021

1 149 kr

Del 12978

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track

Yuxiao Dong, Nicolas Kourtellis, Barbara Hammer, Jose A. Lozano

Häftad, 2021

1 119 kr

Perspectives of Neural-Symbolic Integration

Barbara Hammer, Pascal Hitzler

Inbunden, 2007

2 859 kr

Hammer!

Barbara Hammer

Häftad, 2010

269 kr

Del 11139

Artificial Neural Networks and Machine Learning – ICANN 2018

Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis

Häftad, 2018

739 kr

Del 11141

Artificial Neural Networks and Machine Learning – ICANN 2018

Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis

Häftad, 2018

739 kr

Del i serien Springer-Lehrbuch

Theoretische Informatik

Eine problemorientierte Einführung

Häftad, Tyska, 1996

AvVolker Sperschneider,Barbara Hammer

699 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1996-03-06
Mått155 x 235 x 12 mm
Vikt324 g
FormatHäftad
SpråkTyska
SerieSpringer-Lehrbuch
Antal sidor193
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540608608

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

1 Einleitung —; der rote Faden.- 2 Notationen.- 2.1 Bezeichnungen.- 2.2 Kalküle.- 3 Semantik von Programmiersprachen — Spezifizieren, Implementieren, Verifizieren.- 3.1 Datenstrukturen.- 3.2 Prädikatenlogik als Spezifikationssprache.- 3.3 Programme.- 3.4 Programmverifikation.- 3.5 Rekursive Programme.- 4 Berechenbarkeitstheorie — auf den Punkt gebracht.- 4.1 Primitiv rekursive Funktionen.- 4.2 ?-rekursive Funktionen.- 4.3 Universalität der ?-rekursiven Funktionen.- 4.4 Arithmetisierung der Semantik rekursiver Programme.- 4.5 Grundzüge der Rekursionstheorie.- 4.6 Die Churchsche These.- 4.7 Berechenbarkeit auf Zeichenreihen.- 4.8 Komplexitätsmaße.- 5 Komplexitätstheorie — das Wichtigste für den praktischen Informatiker.- 5.1 Problemtypen.- 5.2 NP-Theorie.- 5.3 Ausblick auf weitere Komplexitätsklassen.- 6 Chomsky-Hierarchie — nur ein kurzer Seitenblick.- 6.1 Grammatiken und Automaten.- 6.2 Chomsky-3: Reguläre Sprachen und endliche Automaten.- 6.3 Chomsky-2: Kontextfreie Sprachen.- 6.4 Chomsky-1: Kontextsensitive Sprachen.- 6.5 Chomsky-0: Allgemeine Grammatiken.- 7 Lösungen und Hinweise zu den Aufgaben.- Literaturangaben.- Symbolverzeichnis.