Wyniki wyszukiwania:

Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable...

Computer science is the science of the future, and already underlies every facet of business and technology, and much of our everyday lives. In addition, it will play a crucial role in the science the 21^st century, which will be dominated by biology and biochemistry, similar to the role of mathematics in the physical sciences of the 20^th century. In this award-winning best-seller, the author and his co-author focus on the fundamentals of computer science, which revolve around the notion of the algorithm. They discuss the design of algorithms, and their...

Algorithmen sind der Kern der Informatik und der Mathematik, da jede Nutzung eines Computers erst durch Rechenverfahren uberhaupt moglich wird. In diesem Buch, das in der englischen Originalausgabe schon lange ein Bestseller ist, gibt der Autor und sein Co-Autor umfassend und didaktisch geschickt Auskunft zu allen Fragen rund um das Thema Algorithmen, so z.B. zu Themen wie Berechenbarkeit, Korrektheit und Effizienz von Algorithmen, zu Programmiertechniken, und auch das aktuelle Thema Quantenrechnen wird behandelt. Das Buch kann als Grundlage eines einsemestrigen Einfuhrungskurses in die...

Un'eccellente introduzione agli algoritmi, alla loro struttura, a come modificano i dati, alla computabilita e alla complessita, il libro e scritto in una forma allo stesso tempo elegante e schietto che fa si che possa essere considerato sia un valido testo per un corso introduttivo di Informatica, sia un tesoro da custodire per i programmatori provetti e i progettisti di software."

Algorithmen sind der Kern der Informatik und der Mathematik, da jede Nutzung eines Computers erst durch Rechenverfahren uberhaupt moglich wird. In diesem Buch, das in der englischen Originalausgabe schon lange ein Bestseller ist, gibt der Autor und sein Co-Autor umfassend und didaktisch geschickt Auskunft zu allen Fragen rund um das Thema Algorithmen, so z.B. zu Themen wie Berechenbarkeit, Korrektheit und Effizienz von Algorithmen, zu Programmiertechniken, und auch das aktuelle Thema Quantenrechnen wird behandelt. Das Buch kann als Grundlage eines einsemestrigen Einfuhrungskurses in die...

Computer science is the science of the future, and already underlies every facet of business and technology, and much of our everyday lives. In addition, it will play a crucial role in the science the 21^st century, which will be dominated by biology and biochemistry, similar to the role of mathematics in the physical sciences of the 20^th century. In this award-winning best-seller, the author and his co-author focus on the fundamentals of computer science, which revolve around the notion of the algorithm. They discuss the design of algorithms, and their...

A fundamental understanding of algorithmic bioprocesses is key to learning how information processing occurs in nature at the cell level. The field is concerned with the interactions between computer science on the one hand and biology, chemistry, and DNA-oriented nanoscience on the other. In particular, this book offers a comprehensive overview of research into algorithmic self-assembly, RNA folding, the algorithmic foundations for biochemical reactions, and the algorithmic nature of developmental processes.

The editors of the book invited 36 chapters, written by the...