Kompendium Theoretische Informatik — eine Ideensammlung

Häftad, Tyska, 1996

529 kr

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

Das "Kompendium Theoretische Informatik - eine Ideensammlung" ergänzt das Lehrbuch "Theoretische Informatik - eine algorithmenorientierte Einführung" vom gleichen Autor. An Stelle von formalen Beweisen werden die wesentlichen Ideen herausgearbeitet und vorgestellt. Die Vertiefung und Auffrischung von Kenntnissen in Theoretischer Informatik wird unterstützt. Die Ideensammlung wird ergänzt durch Übungsaufgaben mit Lösungen und Lösungsmethoden sowie Testfragen mit knappen Antworten.

Produktinformation

Utgivningsdatum1996-01-01
Mått170 x 240 x 12 mm
Vikt356 g
FormatHäftad
SpråkTyska
SerieXLeitfäden der Informatik
Antal sidor189
Upplaga1996
FörlagSpringer Fachmedien Wiesbaden
ISBN9783519021452

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

1 Einleitung.- 2 Rechner, Churchsche These, lösbare und unlösbare Probleme.- 2.1 Rechnermodelle.- 2.2 Lösbare Probleme und die Churchsche These.- 2.3 Verknüpfungen rekursiver und rekursiv aufzählbarer Sprachen.- 2.4 Unentscheidbare Probleme.- 2.5 Reduktionen.- 2.6 Zusammenfassung.- 2.7 Übungsaufgaben mit Lösungsansätzen.- 2.8 Testfragen und stichwortartige Antworten.- 3 Die NP-Vollständigkeitstheorie.- 3.1 Effizient lösbare Probleme und die Klasse P.- 3.2 Nichtdeterminismus und die Klasse NP.- 3.3 NP-Vollständigkeit.- 3.4 Der Satz von Cook.- 3.5 Beweistechniken für die NP-Vollständigkeit von Problemen.- 3.6 Erweiterungen der NP-Vollständigkeitstheorie.- 3.7 Zusammenfassung.- 3.8 Übungsaufgaben mit Lösungsansätzen.- 3.9 Testfragen und stichwortartige Antworten.- 4 Endliche Automaten.- 4.1 Cola-Automaten, Ampelanlagen, Schaltwerke und Rechner.- 4.2 Was endliche Automaten können und was sie nicht können.- 4.3 Die effiziente Minimierung der Zustandszahl endlicher Automaten.- 4.4 Verallgemeinerte endliche Automaten.- 4.5 Die Synthese großer endlicher Automaten.- 4.6 Effiziente Algorithmen, um Eigenschaften regulärer Sprachen zu überprüfen.- 4.7 Zusammenfassung.- 4.8 Übungsaufgaben mit Lösungsansätzen.- 4.9 Testfragen und stichwortartige Antworten.- 5 Grammatiken als Grundlage von Programmiersprachen.- 5.1 Grammatiken.- 5.2 Chomsky-0 Grammatiken und rekursiv aufzählbare Sprachen.- 5.3 Chomsky-1 Grammatiken und kontextsensitive Sprachen.- 5.4 Chomsky-2 Grammatiken und kontextfreie Sprachen.- 5.5 Chomsky-3 Grammatiken, reguläre Sprachen und Ausdrücke.- 5.6 Zusammenfassung.- 5.7 Übungsaufgaben mit Lösungsansätzen.- 5.8 Testfragen und stichwortartige Antworten.- 6 Kontextfreie Sprachen, kontextfreie Grammatiken und Kellerautomaten.- 6.1 Ziele undBeispiele.- 6.2 Syntaxanalyse.- 6.3 Was kontextfreie Grammatiken nicht können.- 6.4 Die Synthese großer kontextfreier Grammatiken.- 6.5 Algorithmen, um Eigenschaften kontextfreier Grammatiken zu überprüfen.- 6.6 Kellerautomaten und kontextfreie Sprachen.- 6.7 Eingeschränkte kontextfreie Grammatiken.- 6.8 Zusammenfassung.- 6.9 Übungsaufgaben mit Lösungsansätzen.- 6.10 Testfragen und stichwortartige Antworten.- Schriftenverzeichnis.

Mer från samma författare

Numbers, Information and Complexity

Ning Cai, Gunter Dueck, Ingo Althöfer, Ning Cai, Gunter Dueck, Levon H. Khachatrian, Marcus Pinsker, G. Sarkozy, Ingo Wegener, Zhen Zhang

Inbunden, 2000

2 859 kr

Branching Programs and Binary Decision Diagrams

Ingo Wegener

Inbunden, 2000

2 299 kr

Numbers, Information and Complexity

Ingo Althöfer, Ning Cai, Gunter Dueck, Levon H. Khachatrian, Marcus Pinsker, G. Sarkozy, Ingo Wegener, Zhen Zhang

Häftad, 2010

2 859 kr

Anorexia nervosa

Katrin Imbierowicz, Ambra Marx, Ingo Wegener, Nora Kämpfer, Marcel Lüssem, Franziska Geiser

Häftad, 2025

639 kr

Suchprobleme

Rudolf Ahlswede, Ingo Wegener

Häftad, 1979

679 kr

Theoretische Informatik

Ingo Wegener

Häftad, 1993

679 kr

Effiziente Algorithmen für grundlegende Funktionen

Ingo Wegener

Häftad, 1989

679 kr

Starthilfe Informatik

Hans-Jürgen Appelrath, Dietrich Boles, Volker Claus, Ingo Wegener

Häftad, 2002

699 kr

Komplexitätstheorie

Ingo Wegener

Häftad, 2003

969 kr

Complexity Theory

Ingo Wegener

Inbunden, 2005

1 179 kr

Mer från samma serie

Elektrotechnik für Informatiker

Reinhold Paul

Häftad, 2004

739 kr

Algorithmische Grundlagen der Bioinformatik

Hans-Joachim Böckenhauer, Dirk Bongartz, Hans-Joachim Böckenhauer, Dirk Bongartz

Häftad, 2003

609 kr

Approximationsalgorithmen

Rolf Wanka

Häftad, 2006

529 kr

Mustererkennung mit Markov-Modellen

Gernot A. Fink

Häftad, 2003

539 kr

Protocol Engineering

Hartmut König

Häftad, 2003

609 kr

Randomisierte Algorithmen

Juraj Hromkovic

Häftad, 2004

699 kr

Moderne Kryptographie

Ralf Küsters, Thomas Wilke

Häftad, 2011

449 kr

Theorie der stochastischen Automaten

Springer Fachmedien Wiesbaden

Häftad, 1995

679 kr

Elektrotechnik und Elektronik für Informatiker

Reinhold Paul

Häftad, 1995

939 kr

Parallelrechner

Arndt Bode, Ulrich Brüning, Mario Dal Cin, Wolfgang Händler, Friedrich Hertweck, Ulrich Herzog, Fridolin Hofmann, Rainer Klar, Claus-Uwe Linster, Wolfgang Rosenstiel, Hans-Jürgen Schneider, Jörg Wedeck, Hans Zima, B. M. Chapman, Klaus Waldschmidt

Häftad, 1995

739 kr

Du kanske också är intresserad av

Effiziente Algorithmen für grundlegende Funktionen

Ingo Wegener

Häftad, 1989

679 kr

Advances in Computational Intelligence

Hans-Paul Schwefel, Ingo Wegener, K.D. Weinert

Inbunden, 2002

1 479 kr

Automata, Languages and Programming

Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener

Häftad, 2006

1 479 kr

Advances in Computational Intelligence

Hans-Paul Schwefel, Ingo Wegener, K.D. Weinert

Häftad, 2010

1 439 kr

Starthilfe Informatik

Hans-Jürgen Appelrath, Dietrich Boles, Volker Claus, Ingo Wegener

Häftad, 2002

699 kr

Complexity Theory

Ingo Wegener

Inbunden, 2005

1 179 kr

Anorexia nervosa

Katrin Imbierowicz, Ambra Marx, Ingo Wegener, Nora Kämpfer, Marcel Lüssem, Franziska Geiser

Häftad, 2025

639 kr

Numbers, Information and Complexity

Ning Cai, Gunter Dueck, Ingo Althöfer, Ning Cai, Gunter Dueck, Levon H. Khachatrian, Marcus Pinsker, G. Sarkozy, Ingo Wegener, Zhen Zhang

Inbunden, 2000

2 859 kr

Highlights aus der Informatik

Ingo Wegener

Inbunden, 1996

809 kr

Automata, Languages and Programming

Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener

Häftad, 2006

1 479 kr

Del i serien XLeitfäden der Informatik

Kompendium Theoretische Informatik — eine Ideensammlung

Häftad, Tyska, 1996

AvIngo Wegener

529 kr

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

Produktinformation

Utgivningsdatum1996-01-01
Mått170 x 240 x 12 mm
Vikt356 g
FormatHäftad
SpråkTyska
SerieXLeitfäden der Informatik
Antal sidor189
Upplaga1996
FörlagSpringer Fachmedien Wiesbaden
ISBN9783519021452

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

1 Einleitung.- 2 Rechner, Churchsche These, lösbare und unlösbare Probleme.- 2.1 Rechnermodelle.- 2.2 Lösbare Probleme und die Churchsche These.- 2.3 Verknüpfungen rekursiver und rekursiv aufzählbarer Sprachen.- 2.4 Unentscheidbare Probleme.- 2.5 Reduktionen.- 2.6 Zusammenfassung.- 2.7 Übungsaufgaben mit Lösungsansätzen.- 2.8 Testfragen und stichwortartige Antworten.- 3 Die NP-Vollständigkeitstheorie.- 3.1 Effizient lösbare Probleme und die Klasse P.- 3.2 Nichtdeterminismus und die Klasse NP.- 3.3 NP-Vollständigkeit.- 3.4 Der Satz von Cook.- 3.5 Beweistechniken für die NP-Vollständigkeit von Problemen.- 3.6 Erweiterungen der NP-Vollständigkeitstheorie.- 3.7 Zusammenfassung.- 3.8 Übungsaufgaben mit Lösungsansätzen.- 3.9 Testfragen und stichwortartige Antworten.- 4 Endliche Automaten.- 4.1 Cola-Automaten, Ampelanlagen, Schaltwerke und Rechner.- 4.2 Was endliche Automaten können und was sie nicht können.- 4.3 Die effiziente Minimierung der Zustandszahl endlicher Automaten.- 4.4 Verallgemeinerte endliche Automaten.- 4.5 Die Synthese großer endlicher Automaten.- 4.6 Effiziente Algorithmen, um Eigenschaften regulärer Sprachen zu überprüfen.- 4.7 Zusammenfassung.- 4.8 Übungsaufgaben mit Lösungsansätzen.- 4.9 Testfragen und stichwortartige Antworten.- 5 Grammatiken als Grundlage von Programmiersprachen.- 5.1 Grammatiken.- 5.2 Chomsky-0 Grammatiken und rekursiv aufzählbare Sprachen.- 5.3 Chomsky-1 Grammatiken und kontextsensitive Sprachen.- 5.4 Chomsky-2 Grammatiken und kontextfreie Sprachen.- 5.5 Chomsky-3 Grammatiken, reguläre Sprachen und Ausdrücke.- 5.6 Zusammenfassung.- 5.7 Übungsaufgaben mit Lösungsansätzen.- 5.8 Testfragen und stichwortartige Antworten.- 6 Kontextfreie Sprachen, kontextfreie Grammatiken und Kellerautomaten.- 6.1 Ziele undBeispiele.- 6.2 Syntaxanalyse.- 6.3 Was kontextfreie Grammatiken nicht können.- 6.4 Die Synthese großer kontextfreier Grammatiken.- 6.5 Algorithmen, um Eigenschaften kontextfreier Grammatiken zu überprüfen.- 6.6 Kellerautomaten und kontextfreie Sprachen.- 6.7 Eingeschränkte kontextfreie Grammatiken.- 6.8 Zusammenfassung.- 6.9 Übungsaufgaben mit Lösungsansätzen.- 6.10 Testfragen und stichwortartige Antworten.- Schriftenverzeichnis.