Oliver Rüthing - Böcker
Visar alla böcker från författaren Oliver Rüthing. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Mathematical Foundations of Advanced Informatics
Volume 1: Inductive Approaches
Häftad, Engelska, 2019
369 kr
Skickas inom 10-15 vardagar
A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions. This textbook is suitable for undergraduate and graduate courses in computer science and for self-study.
Mathematical Foundations of Advanced Informatics
Volume 1: Inductive Approaches
Inbunden, Engelska, 2018
368 kr
Skickas inom 10-15 vardagar
The books in this trilogy capture the foundational core of advanced informatics. The authors make the foundations accessible, enabling students to become effective problem solvers.This first volume establishes the inductive approach as a fundamental principle for system and domain analysis. After a brief introduction to the elementary mathematical structures, such as sets, propositional logic, relations, and functions, the authors focus on the separation between syntax (representation) and semantics (meaning), and on the advantages of the consistent and persistent use of inductive definitions. They identify compositionality as a feature that not only acts as a foundation for algebraic proofs but also as a key for more general scalability of modeling and analysis. A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions.This textbook is suitable for undergraduate and graduate courses in computer science and for self-study. Most chapters contain exercises and the content has been class-tested over many years in various universities.
556 kr
Skickas inom 10-15 vardagar
Code motion techniques are integrated in many optimizing production and research compilers. They are still a major topic of ongoing research in program optimization, but traditional methods are restricted by a narrow focus on their immediate effects. A more ambitious approach is to investigate the interdependencies between distinct component transformations.This monograph provides a comprehensive account of the methods most accepted in practice for program analysis and program transformation for imperative languages. It also develops a scenario, systematically and step by step, which overcomes the structural restrictions that had previously long resisted attack. The author presents formal proofs for all the steps leading to this breakthrough, though the reader may skip the proofs and consult the technical details as needed yet still enjoy a smooth introduction to the central principles of code motion.
385 kr
Skickas inom 10-15 vardagar
Dieses Lehrbuch mit prüfungsrelevanten Aufgaben und Lösungen erläutert grundlegende Mathematik-bezogene Methoden der Informatik.