Set Theory & Logic

Per Page:

An Elementary Transition to Abstract Mathematics

1st Edition

Gove Effinger, Gary L. Mullen
October 28, 2019

An Elementary Transition to Abstract Mathematics will help students move from introductory courses to those where rigor and proof play a much greater role. The text is organized into five basic parts: the first looks back on selected topics from pre-calculus and calculus, treating them more...

An Introduction to Mathematical Proofs

1st Edition

Nicholas A. Loehr
October 11, 2019

An Introduction to Mathematical Proofs presents fundamental material on logic, proof methods, set theory, number theory, relations, functions, cardinality, and the real number system. The text uses a methodical, detailed, and highly structured approach to proof techniques and related topics. No...

Paraconsistency: The Logical Way to the Inconsistent

1st Edition

Walter Alexandr Carnielli
October 02, 2019

This book presents a study on the foundations of a large class of paraconsistent logics from the point of view of the logics of formal inconsistency. It also presents several systems of non-standard logics with paraconsistent features....

An Introduction to Random Sets

1st Edition

Hung T. Nguyen
September 19, 2019

The study of random sets is a large and rapidly growing area with connections to many areas of mathematics and applications in widely varying disciplines, from economics and decision theory to biostatistics and image analysis. The drawback to such diversity is that the research reports are...

Introductory Concepts for Abstract Mathematics

1st Edition

Kenneth E. Hummel
September 05, 2019

Beyond calculus, the world of mathematics grows increasingly abstract and places new and challenging demands on those venturing into that realm. As the focus of calculus instruction has become increasingly computational, it leaves many students ill prepared for more advanced work that requires the...

Formal Methods in Computer Science

1st Edition

Jiacun Wang, William Tepfenhart
July 03, 2019

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines,...

Neutrices and External Numbers: A Flexible Number System

1st Edition

Bruno Dinis, Imme van den Berg
June 24, 2019

Neutrices and External Numbers: A Flexible Number System introduces a new model of orders of magnitude and of error analysis, with particular emphasis on behaviour under algebraic operations. The model is formulated in terms of scalar neutrices and external numbers, in the form of an extension of...

The Art of Proving Binomial Identities

1st Edition

Michael Z. Spivey
May 14, 2019

The Art of Proving Binomial Identities accomplishes two goals: (1) It provides a unified treatment of the binomial coefficients, and (2) Brings together much of the undergraduate mathematics curriculum via one theme (the binomial coefficients). The binomial coefficients arise in a variety of areas...

A Transition to Proof: An Introduction to Advanced Mathematics

1st Edition

Neil R. Nicholson
April 02, 2019

A Transition to Proof: An Introduction to Advanced Mathematics describes writing proofs as a creative process. There is a lot that goes into creating a mathematical proof before writing it. Ample discussion of how to figure out the "nuts and bolts'" of the proof takes place: thought processes,...

A First Course in Logic

1st Edition

Mark Verus Lawson
November 29, 2018

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic. Logic is the basis of proofs in mathematics...

A First Course in Fuzzy Logic

4th Edition

Hung T. Nguyen, Carol L. Walker, Elbert A. Walker
November 28, 2018

A First Course in Fuzzy Logic, Fourth Edition is an expanded version of the successful third edition. It provides a comprehensive introduction to the theory and applications of fuzzy logic. This popular text offers a firm mathematical basis for the calculus of fuzzy concepts necessary for...

Analysis and Control of Finite-Value Systems

1st Edition

Haitao Li, Guodong Zhao, Peilian Guo, Zhenbin Liu
May 15, 2018

A comprehensive work in finite-value systems that covers the latest achievements using the semi-tensor product method, on various kinds of finite-value systems. These results occupy the highest position in the analysis and control of this field. It not only covers all aspects of research in...