This book, for a first undergraduate course in Discrete Mathematics, systematically exploits the relationship between discrete mathematics and computer programming.
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 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.
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 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.
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.
Dieses Buch erklärt kurz und prägnant die Forschung zum faszinierenden mengentheoretischen Unabhängigkeitsphänomen: Zahlreiche mengentheoretische Sätze sind gemäß den Standardaxiomen weder beweisbar noch widerlegbar.
This book originates as an essential underlying component of a modern, imaginative three-semester honors program (six undergraduate courses) in Mathematical Studies.
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 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.
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.