A Beginner's Guide to Mathematical Proof prepares mathematics majors for the transition to abstract mathematics, as well as introducing a wider readership of quantitative science students, such as engineers, to the mathematical structures underlying more applied topics.
This book originates as an essential underlying component of a modern, imaginative three-semester honors program (six undergraduate courses) in Mathematical Studies.
This research level monograph reflects the current state of the field and provides a reference for graduate students entering the field as well as for established researchers.
A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians.
Designed for undergraduate students of set theory, Classic Set Theory presents a modern perspective of the classic work of Georg Cantor and Richard Dedekin and their immediate successors.
The book deals with complexity, imprecision, human valuation, and uncertainty in spatial analysis and planning, providing a systematic exposure of a new philosophical and theoretical foundation for spatial analysis and planning under imprecision.
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.
Primarily designed for graduate students of mathematics, this textbook delves into Naive set theory, offering valuable insights for senior undergraduate students and researchers specializing in set theory.
Introduction to Math Olympiad Problems aims to introduce high school students to all the necessary topics that frequently emerge in international Math Olympiad competitions.
This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought.