Mathematical foundations

This book explains how burden of proof and presumption work as powerful devices in argumentation, based on studying many clearly explained legal and non-legal examples.

This book offers an excursion through the developmental area of research mathematics.

?

Since their inception, fuzzy sets and fuzzy logic became popular.

"e;Oulines an array of recent work on the analytic theory and potential applications of continued fractions, linear functionals, orthogonal functions, moment theory, and integral transforms.

J.

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software.

This volume commemorates the life, work and foundational views of Kurt Gödel by exploring the impact of his work and its future implications.

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School.

Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues.

Fundamentals of Linear Algebra is like no other book on the subject.

Multi-Criteria Decision Making (MCDM) has been one of the fastest growing problem areas in many disciplines.

There are many kinds of books on formal logic.

This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field.

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values.

This book unifies and synthesizes research on graph structure over the last 25 years.

The concept of infinity is one of the most important, and at the same time, one of the most mysterious concepts of science.

Security for Wireless Sensor Networks using Identity-Based Cryptography introduces identity-based cryptographic schemes for wireless sensor networks.

The mathematics behind today's most widely used rating and ranking methodsA website's ranking on Google can spell the difference between success and failure for a new business.

The Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, California.

The Hindu-Arabic numeral system (1, 2, 3,.

These notes are devoted to the study of some classical problems in the Geometry of Banach spaces.

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century.

This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science.

If we must take mathematical statements to be true, must we also believe in the existence of abstracta eternal invisible mathematical objects accessible only by the power of pure thought?

A Transition to Proof: An Introduction to Advanced Mathematics describes writing proofs as a creative process.

Readings in Fuzzy Sets for Intelligent Systems is a collection of readings that explore the main facets of fuzzy sets and possibility theory and their use in intelligent systems.

Origami5 continues in the excellent tradition of its four previous incarnations, documenting work presented at an extraordinary series of meetings that explored the connections between origami, mathematics, science, technology, education, and other academic fields.

In this charming memoir, a renowned mathematician and winner of the American Book Award traces his career in mathematics from early lessons in horse racing and the realities of life to his adventures on the lecture circuit.

Computability theory is a branch of mathematical logic and computer science that has become increasingly relevant in recent years.

The book is a research monograph on the notions of truth and assertibility as they relate to the foundations of mathematics.

"e;Knot theory is a fascinating mathematical subject, with multiple links to theoretical physics.

Geometry for the Artist is based on a course of the same name which started in the 1980s at Maharishi International University.

Using robust software, this book focuses on learning assistants for evidence-based reasoning that learn complex problem solving from humans.

First published in 1990, this book consists of a detailed exposition of results of the theory of "e;interpretation"e; developed by G.

Why Olympiads?

Computational Intelligence Assisted Design framework mobilises computational resources, makes use of multiple Computational Intelligence (CI) algorithms and reduces computational costs.

Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly.

Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der formalen Methode der Mathematik auf das Gebiet der Logik.

Cryptology: Classical and Modern, Second Edition proficiently introduces readers to the fascinating field of cryptology.

This book offers insight into the nature of meaningful discourse.

In an effort to make advanced mathematics accessible to a wide variety of students, and to give even the most mathematically inclined students a solid basis upon which to build their continuing study of mathematics, there has been a tendency in recent years to introduce students to the for- mulation and writing of rigorous mathematical proofs, and to teach topics such as sets, functions, relations and countability, in a "e;transition"e; course, rather than in traditional courses such as linear algebra.

This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain.

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists.