Mathematical foundations

Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics.

A concise yet rigorous introduction to logic and discrete mathematics.

This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011.

This comprehensive two-volume work is devoted to the most general beginnings of mathematics.

Combinatorial mathematics has been pursued since time immemorial, and at a reasonable scientific level at least since Leonhard Euler (1707-1783).

This unique and contemporary text not only offers an introduction to proofs with a view towards algebra and analysis, a standard fare for a transition course, but also presents practical skills for upper-level mathematics coursework and exposes undergraduate students to the context and culture of contemporary mathematics.

This volume presents a systematic study of the interaction between local and global degree theory.

The widespread use of image, audio, and video data makes media content protection increasingly necessary and urgent.

This book develops a new approach to plural arbitrary reference and examines mereology, including considering four theses on the alleged innocence of mereology.

The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship.

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.

This book has grown out of eight years of close collaboration among its authors.

This truly elementary book on categories introduces retracts, graphs, and adjoints to students and scientists.

How can one be assured that computer codes that solve differential equations are correct?

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.

This richly illustrated book provides step-by-step instructions for the construction of over 30 different modular origami structures.

This collection of essays aims to promote constructive mathematics, not by defining it or formalizing it, but by practicing it.

Beyond calculus, the world of mathematics grows increasingly abstract and places new and challenging demands on those venturing into that realm.

Logic's basic elements are unfolded in this book.

Numbers imitate space, which is of such a di?

Fuzzy sets were first proposed by Lotfi Zadeh in his seminal paper [366] in 1965, and ever since have been a center of many discussions, fervently admired and condemned.

This book develops a naturalistic aesthetic theory that accounts for aesthetic phenomena in mathematics in the same terms as it accounts for more traditional aesthetic phenomena.

This book is a history of artificial intelligence, that audacious effort to duplicate in an artifact what we consider to be our most important property-our intelligence.

In the six years since the first edition of this book was published, the field of Structural Complexity has grown quite a bit.

This volume presents essays by pioneering thinkers including Tyler Burge, Gregory Chaitin, Daniel Dennett, Barry Mazur, Nicholas Humphrey, John Searle and Ian Stewart.

Expanding Mathematical Toolbox: Interweaving Topics, Problems, and Solutions offers several topics from different mathematical disciplines and shows how closely they are related.

"e;Intuition"e; has perhaps been the least understood and the most abused term in philosophy.

The author selects 23 of his papers in mathematical logic that pursue definability via priority, forcing, compactness and fine structure applied to classical recursion, hyperarithmetic sets, recursion in objects of finite type, measure, models and E-recursion.

There seems to be no doubt that geometry originates from such practical activ- ities as weather observation and terrain survey.

This monograph is a defence of the Fregean take on logic.

If you have ever wondered what quaternions are - then look no further, John Vince will show you how simple and useful they are.

This contributed volume explores the ways logical skills have been perceived over the course of history.

Provides a general framework for doing geometric group theory for non-locally-compact topological groups arising in mathematical practice.

This monograph looks at causal nets from a philosophical point of view.

hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997.

by Ivor Grattan-Guinness One of the distortions in most kinds of history is an imbalance between the study devoted to major figures and to lesser ones, concerning both achievements and influence: the Great Ones may be studied to death while the others are overly ignored and thereby remain underrated.

Text Retrieval and Filtering: Analytical Models of Performance is the first book that addresses the problem of analytically computing the performance of retrieval and filtering systems.

The Quantum Cellular Automaton (QCA) concept represents an attempt to break away from the traditional three-terminal device paradigm that has dominated digital computation.

The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles.

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind.

This book, divided in two volumes, originates from Techno-Societal 2020: the 3rd International Conference on Advanced Technologies for Societal Applications, Maharashtra, India, that brings together faculty members of various engineering colleges to solve Indian regional relevant problems under the guidance of eminent researchers from various reputed organizations.

This is an introductory undergraduate textbook in set theory.

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.

The book offers a comprehensive survey of intuitionistic fuzzy logics.

Although data engineering is a multi-disciplinary field with applications in control, decision theory, and the emerging hot area of bioinformatics, there are no books on the market that make the subject accessible to non-experts.

This book analyzes the generation of the arrow-categories of a given category, which is a foundational and distinguishable Category Theory phenomena, in analogy to the foundational role of sets in the traditional set-based Mathematics, for defi nition of natural numbers as well.

Keith Devlin and Jonathan Borwein, two well-known mathematicians with expertise in different mathematical specialties but with a common interest in experimentation in mathematics, have joined forces to create this introduction to experimental mathematics.

This volume presents some exciting new developments occurring on the interface between set theory and computability as well as their applications in algebra, analysis and topology.