Mathematical Methods In Computer Science

This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, held December 2008, in Karlsruhe, Germany, in memory of Thomas Beth. The themes of the conference reflect his many interests.

This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. Topics include formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruences; asymptotic notation and growth of functions; permutations and combinations, counting principles; discrete probability. Further selected topics may also be covered, such as recursive definition and structural induction; state machines and invariants; recurrences; generating functions.

This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of Thomas Beth. The themes of the conference reflected the many interests of Thomas Beth. Although, these interests might seem diverse, mathematical methods and especially algebra as a language constituted the common denominator of all of his scientific achievements. The 12 contributed talks presented were carefully selected from 30 submissions and cover the topics cryptography, designs, quantum computing, algorithms, and coding theory. Furthermore, this volume contains two invited talks held at the conference. One focuses on the area of coding theory and symbolic computation, an area especially appreciated by Thomas Beth, because it combines algebra and algorithmics. The other one discusses quantum information, which again was a focus of Thomas Beth’s research.

This is the first book where mathematics and computer science are directly confronted and joined to tackle intricate problems in computer science with deep mathematical approaches. It contains a collection of refereed papers presented at the Colloquium on Mathematics and Computer Science held at the University of Versailles-St-Quentin on September 18-20, 2000. The colloquium was a meeting place for researchers in mathematics and computer science and thus an important opportunity to exchange ideas and points of view, and to present new approaches and new results in the common areas such as algorithms analysis, trees, combinatorics, optimization, performance evaluation and probabilities. The book is intended for a large public in applied mathematics, discrete mathematics and computer science, including researchers, teachers, graduate students and engineers. It provides an overview of the current questions in computer science and related modern mathematical methods. The range of applications is very wide and reaches beyond computer science.

An innovative treatment of mathematical methods for a multidisciplinary audience Clearly and elegantly presented, Mathematical Methods in Science and Engineering provides a coherent treatment of mathematical methods, bringing advanced mathematical tools to a multidisciplinary audience. The growing interest in interdisciplinary studies has brought scientists from many disciplines such as physics, mathematics, chemistry, biology, economics, and finance together, which has increased the demand for courses in upper-level mathematical techniques. This book succeeds in not only being tuned in to the existing practical needs of this multidisciplinary audience, but also plays a role in the development of new interdisciplinary science by introducing new techniques to students and researchers. Mathematical Methods in Science and Engineering's modular structure affords instructors enough flexibility to use this book for several different advanced undergraduate and graduate level courses. Each chapter serves as a review of its subject and can be read independently, thus it also serves as a valuable reference and refresher for scientists and beginning researchers. There are a growing number of research areas in applied sciences, such as earthquakes, rupture, financial markets, and crashes, that employ the techniques of fractional calculus and path integrals. The book's two unique chapters on these subjects, written in a style that makes these advanced techniques accessible to a multidisciplinary audience, are an indispensable tool for researchers and instructors who want to add something new to their compulsory courses. Mathematical Methods in Science and Engineering includes: * Comprehensive chapters on coordinates and tensors and on continuous groups and their representations * An emphasis on physical motivation and the multidisciplinary nature of the methods discussed * A coherent treatment of carefully selected topics in a style that makes advanced mathematical tools accessible to a multidisciplinary audience * Exercises at the end of every chapter and plentiful examples throughout the book Mathematical Methods in Science and Engineering is not only appropriate as a text for advanced undergraduate and graduate physics programs, but is also appropriate for engineering science and mechanical engineering departments due to its unique chapter coverage and easily accessible style. Readers are expected to be familiar with topics typically covered in the first three years of science and engineering undergraduate programs. Thoroughly class-tested, this book has been used in classes by more than 1,000 students over the past eighteen years.

This book introduces the mathematics that supports advanced computer programming and the analysis of algorithms. The primary aim of its well-known authors is to provide a solid and relevant base of mathematical skills - the skills needed to solve complex problems, to evaluate horrendous sums, and to discover subtle patterns in data. It is an indispensable text and reference not only for computer scientists - the authors themselves rely heavily on it! - but for serious users of mathematics in virtually every discipline. Concrete Mathematics is a blending of CONtinuous and disCRETE mathematics. "More concretely," the authors explain, "it is the controlled manipulation of mathematical formulas, using a collection of techniques for solving problems." The subject matter is primarily an expansion of the Mathematical Preliminaries section in Knuth's classic Art of Computer Programming, but the style of presentation is more leisurely, and individual topics are covered more deeply. Several new topics have been added, and the most significant ideas have been traced to their historical roots. The book includes more than 500 exercises, divided into six categories. Complete answers are provided for all exercises, except research problems, making the book particularly valuable for self-study. Major topics include: Sums Recurrences Integer functions Elementary number theory Binomial coefficients Generating functions Discrete probability Asymptotic methods This second edition includes important new material about mechanical summation. In response to the widespread use of the first edition as a reference book, the bibliography and index have also been expanded, and additional nontrivial improvements can be found on almost every page. Readers will appreciate the informal style of Concrete Mathematics. Particularly enjoyable are the marginal graffiti contributed by students who have taken courses based on this material. The authors want to convey not only the importance of the techniques presented, but some of the fun in learning and using them.

An accessible introduction to the mathematical methods essential for understanding processes in the Earth and environmental sciences.

This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software. An introduction to mathematics that is essential for sound software engineering is provided as well as a discussion of various mathematical methods that are used both in academia and industry. The mathematical approaches considered include: Z specification language Vienna Development Methods (VDM) Irish school of VDM (VDM) approach of Dijkstra and Hoare classical engineering approach of Parnas Cleanroom approach developed at IBM software reliability, and unified modelling language (UML). Additionally, technology transfer of the mathematical methods to industry is considered. The book explains the main features of these approaches and applies mathematical methods to solve practical problems. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers.