Kompendium Theoretische Informatik — eine Ideensammlung

AvIngo Wegener

Häftad, Tyska, 1996

Del i serien XLeitfäden der Informatik

409 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

390 kr

Beskrivning

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

Utgivningsdatum:1996-01-01
Mått:170 x 240 x 12 mm
Vikt:356 g
Format:Häftad
Språk:Tyska
Serie:XLeitfäden der Informatik
Antal sidor:189
Upplaga:1996
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783519021452

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Mer om författaren

Prof. Dr. Ingo Wegener, Universität Dortmund

Innehållsförteckning

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 202 kr

Branching Programs and Binary Decision Diagrams

Ingo Wegener

Inbunden, 2000

1 777 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 202 kr

Numbers, Information and Complexity

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

E-bok

2013

2 862 kr

Anorexia nervosa

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

Häftad, 2025

493 kr

Theoretische Informatik

Ingo Wegener

E-bok

2015

520 kr

Starthilfe Informatik

Ingo Wegener, Volker Claus, Dietrich Boles, Hans-Jurgen Appelrath

E-bok

2013

559 kr

Suchprobleme

Ingo Wegener, Rudolf Ahlswede

E-bok

2013

537 kr

Theoretische Informatik

Ingo Wegener

E-bok

2013

542 kr

Effiziente Algorithmen für grundlegende Funktionen

Ingo Wegener

E-bok

2013

542 kr

Mer från samma serie

Elektrotechnik für Informatiker

Reinhold Paul

Häftad, 2004

571 kr

Algorithmische Grundlagen der Bioinformatik

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

Häftad, 2003

469 kr

Approximationsalgorithmen

Rolf Wanka

Häftad, 2006

409 kr

Mustererkennung mit Markov-Modellen

Gernot A. Fink

Häftad, 2003

417 kr

Protocol Engineering

Hartmut König

Häftad, 2003

469 kr

Randomisierte Algorithmen

Juraj Hromkovic

Häftad, 2004

535 kr

Moderne Kryptographie

Ralf Küsters, Thomas Wilke

Häftad, 2011

345 kr

Theorie der stochastischen Automaten

Springer Fachmedien Wiesbaden

Häftad, 1995

520 kr

Elektrotechnik und Elektronik für Informatiker

Reinhold Paul

Häftad, 1995

725 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

571 kr

Du kanske också är intresserad av

Effiziente Algorithmen für grundlegende Funktionen

Ingo Wegener

Häftad, 1989

519 kr

Automata, Languages and Programming

Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener

Häftad, 2006

1 137 kr

Advances in Computational Intelligence

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

Häftad, 2010

1 104 kr

Suchprobleme

Ingo Wegener, Rudolf Ahlswede

E-bok

2013

537 kr

Anorexia nervosa

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

Häftad, 2025

493 kr

Starthilfe Informatik

Ingo Wegener, Volker Claus, Dietrich Boles

E-bok

2013

542 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 202 kr

Theoretische Informatik

Ingo Wegener

E-bok

2013

542 kr

Theoretische Informatik

Ingo Wegener

E-bok

2015

520 kr

Automata, Languages and Programming

Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener

Häftad, 2006

1 137 kr

Kompendium Theoretische Informatik — eine Ideensammlung

AvIngo Wegener

Häftad, Tyska, 1996

Del i serien XLeitfäden der Informatik

409 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

390 kr

Beskrivning

Produktinformation

Utgivningsdatum:1996-01-01
Mått:170 x 240 x 12 mm
Vikt:356 g
Format:Häftad
Språk:Tyska
Serie:XLeitfäden der Informatik
Antal sidor:189
Upplaga:1996
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783519021452

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Mer om författaren

Prof. Dr. Ingo Wegener, Universität Dortmund

Innehållsförteckning

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.