From a Geometrical Point of View explores historical and philosophical aspects of category theory, trying therewith to expose its significance in the mathematical landscape.
In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat someone were capable to compile it, would ?
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics.
The idea of the present volume emerged in 2002 from a series of talks by Frank Stephan in 2002, and John Case in 2003, on developments of algorithmic learning theory.
Can the straight line be analysed mathematically such that it does not fall apart into a set of discrete points, as is usually done but through which its fundamental continuity is lost?
In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic.
In the 20th century philosophy of mathematics has to a great extent been dominated by views developed during the so-called foundational crisis in the beginning of that century.
Over the last decade and particularly in recent years, the macroscopic porous media theory has made decisive progress concerning the fundamentals of the theory and the development of mathematical models in various fields of engineering and biomechanics.
Logic functions and equations are (some of) the most important concepts of Computer Science with many applications such as Binary Arithmetics, Coding, Complexity, Logic Design, Programming, Computer Architecture and Artificial Intelligence.
The power and properties of numbers, from basic addition and sums of squares to cutting-edge theoryWe use addition on a daily basis-yet how many of us stop to truly consider the enormous and remarkable ramifications of this mathematical activity?
The remarkable properties of the numbers one through nineIn Single Digits, Marc Chamberland takes readers on a fascinating exploration of small numbers, from one to nine, looking at their history, applications, and connections to various areas of mathematics, including number theory, geometry, chaos theory, numerical analysis, and mathematical physics.
This book considers the so-called Unlikely Intersections, a topic that embraces well-known issues, such as Lang's and Manin-Mumford's, concerning torsion points in subvarieties of tori or abelian varieties.
The story of one of the greatest unsolved problems in mathematicsWhat is the shortest possible route for a traveling salesman seeking to visit each city on a list exactly once and return to his city of origin?
Physics World's 'Book of the Year' for 2016 An Entertaining and Enlightening Guide to the Who, What, and Why of String Theory, now also available in an updated reflowable electronic format compatible with mobile devices and e-readers.
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Godel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory.
Thoroughly revised, updated, expanded, and reorganized to serve as a primary text for mathematics courses, Introduction to Set Theory, Third Edition covers the basics: relations, functions, orderings, finite, countable, and uncountable sets, and cardinal and ordinal numbers.
Computer arithmetic has become so fundamentally embedded into digital design that many engineers are unaware of the many research advances in the area.
Using a simple yet rigorous approach, Algebraic and Stochastic Coding Theory makes the subject of coding theory easy to understand for readers with a thorough knowledge of digital arithmetic, Boolean and modern algebra, and probability theory.
For many civilian, security, and military applications, distributed and networked coordination offers a more promising alternative to centralized command and control in terms of scalability, flexibility, and robustness.
Although several books cover the coding theory of wireless communications and the hardware technologies and coding techniques of optical CDMA, no book has been specifically dedicated to optical coding theory-until now.
This totally revised and expanded reference/text provides comprehensive, single-source coverage of the design, problem solving, and specifications of electromagnetic compatibility (EMC) into electrical equipment/systems-including new information on basic theories, applications, evaluations, prediction techniques, and practical diagnostic options for preventing EMI through cost-effective solutions.
Mathematics of Keno and Lotteries is an elementary treatment of the mathematics, primarily probability and simple combinatorics, involved in lotteries and keno.
Mathematics of Keno and Lotteries is an elementary treatment of the mathematics, primarily probability and simple combinatorics, involved in lotteries and keno.
Introduction to Probability with Texas Hold'em Examples illustrates both standard and advanced probability topics using the popular poker game of Texas Hold'em, rather than the typical balls in urns.
Introduction to Probability with Texas Hold'em Examples illustrates both standard and advanced probability topics using the popular poker game of Texas Hold'em, rather than the typical balls in urns.
The Beauty of Mathematics in Computer Science explains the mathematical fundamentals of information technology products and services we use every day, from Google Web Search to GPS Navigation, and from speech recognition to CDMA mobile services.
The Beauty of Mathematics in Computer Science explains the mathematical fundamentals of information technology products and services we use every day, from Google Web Search to GPS Navigation, and from speech recognition to CDMA mobile services.
