How many ways do exist to mix different ingredients, how many chances to win a gambling game, how many possible paths going from one place to another in a network ? To this kind of questions Mathematics applied to computer gives a stimulating and exhaustive answer. This text, presented in three parts (Combinatorics, Probability, Graphs) addresses all those who wish to acquire basic or advanced knowledge in combinatorial theories. It is actually also used as a textbook. Basic and advanced theoretical elements are presented through simple applications like the Sudoku game, search engine algorithm and other easy to grasp applications. Through the progression from simple to complex, the teacher acquires knowledge of the state of the art of combinatorial theory. The non conventional simultaneous presentation of algorithms, programs and theory permits a powerful mixture of theory and practice. All in all, the originality of this approach gives a refreshing view on combinatorial theory.

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.

Analysis, assessment, and data management are core tools required for operation research analysts. The April 2011 conference held at the Helenic Military Academy addressed these issues with efforts to collect valuable recommendations for improving analysts’ capabilities to assess and communicate the necessary qualitative data to military leaders. This unique volume is an outgrowth of the April conference and comprises of contributions from the fields of science, mathematics, and the military, bringing Greek research findings to the world. Topics cover a wide variety of mathematical methods used with application to defense and security. Each contribution considers directions and pursuits of scientists that pertain to the military as well as the theoretical background required for methods, algorithms, and techniques used in military applications. The direction of theoretical results in these applications is conveyed and open problems and future areas of focus are highlighted. A foreword will be composed by a member of N.A.T.O. or a ranking member of the armed forces. Topics covered include: applied OR and military applications, signal processing, scattering, scientific computing and applications, combat simulation and statistical modeling, satellite remote sensing, and applied informatics – cryptography and coding. The contents of this volume will be of interest to a diverse audience including military operations research analysts, the military community at large, and practitioners working with mathematical methods and applications to informatics and military science.​

Medical imaging is an important and rapidly expanding area in medical science. Many of the methods employed are essentially digital, for example computerized tomography, and the subject has become increasingly influenced by develop ments in both mathematics and computer science. The mathematical problems have been the concern of a relatively small group of scientists, consisting mainly of applied mathematicians and theoretical physicists. Their efforts have led to workable algorithms for most imaging modalities. However, neither the fundamentals, nor the limitations and disadvantages of these algorithms are known to a sufficient degree to the physicists, engineers and physicians trying to implement these methods. It seems both timely and important to try to bridge this gap. This book summarizes the proceedings of a NATO Advanced Study Institute, on these topics, that was held in the mountains of Tuscany for two weeks in the late summer of 1986. At another (quite different) earlier meeting on medical imaging, the authors noted that each of the speakers had given, there, a long introduction in their general area, stated that they did not have time to discuss the details of the new work, but proceeded to show lots of clinical results, while excluding any mathematics associated with the area.

Computer science majors taking a non-programming-based course like discrete mathematics might ask 'Why do I need to learn this?' Written with these students in mind, this text introduces the mathematical foundations of computer science by providing a comprehensive treatment of standard technical topics while simultaneously illustrating some of the broad-ranging applications of that material throughout the field. Chapters on core topics from discrete structures – like logic, proofs, number theory, counting, probability, graphs – are augmented with around 60 'computer science connections' pages introducing their applications: for example, game trees (logic), triangulation of scenes in computer graphics (induction), the Enigma machine (counting), algorithmic bias (relations), differential privacy (probability), and paired kidney transplants (graphs). Pedagogical features include 'Why You Might Care' sections, quick-reference chapter guides and key terms and results summaries, problem-solving and writing tips, 'Taking it Further' asides with more technical details, and around 1700 exercises, 435 worked examples, and 480 figures.

This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. In order to provide a balanced treatment of logic, tableaux are related to deductive proof systems. The book presents various logical systems and contains exercises. Still further, Prolog source code is available on an accompanying Web site. The author is an Associate Professor at the Department of Science Teaching, Weizmann Institute of Science.

Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory. The authors closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks.