Matematik til informatikfag

Das Kompendium prasentiert die fur ein Mathematik- oder Informatikstudium benotigten Grundlagen der diskreten Mathematik in kompakter Form. Alle wichtigen Themen wie Mengen, Relationen und Funktionen, Logik, Graphen, abstrakte und lineare Algebra sowie diskrete Wahrscheinlichkeitstheorie werden abgedeckt. Damit erweist sich das Buch als nutzlicher Begleiter fur viele Vorlesungen im Studium.

The Mathieu series is a functional series introduced by Émile Léonard Mathieu for the purposes of his research on the elasticity of solid bodies. Bounds for this series are needed for solving biharmonic equations in a rectangular domain. In addition to Tomovski and his coauthors, Pogany, Cerone, H. M. Srivastava, J. Choi, etc. are some of the known authors who published results concerning the Mathieu series, its generalizations and their alternating variants. Applications of these results are given in classical, harmonic and numerical analysis, analytical number theory, special functions, mathematical physics, probability, quantum field theory, quantum physics, etc. Integral representations, analytical inequalities, asymptotic expansions and behaviors of some classes of Mathieu series are presented in this book. A systematic study of probability density functions and probability distributions associated with the Mathieu series, its generalizations and Planck¿s distributionis also presented. The book is addressed at graduate and PhD students and researchers in mathematics and physics who are interested in special functions, inequalities and probability distributions.

This book constitutes the refereed proceedings of the 10th International Conference on Bioinspired Optimization Methods and Their Applications, BIOMA 2022, held in Maribor, Slovenia, in November 2022.The 19 full papers presented in this book were carefully reviewed and selected from 23 submissions.The papers in this BIOMA proceedings specialized in bioinspired algorithms as a means for solving the optimization problems and came in two categories: theoretical studies and methodology advancements on the one hand, and algorithm adjustments and their applications on the other.

This stimulating textbook presents a broad and accessible guide to the fundamentals of discrete mathematics, highlighting how the techniques may be applied to various exciting areas in computing. The text is designed to motivate and inspire the reader, encouraging further study in this important skill. Features: provides an introduction to the building blocks of discrete mathematics, including sets, relations and functions; describes the basics of number theory, the techniques of induction and recursion, and the applications of mathematical sequences, series, permutations, and combinations; presents the essentials of algebra; explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding theory, language theory, and the concepts of computability and decidability; reviews the history of logic, discussing propositional and predicate logic, as well as advanced topics; examines the field of software engineering, describing formal methods; investigates probability and statistics.

This book constitutes the proceedings of the 15th Latin American Symposium on Theoretical Informatics, LATIN 2022, which took place in Guanajuato, Mexico, in November 2022. The 46 papers presented in this volume were carefully reviewed and selected from 114 submissions. They were organized in topical sections as follows: Algorithms and Data Structures; Approximation Algorithms; Cryptography; Social Choice Theory; Theoretical Machine Learning; Automata Theory and Formal Languages; Combinatorics and Graph Theory; Complexity Theory; Computational Geometry.Chapter "e;Klee's Measure Problem Made Oblivious"e; is available open access under a CC BY 4.0 license.

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena.This, the 13th Transactions on Computational Systems Biology volume, guest edited by Ralph-Johan Back, Ion Petre, and Erik de Vink, focuses on Computational Models for Cell Processes and features a number of carefully selected and enhanced contributions initially presented at the CompMod workshop, which took place in Eindhoven, The Netherlands, in November 2009. From different points of view and following various approaches, the papers cover a wide range of topics in systems biology, addressing the dynamics and the computational principles of this emerging field.

This book constitutes revised selected papers from the thoroughly refereed workshop proceedings of the 20th International Workshop on Approximation and Online Algorithms, WAOA 2022, which was colocated with ALGO 2022 and took place in Potsdam, Germany, in September 2022.The 12 papers included in these proceedings were carefully reviewed and selected from21 submissions. They focus on topics such as graph algorithms, network design, algorithmic game theory, approximation and online algorithms, etc.

This book constitutes the proceedings of the Second IAPR International Conference on Discrete Geometry and Mathematical Morphology, DGMM 2022, which was held during October 24-27, 2022, in Strasbourg, France.The 33 papers included in this volume were carefully reviewed and selected from 45 submissions. They were organized in topical sections as follows: discrete and combinatorial topology; discrete tomography and inverse problems; multivariate and PDE-based mathematical morphology, morphological filtering; hierarchical and Graph-Based Models, Analysis and Segmentation; discrete geometry - models, transforms, and visualization; learning based morphology to Mathematical Morphology; and distance transform.The book also contains 3 invited keynote papers.

This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27-29, 2022.The 2 abstracts, 3 full papers of invited speakers, and 12 contributed papers presented in this volume were carefully reviewed and selected from 17 submissions. The papers contain original and unpublished research; the topics of them lie in automata theory, cryptography, coding theory, DNA computation, computer algebra, and theory of software architectures.

This book provides an up-to-date account of current research in quantum information theory, at the intersection of theoretical computer science, quantum physics, and mathematics. The book confronts many unprecedented theoretical challenges generated by infinite dimensionality and memory effects in quantum communication. The book will also equip readers with all the required mathematical tools to understand these essential questions.