Set theory

This book, for a first undergraduate course in Discrete Mathematics, systematically exploits the relationship between discrete mathematics and computer programming.

Lateral Solutions to Mathematical Problems offers a fresh approach to mathematical problem solving via lateral thinking.

Lateral Solutions to Mathematical Problems offers a fresh approach to mathematical problem solving via lateral thinking.

Quantum Computation presents the mathematics of quantum computation.

Quantum Computation presents the mathematics of quantum computation.

Explore the mathematics arising from discrete quantum walks in this introduction to a rapidly developing area.

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.

This textbook will continue to be the best suitable textbook written specifically for a first course on probability theory and designed for industrial engineering and operations management students.

This textbook will continue to be the best suitable textbook written specifically for a first course on probability theory and designed for industrial engineering and operations management students.

This book discusses major theories and applications of fuzzy soft multisets and their generalization which help researchers get all the related information at one place.

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

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

The Language of Symmetry is a re-assessment of the structure and reach of symmetry, by an interdisciplinary group of specialists from the arts, humanities, and sciences at Oxford University.

The Language of Symmetry is a re-assessment of the structure and reach of symmetry, by an interdisciplinary group of specialists from the arts, humanities, and sciences at Oxford University.

This book originates as an essential underlying component of a modern, imaginative three-semester honors program (six undergraduate courses) in Mathematical Studies.

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets.

This monograph discusses the theoretical and practical development of multicriteria decision making (MCDM).

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets.

This monograph discusses the theoretical and practical development of multicriteria decision making (MCDM).

This is an introductory undergraduate textbook in set theory.

Since its inception, fuzzy logic has attracted an incredible amount of interest, and this interest continues to grow at an exponential rate.

The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 2015.

This book serves as a textbook in real analysis.

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.

This book collects chapters which discuss interdisciplinary solutions to complex problems by using different approaches in order to save money, time and resources.

This book presents a collection of recent research on topics related to Pythagorean fuzzy set, dealing with dynamic and complex decision-making problems.

This book discusses major theories and applications of fuzzy soft multisets and their generalization which help researchers get all the related information at one place.

Ancient times witnessed the origins of the theory of continued fractions.

Ancient times witnessed the origins of the theory of continued fractions.

This book offers a gentle introduction to type-2 fuzzy sets and, in particular, interval type-2 fuzzy sets and their application in biological modeling.

This book presents a new approach to the epistemology of mathematics by viewing mathematics as a human activity whose knowledge is intimately linked with practice.

Fuzzy set and logic theory suggest that all natural language linguistic expressions are imprecise and must be assessed as a matter of degree.

This book originates as an essential underlying component of a modern, imaginative three-semester honors program (six undergraduate courses) in Mathematical Studies.

This book is devoted to some topics of the general theory of invariant and quasi-invariant measures.

Fuzzy set theory provides us with a framework which is wider than that of classical set theory.

This is an interdisciplinary book for knowledge workers in business, finance, management, and socio-economic sciences.

This book introduces the reader to the general theory of partially ordered sets, i.

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.

This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence.

This invaluable book is a collection of 31 important - both in ideas and results - papers published by mathematical logicians in the 20th Century.

The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981.

This volume presents the written versions of the tutorial lectures given at the Workshop on Computational Prospects of Infinity, held from 18 June to 15 August 2005 at the Institute for Mathematical Sciences, National University of Singapore.

This volume is a collection of written versions of the talks given at the Workshop on Computational Prospects of Infinity, held at the Institute for Mathematical Sciences from 18 June to 15 August 2005.

Nonlinear systems with stationary sets are important because they cover a lot of practical systems in engineering.

This book is about "e;diamond"e;, a logic of paradox.

The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers representing statements.

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.

The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 2015.