Peter Schuster – författare

A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms.

This book provides the reader with a collection of articles covering relevant current research topics circled around the concept ''proof''. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert''s Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction.

A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms.

This book provides the reader with a collection of articles covering relevant current research topics circled around the concept ''proof''. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert''s Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction.

This textbook presents concepts and applications of Management Accounting, one of the main approaches used by management to support future organisational performance. It covers methods and instruments of management and cost accounting, cost management, and management control and is based on the German textbook "Interne Unternehmensrechnung" by Ralf Ewert and Alfred Wagenhofer (Springer).

The authors describe the managerial uses of accounting information, both for decision-making and decision-influencing, and provide a broad perspective on the subject combining the academic foundations of the field with recent cutting-edge research results. Moreover, traditions of German accounting theory and practice that are little known outside of the German-speaking countries are reflected in the book. With its unique approach based on information economics, the textbook offers a comprehensive and innovative presentation to a global audience. 

This book unifies general concepts of plant and animal virus evolution and covers a broad range of topics related to theoretical and experimental aspects of virus population dynamics and viral fitness.

Timely topics such as viral mechanisms to cope with antiviral agents, the adaptability of the virus to new hosts, emergence of new viral phenotypes, and the connections between short- and long-term virus evolution are included. By comparing plant and animal viruses, universal mechanisms responsible for fitness variations, viral emergence and disease mechanisms are explored. Although emphasis is put on specific plant and human viral pathogens, relevant similarities and differences to other viruses are highlighted. Additionally, readers will learn more about the adaptability of coronaviruses, including the recently emerged SARS-CoV-2, the causative agent of the COVID-19 pandemic.

The book is aimed at students and scientists interested in basic and applied aspectsof plant and animal virus population dynamics and evolution.

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, Constructive mathematics, Classical vs. intuitionistic logic, Inductive definitions, and Continuous functionals and domains.

This volume brings together recent developments in quasispecies theory extended to variable environments and practical applications in elucidating viral dynamics and treatment designs. In particular, the existence of an error threshold in rugged fitness landscapes has opened the way to a new antiviral strategy termed lethal mutagenesis, which is now under intensive theoretical, experimental and clinical investigation. As such the book explains how an understanding of quasispecies dynamics within infected organisms has increased our knowledge of viral disease events. From a clinical perspective, population dynamics highlights important problems for viral disease control, such as the selection of drug-resistant mutants that often accompanies treatment failures, and suggests means of increasing the effectiveness of antiviral treatments. The book is intended for students and scientists interested in basic and applied aspects of biophysics, chemistry, biology, evolution and medical virology. 

This book has developed over the past fifteen years from a modern course on stochastic chemical kinetics for graduate students in physics, chemistry and biology. The first part presents a systematic collection of the mathematical background material needed to understand probability, statistics, and stochastic processes as a prerequisite for the increasingly challenging practical applications in chemistry and the life sciences examined in the second part.

Recent advances in the development of new techniques and in the resolution of conventional experiments at nano-scales have been tremendous: today molecular spectroscopy can provide insights into processes down to scales at which current theories at the interface of physics, chemistry and the life sciences cannot be successful without a firm grasp of randomness and its sources. Routinely measured data is now sufficiently accurate to allow the direct recording of fluctuations. As a result, the sampling of data and the modelingof relevant processes are doomed to produce artifacts in interpretation unless the observer has a solid background in the mathematics of limited reproducibility.

The material covered is presented in a modular approach, allowing more advanced sections to be skipped if the reader is primarily interested in applications. At the same time, most derivations of analytical solutions for the selected examples are provided in full length to guide more advanced readers in their attempts to derive solutions on their own. The book employs uniform notation throughout, and a glossary has been added to define the most important notions discussed.

Investment decisions are of vital importance to all companies. Getting these decisions right is crucial but, due to a complex and dynamic business environment, this remains a challenging management task. Effective appraisal methods are valuable tools in supporting investment decision-making. As organisations continue to seek a competitive edge, it is increasingly important that management accountants and strategic decision-makers have a sound knowledge of these tools. This book presents a range of investment appraisal methods and models, some of which are not widely known, or at least not well covered in other books. Each approach is thoroughly described, evaluated and illustrated using examples, with its assumptions and limitations analysed in terms of their implications for investment decision-making practice.

Die Kostenrechnung liefert mit ihren Daten Schlüsselinformationen für die Entscheider im Unternehmen. Als wichtiges Informationsinstrument hilft sie, das Unternehmen zu steuern und unterstützt so das Controlling.

Das vorliegende Lehrbuch wendet sich an Leser, die sich einen verständlichen Einstieg in das Gebiet wünschen. Es zeigt auf, wie eine solche Rechnung ausgestaltet werden kann, beleuchtet die Grundlagen von Vollkosten-, Teilkosten- und Plankostenrechnung und die strategischen Erweiterungen der Rechnung. Ausgehend von den notwendigen Inhalten der (Be)Rechnung werden auch die Anwendung der Informationen beschrieben und die Inhalte mittels Beispielen verdeutlicht.

Durch Zusammenfassungen, Wiederholungsfragen und Übungsaufgaben mit Lösungen zu jedem Kapitel ist das Buch auch zum Selbststudium geeignet und liefert einen umfassenden und kompetenten Überblick zu diesem wichtigen Teilgebiet der Betriebswirtschaftslehre.