Mathematics

Set Theory & Logic

Per Page:
Sort:

The Art of Proving Binomial Identities

1st Edition

Michael Z. Spivey
May 14, 2019

The book has two goals: (1) Provide a unified treatment of the binomial coefficients, and (2) Bring together much of the undergraduate mathematics curriculum via one theme (the binomial coefficients). The binomial coefficients arise in a variety of areas of mathematics: combinatorics, of course,...

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...

The Universal Computer: The Road from Leibniz to Turing, Third Edition

3rd Edition

Martin Davis
February 27, 2018

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and...

A Concrete Introduction to Real Analysis

2nd Edition

Robert Carlson
December 06, 2017

The Second Edition offers a major re-organization of the book, with the goal of making it much more competitive as a text for students. The revised edition will be appropriate for a one- or two-semester introductory real analysis course. Like the first edition, the primary audience is the large...

Essentials of Mathematical Thinking

1st Edition

Steven G. Krantz
November 07, 2017

Essentials of Mathematical Thinking addresses the growing need to better comprehend mathematics today. Increasingly, our world is driven by mathematics in all aspects of life. The book is an excellent introduction to the world of mathematics for students not majoring in mathematical studies. The...

Transition to Analysis with Proof

1st Edition

Steven Krantz
November 06, 2017

Transition to Real Analysis with Proof provides undergraduate students with an introduction to analysis including an introduction to proof. The text combines the topics covered in a transition course to lead into a first course on analysis. This combined approach allows instructors to teach a...

The Elements of Advanced Mathematics

4th Edition

Steven G. Krantz
October 24, 2017

The Elements of Advanced Mathematics, Fourth Edition is the latest edition of the author’s bestselling series of texts. Expanding on previous editions, the new Edition continues to provide students with a better understanding of proofs, a core concept for higher level mathematics. To meet the needs...

Strange Functions in Real Analysis

3rd Edition

Alexander Kharazishvili
October 13, 2017

Strange Functions in Real Analysis, Third Edition differs from the previous editions in that it includes five new chapters as well as two appendices. More importantly, the entire text has been revised and contains more detailed explanations of the presented material. In doing so, the book explores...

Beyond First Order Model Theory, Volume I

1st Edition

Jose Iovino
August 15, 2017

Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to current trends in model theory, and contains a collection of articles authored by top researchers in the field. It is intended as a reference for...

Conferences

Year: