Finite functions (in particular, Boolean functions) play a fundamental role in computer science and discrete mathematics. This book describes representations of Boolean functions that have small size for many important functions and which allow efficient work with the represented functions. The representation size of important and selected functions is estimated, upper and lower bound techniques are studied, efficient algorithms for operations on these representations are presented, and the limits of those techniques are considered. This book is the first comprehensive description of theory...
Finite functions (in particular, Boolean functions) play a fundamental role in computer science and discrete mathematics. This book describes represen...
Dieser Band enthalt die Beitrage einer Ringvorlesung Highlights aus der Informatik an der Universitat Dortmund, in der Wissenschaftler, die durch ihre Forschung und didaktischen Fahigkeiten ausgewiesen sind, Glanzlichter aus der neueren Informatikforschung aufbereiteten und sie so Studenten und interessierten Laien zuganglich gemacht haben. Dabei wird das ganze Spektrum von tiefliegenden theoretischen Ergebnissen uber anwendungsorientierte Entwicklungen bis zur uberraschenden Losung altbekannter kombinatorischer Probleme behandelt. Die Autoren zeigen kenntnisreich und bisweilen...
Dieser Band enthalt die Beitrage einer Ringvorlesung Highlights aus der Informatik an der Universitat Dortmund, in der Wissenschaftler, die dur...
Der Physiker Stephen Hawking, der bekannt fUr seine anschaulichen Beschreibun gen komplexer, physikalischer Phanomene ist, leitet eines seiner Biicher mit fol gender Bemerkung ein. Ihm sei gesagt worden, daB jede Gleichung in einem Buch 2 die Verkaufszahlen halbiert. Daher wolle er sich auf die Gleichung E = mc be schranken. Nun wissen wir spatestens seit der Geschichte mit den Reiskornern auf dem Schachbrett, deren Anzahl sich auf jedem Feld verdoppeln solI, daB exponen tielles Wachstum nicht beherrschbar ist. So kenne ich kein Buch iiber Theoretische Informatik, das nach der obigen Regel...
Der Physiker Stephen Hawking, der bekannt fUr seine anschaulichen Beschreibun gen komplexer, physikalischer Phanomene ist, leitet eines seiner Biicher...
Die Komplexitatstheorie ist inzwischen eine ausgefeilte Theorie. Viele wichtige und nutzliche Ergebnisse sind schwer vermittelbar, da der Weg zu Ergebnissen fur konkrete Probleme lang und beschwerlich ist. Wahrend die NP-Vollstandigkeitstheorie die gesamte Informatik beeinflusst hat, werden die neueren Ergebnisse in der Ausbildung an den Rand gedrangt. Dieses Lehrbuch trifft eine Auswahl unter den Ergebnissen, so dass die Bedeutung der Komplexitatstheorie fur eine moderne Informatik in den Mittelpunkt ruckt."
Die Komplexitatstheorie ist inzwischen eine ausgefeilte Theorie. Viele wichtige und nutzliche Ergebnisse sind schwer vermittelbar, da der Weg zu Ergeb...
Die theoretische Informatik ist alter als die praktische, angewandte oder technische Informatik. Daher ist sie als wissenschaftliche Disziplin bereits weiter ausgebaut als andere Bereiche der Informatik und ihre Ergebnisse sind schwerer zuganglich, da sie auf ein grosseres und tieferes Fundament aufbauen. Stark verastelte Theorien ten dieren dazu, sich als Selbstzweck aufzufassen und als l'art pour l'art betrieben zu werden. In der vorliegenden Einfuhrung in die theoretische Informatik begegnen wir dieser Gefahr, indem wir die Orientierung moderner Theorien an den Anwendun gen in den...
Die theoretische Informatik ist alter als die praktische, angewandte oder technische Informatik. Daher ist sie als wissenschaftliche Disziplin bereits...
Dieser Band enthalt die Beitrage einer Ringvorlesung Highlights aus der Informatik an der Universitat Dortmund, in der Wissenschaftler, die durch ihre Forschung und didaktischen Fahigkeiten ausgewiesen sind, Glanzlichter aus der neueren Informatikforschung aufbereiteten und sie so Studenten und interessierten Laien zuganglich gemacht haben. Dabei wird das ganze Spektrum von tiefliegenden theoretischen Ergebnissen uber anwendungsorientierte Entwicklungen bis zur uberraschenden Losung altbekannter kombinatorischer Probleme behandelt. Die Autoren zeigen kenntnisreich und bisweilen...
Dieser Band enthalt die Beitrage einer Ringvorlesung Highlights aus der Informatik an der Universitat Dortmund, in der Wissenschaftler, die dur...
Der erfolgreiche Einsatz von Rechnern bei der Losung von Problemen in fast allen Lebensbereichen beruht u.a. auf der technologischen Entwicklung, die zu schnelle ren Rechnern mit grosserem Speicher fuhrte, auf der grosseren Benutzerfreundlich keit der Rechner und auf effizienteren Algorithmen zur Losung der betrachteten Probleme. Dieses Buch befasst sich mit dem Entwurf effizienter Algorithmen fur grundlegende Probleme, die haufig als Teilprobleme in komplexeren Problemen auftreten. Wahrend auf der unteren Ebene der Hardware von Rechnern, also in Schaltkreisen, Schaltwerken und VLSI-Chips,...
Der erfolgreiche Einsatz von Rechnern bei der Losung von Problemen in fast allen Lebensbereichen beruht u.a. auf der technologischen Entwicklung, die ...
