0
Your cart

Your cart is empty

Browse All Departments
Price
  • R50 - R100 (1)
  • R100 - R250 (5)
  • R250 - R500 (31)
  • R500+ (316)
  • -
Status
Format
Author / Contributor
Publisher

Books > Science & Mathematics > Mathematics > Mathematical foundations > Set theory

Best Books gegradeerde leesreeks: Vlak 1 Boek 2: Gr 2: Leesboek - Huistaal (Afrikaans, Paperback): Best Books Best Books gegradeerde leesreeks: Vlak 1 Boek 2: Gr 2: Leesboek - Huistaal (Afrikaans, Paperback)
Best Books
R85 R73 Discovery Miles 730 Save R12 (14%) Ships in 4 - 8 working days
How to Prove It - A Structured Approach (Paperback, 3rd Revised edition): Daniel J. Velleman How to Prove It - A Structured Approach (Paperback, 3rd Revised edition)
Daniel J. Velleman
R1,096 Discovery Miles 10 960 Ships in 9 - 15 working days

Proofs play a central role in advanced mathematics and theoretical computer science, yet many students struggle the first time they take a course in which proofs play a significant role. This bestselling text's third edition helps students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. Featuring over 150 new exercises and a new chapter on number theory, this new edition introduces students to the world of advanced mathematics through the mastery of proofs. The book begins with the basic concepts of logic and set theory to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for an analysis of techniques that can be used to build up complex proofs step by step, using detailed 'scratch work' sections to expose the machinery of proofs about numbers, sets, relations, and functions. Assuming no background beyond standard high school mathematics, this book will be useful to anyone interested in logic and proofs: computer scientists, philosophers, linguists, and, of course, mathematicians.

Quantum Computation (Hardcover): Helmut Bez, Tony Croft Quantum Computation (Hardcover)
Helmut Bez, Tony Croft
R2,318 Discovery Miles 23 180 Ships in 9 - 15 working days

A more accessible approach than most competitor texts, which move into advanced, research-level topics too quickly for today's students. Part I is comprehensive in providing all necessary mathematical underpinning, particularly for those who need more opportunity to develop their mathematical competence. More confident students may move directly to Part II and dip back into Part I as a reference. Ideal for use as an introductory text for courses in quantum computing. Fully worked examples illustrate the application of mathematical techniques. Exercises throughout develop concepts and enhance understanding. End-of-chapter exercises offer more practice in developing a secure foundation.

Discrete Quantum Walks on Graphs and Digraphs (Paperback): Chris Godsil, Hanmeng Zhan Discrete Quantum Walks on Graphs and Digraphs (Paperback)
Chris Godsil, Hanmeng Zhan
R1,900 R1,762 Discovery Miles 17 620 Save R138 (7%) Ships in 12 - 17 working days

Discrete quantum walks are quantum analogues of classical random walks. They are an important tool in quantum computing and a number of algorithms can be viewed as discrete quantum walks, in particular Grover's search algorithm. These walks are constructed on an underlying graph, and so there is a relation between properties of walks and properties of the graph. This book studies the mathematical problems that arise from this connection, and the different classes of walks that arise. Written at a level suitable for graduate students in mathematics, the only prerequisites are linear algebra and basic graph theory; no prior knowledge of physics is required. The text serves as an introduction to this important and rapidly developing area for mathematicians and as a detailed reference for computer scientists and physicists working on quantum information theory.

Bornologies and Lipschitz Analysis (Hardcover): Gerald Beer Bornologies and Lipschitz Analysis (Hardcover)
Gerald Beer
R2,541 Discovery Miles 25 410 Ships in 9 - 15 working days

This monograph, for the first time in book form, considers the large structure of metric spaces as captured by bornologies: families of subsets that contain the singletons, that are stable under finite unions, and that are stable under taking subsets of its members. The largest bornology is the power set of the space and the smallest is the bornology of its finite subsets. Between these lie (among others) the metrically bounded subsets, the relatively compact subsets, the totally bounded subsets, and the Bourbaki bounded subsets. Classes of functions are intimately connected to various bornologies; e.g., (1) a function is locally Lipschitz if and only if its restriction to each relatively compact subset is Lipschitz; (2) a subset is Bourbaki bounded if and only if each uniformly continuous function on the space is bounded when restricted to the subset. A great deal of attention is given to the variational notions of strong uniform continuity and strong uniform convergence with respect to the members of a bornology, leading to the bornology of UC-subsets and UC-spaces. Spaces on which its uniformly continuous real-valued functions are stable under pointwise product are characterized in terms of the coincidence of the Bourbaki bounded subsets with a usually larger bornology. Special attention is given to Lipschitz and locally Lipschitz functions. For example, uniformly dense subclasses of locally Lipschitz functions within the real-valued continuous functions, Cauchy continuous functions, and uniformly continuous functions are presented. It is shown very generally that a function between metric spaces has a particular metric property if and only if whenever it is followed in a composition by a real-valued Lipschitz function, the composition has the property. Bornological convergence of nets of closed subsets, having Attouch-Wets convergence as a prototype, is considered in detail. Topologies of uniform convergence for continuous linear operators between normed spaces is explained in terms of the bornological convergence of their graphs. Finally, the idea of a bornological extension of a topological space is presented, and all regular extensions can be so realized.

Introduction to Fuzzy Systems (Hardcover): Guanrong Chen, Trung Tat Pham Introduction to Fuzzy Systems (Hardcover)
Guanrong Chen, Trung Tat Pham
R3,492 Discovery Miles 34 920 Ships in 12 - 17 working days

Introduction to Fuzzy Systems provides students with a self-contained introduction that requires no preliminary knowledge of fuzzy mathematics and fuzzy control systems theory. Simplified and readily accessible, it encourages both classroom and self-directed learners to build a solid foundation in fuzzy systems. After introducing the subject, the authors move directly into presenting real-world applications of fuzzy logic, revealing its practical flavor. This practicality is then followed by basic fuzzy systems theory. The book also offers a tutorial on fuzzy control theory, based mainly on the well-known classical Proportional-Integral-Derivative (PID) controllers theory and design methods. In particular, the text discusses fuzzy PID controllers in detail, including a description of the new notion of generalized verb-based fuzzy-logic control theory. Introduction to Fuzzy Systems is primarily designed to provide training for systems and control majors, both senior undergraduate and first year graduate students, to acquaint them with the fundamental mathematical theory and design methodology required to understand and utilize fuzzy control systems.

Logic Colloquium '03 - Lecture Notes in Logic 24 (Paperback): Viggo Stoltenberg-Hansen, Jouko Vaananen Logic Colloquium '03 - Lecture Notes in Logic 24 (Paperback)
Viggo Stoltenberg-Hansen, Jouko Vaananen
R1,052 R928 Discovery Miles 9 280 Save R124 (12%) Ships in 12 - 17 working days

A compilation of papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '03 includes tutorials and research articles from some of the world's preeminent logicians. One article is a tutorial on finite model theory and query languages that lie between first order and second order logic. The other articles cover current research topics in all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, and Computability Theory, and Philosophy.

The Elements of Advanced Mathematics (Hardcover, 5th edition): Steven G. Krantz The Elements of Advanced Mathematics (Hardcover, 5th edition)
Steven G. Krantz
R2,561 Discovery Miles 25 610 Ships in 9 - 15 working days

*An emphasis on the art of proof. *Enhanced number theory chapter presents some easily accessible but still-unsolved problems. These include the Goldbach conjecture, the twin-prime conjecture, and so forth. *The discussion of equivalence relations is revised to present reflexivity, symmetry, and transitivity before we define equivalence relations. *The discussion of the RSA cryptosystem in Chapter 10 is expanded. *The author introduces groups much earlier, as this is an incisive example of an axiomatic theory. Coverage of group theory, formerly in Chapter 11, has been moved up, this is an incisive example of an axiomatic theory.

Beyond First Order Model Theory, Volume II (Hardcover): Jose Iovino Beyond First Order Model Theory, Volume II (Hardcover)
Jose Iovino
R4,059 Discovery Miles 40 590 Ships in 12 - 17 working days

Model theory is the meta-mathematical study of the concept of mathematical truth. After Afred Tarski coined the term Theory of Models in the early 1950's, it rapidly became one of the central most active branches of mathematical logic. In the last few decades, ideas that originated within model theory have provided powerful tools to solve problems in a variety of areas of classical mathematics, including algebra, combinatorics, geometry, number theory, and Banach space theory and operator theory. The two volumes of Beyond First Order Model Theory present the reader with a fairly comprehensive vista, rich in width and depth, of some of the most active areas of contemporary research in model theory beyond the realm of the classical first-order viewpoint. Each chapter is intended to serve both as an introduction to a current direction in model theory and as a presentation of results that are not available elsewhere. All the articles are written so that they can be studied independently of one another. This second volume contains introductions to real-valued logic and applications, abstract elementary classes and applications, interconnections between model theory and function spaces, nonstucture theory, and model theory of second-order logic. Features A coherent introduction to current trends in model theory. Contains articles by some of the most influential logicians of the last hundred years. No other publication brings these distinguished authors together. Suitable as a reference for advanced undergraduate, postgraduates, and researchers. Material presented in the book (e.g, abstract elementary classes, first-order logics with dependent sorts, and applications of infinitary logics in set theory) is not easily accessible in the current literature. The various chapters in the book can be studied independently.

The Baseball Mysteries - Challenging Puzzles for Logical Detectives (Hardcover): Jerry Butters, Jim Henle The Baseball Mysteries - Challenging Puzzles for Logical Detectives (Hardcover)
Jerry Butters, Jim Henle
R2,352 Discovery Miles 23 520 Ships in 12 - 17 working days

Suitable for anyone who enjoys logic puzzles Could be used as a companion book for a course on mathematical proof. The puzzles feature the same issues of problem-solving and proof-writing. For anyone who enjoys logical puzzles. For anyone interested in legal reasoning. For anyone who loves the game of baseball.

Classification (Hardcover, 2nd edition): A Gordon Classification (Hardcover, 2nd edition)
A Gordon
R4,510 Discovery Miles 45 100 Ships in 12 - 17 working days

As the amount of information recorded and stored electronically grows ever larger, it becomes increasingly useful, if not essential, to develop better and more efficient ways to summarize and extract information from these large, multivariate data sets. The field of classification does just that-investigates sets of "objects" to see if they can be summarized into a small number of classes comprising similar objects.
Researchers have made great strides in the field over the last twenty years, and classification is no longer perceived as being concerned solely with exploratory analyses. The second edition of Classification incorporates many of the new and powerful methodologies developed since its first edition. Like its predecessor, this edition describes both clustering and graphical methods of representing data, and offers advice on how to decide which methods of analysis best apply to a particular data set. It goes even further, however, by providing critical overviews of recent developments not widely known, including efficient clustering algorithms, cluster validation, consensus classifications, and the classification of symbolic data.
The author has taken an approach accessible to researchers in the wide variety of disciplines that can benefit from classification analysis and methods. He illustrates the methodologies by applying them to data sets-smaller sets given in the text, larger ones available through a Web site.
Large multivariate data sets can be difficult to comprehend-the sheer volume and complexity can prove overwhelming. Classification methods provide efficient, accurate ways to make them less unwieldy and extract more information. Classification, Second Edition offers the ideal vehicle for gaining the background and learning the methodologies-and begin putting these techniques to use.

The Language of Symmetry (Hardcover): Denis Noble, Benedict Rattigan, Afiq Hatta The Language of Symmetry (Hardcover)
Denis Noble, Benedict Rattigan, Afiq Hatta
R1,806 Discovery Miles 18 060 Ships in 12 - 17 working days

* Written by an interdisciplinary group of specialists from the arts, humanities and sciences at Oxford University * Suitable for a wide non-academic readership, and will appeal to anyone with an interest in mathematics, science and philosophy.

Exploring the Infinite - An Introduction to Proof and Analysis (Paperback): Jennifer Brooks Exploring the Infinite - An Introduction to Proof and Analysis (Paperback)
Jennifer Brooks
R1,365 Discovery Miles 13 650 Ships in 12 - 17 working days

Exploring the Infinite addresses the trend toward a combined transition course and introduction to analysis course. It guides the reader through the processes of abstraction and log- ical argumentation, to make the transition from student of mathematics to practitioner of mathematics. This requires more than knowledge of the definitions of mathematical structures, elementary logic, and standard proof techniques. The student focused on only these will develop little more than the ability to identify a number of proof templates and to apply them in predictable ways to standard problems. This book aims to do something more; it aims to help readers learn to explore mathematical situations, to make conjectures, and only then to apply methods of proof. Practitioners of mathematics must do all of these things. The chapters of this text are divided into two parts. Part I serves as an introduction to proof and abstract mathematics and aims to prepare the reader for advanced course work in all areas of mathematics. It thus includes all the standard material from a transition to proof" course. Part II constitutes an introduction to the basic concepts of analysis, including limits of sequences of real numbers and of functions, infinite series, the structure of the real line, and continuous functions. Features Two part text for the combined transition and analysis course New approach focuses on exploration and creative thought Emphasizes the limit and sequences Introduces programming skills to explore concepts in analysis Emphasis in on developing mathematical thought Exploration problems expand more traditional exercise sets

Architecture of Mathematics (Paperback): Simon Serovajsky Architecture of Mathematics (Paperback)
Simon Serovajsky
R1,437 Discovery Miles 14 370 Ships in 12 - 17 working days

Architecture of Mathematics describes the logical structure of Mathematics from its foundations to its real-world applications. It describes the many interweaving relationships between different areas of mathematics and its practical applications, and as such provides unique reading for professional mathematicians and nonmathematicians alike. This book can be a very important resource both for the teaching of mathematics and as a means to outline the research links between different subjects within and beyond the subject. Features All notions and properties are introduced logically and sequentially, to help the reader gradually build understanding. Focusses on illustrative examples that explain the meaning of mathematical objects and their properties. Suitable as a supplementary resource for teaching undergraduate mathematics, and as an aid to interdisciplinary research. Forming the reader's understanding of Mathematics as a unified science, the book helps to increase his general mathematical culture.

Transition to Advanced Mathematics (Hardcover): Danilo R. Diedrichs, Stephen Lovett Transition to Advanced Mathematics (Hardcover)
Danilo R. Diedrichs, Stephen Lovett
R2,618 Discovery Miles 26 180 Ships in 12 - 17 working days

This unique and contemporary text not only offers an introduction to proofs with a view towards algebra and analysis, a standard fare for a transition course, but also presents practical skills for upper-level mathematics coursework and exposes undergraduate students to the context and culture of contemporary mathematics. The authors implement the practice recommended by the Committee on the Undergraduate Program in Mathematics (CUPM) curriculum guide, that a modern mathematics program should include cognitive goals and offer a broad perspective of the discipline. Part I offers: An introduction to logic and set theory. Proof methods as a vehicle leading to topics useful for analysis, topology, algebra, and probability. Many illustrated examples, often drawing on what students already know, that minimize conversation about "doing proofs." An appendix that provides an annotated rubric with feedback codes for assessing proof writing. Part II presents the context and culture aspects of the transition experience, including: 21st century mathematics, including the current mathematical culture, vocations, and careers. History and philosophical issues in mathematics. Approaching, reading, and learning from journal articles and other primary sources. Mathematical writing and typesetting in LaTeX. Together, these Parts provide a complete introduction to modern mathematics, both in content and practice. Table of Contents Part I - Introduction to Proofs Logic and Sets Arguments and Proofs Functions Properties of the Integers Counting and Combinatorial Arguments Relations Part II - Culture, History, Reading, and Writing Mathematical Culture, Vocation, and Careers History and Philosophy of Mathematics Reading and Researching Mathematics Writing and Presenting Mathematics Appendix A. Rubric for Assessing Proofs Appendix B. Index of Theorems and Definitions from Calculus and Linear Algebra Bibliography Index Biographies Danilo R. Diedrichs is an Associate Professor of Mathematics at Wheaton College in Illinois. Raised and educated in Switzerland, he holds a PhD in applied mathematical and computational sciences from the University of Iowa, as well as a master's degree in civil engineering from the Ecole Polytechnique Federale in Lausanne, Switzerland. His research interests are in dynamical systems modeling applied to biology, ecology, and epidemiology. Stephen Lovett is a Professor of Mathematics at Wheaton College in Illinois. He holds a PhD in representation theory from Northeastern University. His other books include Abstract Algebra: Structures and Applications (2015), Differential Geometry of Curves and Surfaces, with Tom Banchoff (2016), and Differential Geometry of Manifolds (2019).

Set Theory (Paperback, New Ed): John P. Burgess Set Theory (Paperback, New Ed)
John P. Burgess
R550 Discovery Miles 5 500 Ships in 9 - 15 working days

Set theory is a branch of mathematics with a special subject matter, the infinite, but also a general framework for all modern mathematics, whose notions figure in every branch, pure and applied. This Element will offer a concise introduction, treating the origins of the subject, the basic notion of set, the axioms of set theory and immediate consequences, the set-theoretic reconstruction of mathematics, and the theory of the infinite, touching also on selected topics from higher set theory, controversial axioms and undecided questions, and philosophical issues raised by technical developments.

Concise Introduction to Logic and Set Theory (Hardcover): Iqbal H. Jebril, Hemen Dutta, Ilwoo Cho Concise Introduction to Logic and Set Theory (Hardcover)
Iqbal H. Jebril, Hemen Dutta, Ilwoo Cho
R4,349 Discovery Miles 43 490 Ships in 12 - 17 working days

This book deals with two important branches of mathematics, namely, logic and set theory. Logic and set theory are closely related and play very crucial roles in the foundation of mathematics, and together produce several results in all of mathematics. The topics of logic and set theory are required in many areas of physical sciences, engineering, and technology. The book offers solved examples and exercises, and provides reasonable details to each topic discussed, for easy understanding. The book is designed for readers from various disciplines where mathematical logic and set theory play a crucial role. The book will be of interested to students and instructors in engineering, mathematics, computer science, and technology.

Algebra & Geometry - An Introduction to University Mathematics (Hardcover, 2nd edition): Mark V. Lawson Algebra & Geometry - An Introduction to University Mathematics (Hardcover, 2nd edition)
Mark V. Lawson
R4,366 Discovery Miles 43 660 Ships in 12 - 17 working days

Algebra & Geometry: An Introduction to University Mathematics, Second Edition provides a bridge between high school and undergraduate mathematics courses on algebra and geometry. The author shows students how mathematics is more than a collection of methods by presenting important ideas and their historical origins throughout the text. He incorporates a hands-on approach to proofs and connects algebra and geometry to various applications. The text focuses on linear equations, polynomial equations, and quadratic forms. The first few chapters cover foundational topics, including the importance of proofs and a discussion of the properties commonly encountered when studying algebra. The remaining chapters form the mathematical core of the book. These chapters explain the solutions of different kinds of algebraic equations, the nature of the solutions, and the interplay between geometry and algebra. New to the second edition Several updated chapters, plus an all-new chapter discussing the construction of the real numbers by means of approximations by rational numbers Includes fifteen short 'essays' that are accessible to undergraduate readers, but which direct interested students to more advanced developments of the material Expanded references Contains chapter exercises with solutions provided online at www.routledge.com/9780367563035

Algebra & Geometry - An Introduction to University Mathematics (Paperback, 2nd edition): Mark V. Lawson Algebra & Geometry - An Introduction to University Mathematics (Paperback, 2nd edition)
Mark V. Lawson
R1,675 Discovery Miles 16 750 Ships in 12 - 17 working days

Algebra & Geometry: An Introduction to University Mathematics, Second Edition provides a bridge between high school and undergraduate mathematics courses on algebra and geometry. The author shows students how mathematics is more than a collection of methods by presenting important ideas and their historical origins throughout the text. He incorporates a hands-on approach to proofs and connects algebra and geometry to various applications. The text focuses on linear equations, polynomial equations, and quadratic forms. The first few chapters cover foundational topics, including the importance of proofs and a discussion of the properties commonly encountered when studying algebra. The remaining chapters form the mathematical core of the book. These chapters explain the solutions of different kinds of algebraic equations, the nature of the solutions, and the interplay between geometry and algebra. New to the second edition Several updated chapters, plus an all-new chapter discussing the construction of the real numbers by means of approximations by rational numbers Includes fifteen short 'essays' that are accessible to undergraduate readers, but which direct interested students to more advanced developments of the material Expanded references Contains chapter exercises with solutions provided online at www.routledge.com/9780367563035

Topics in Modern Logic (Paperback): D.C. Makinson Topics in Modern Logic (Paperback)
D.C. Makinson
R957 Discovery Miles 9 570 Ships in 12 - 17 working days

Originally published in 1973. This book is directed to the student of philosophy whose background in mathematics is very limited. The author strikes a balance between material of a philosophical and a formal kind, and does this in a way that will bring out the intricate connections between the two. On the formal side, he gives particular care to provide the basic tools from set theory and arithmetic that are needed to study systems of logic, setting out completeness results for two, three, and four valued logic, explaining concepts such as freedom and bondage in quantificational logic, describing the intuitionistic conception of the logical operators, and setting out Zermelo's axiom system for set theory. On the philosophical side, he gives particular attention to such topics as the problem of entailment, the import of the Loewenheim-Skolem theorem, the expressive powers of quantificational logic, the ideas underlying intuitionistic logic, the nature of set theory, and the relationship between logic and set theory. There are exercises within the text, set out alongside the theoretical ideas that they involve.

Analysis and Control of Finite-Value Systems (Paperback): Haitao Li, Guodong Zhao, Peilian Guo Analysis and Control of Finite-Value Systems (Paperback)
Haitao Li, Guodong Zhao, Peilian Guo
R1,422 Discovery Miles 14 220 Ships in 12 - 17 working days

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 finite-value systems, but also presents the mathematical derivation for each conclusion in depth. The book contains examples to provide a better understanding of the practical applications of finite-value systems. It will serve as a textbook for graduate students of Cybernetics, Mathematical, and Biology, and a reference for readers interested in the theory of finite-value systems.

A Functorial Model Theory - Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos... A Functorial Model Theory - Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos (Paperback)
Cyrus F Nourani
R2,538 Discovery Miles 25 380 Ships in 12 - 17 working days

This book is an introduction to a functorial model theory based on infinitary language categories. The author introduces the properties and foundation of these categories before developing a model theory for functors starting with a countable fragment of an infinitary language. He also presents a new technique for generating generic models with categories by inventing infinite language categories and functorial model theory. In addition, the book covers string models, limit models, and functorial models.

Algebraic Computability and Enumeration Models - Recursion Theory and Descriptive Complexity (Paperback): Cyrus F Nourani Algebraic Computability and Enumeration Models - Recursion Theory and Descriptive Complexity (Paperback)
Cyrus F Nourani
R2,539 Discovery Miles 25 390 Ships in 12 - 17 working days

This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity, presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint. The reader is first introduced to categories and functorial models, with Kleene algebra examples for languages. Functorial models for Peano arithmetic are described toward important computational complexity areas on a Hilbert program, leading to computability with initial models. Infinite language categories are also introduced to explain descriptive complexity with recursive computability with admissible sets and urelements. Algebraic and categorical realizability is staged on several levels, addressing new computability questions with omitting types realizably. Further applications to computing with ultrafilters on sets and Turing degree computability are examined. Functorial models computability is presented with algebraic trees realizing intuitionistic types of models. New homotopy techniques are applied to Marin Lof types of computations with model categories. Functorial computability, induction, and recursion are examined in view of the above, presenting new computability techniques with monad transformations and projective sets. This informative volume will give readers a complete new feel for models, computability, recursion sets, complexity, and realizability. This book pulls together functorial thoughts, models, computability, sets, recursion, arithmetic hierarchy, filters, with real tree computing areas, presented in a very intuitive manner for university teaching, with exercises for every chapter. The book will also prove valuable for faculty in computer science and mathematics.

Proofs 101 - An Introduction to Formal Mathematics (Hardcover): Joseph Kirtland Proofs 101 - An Introduction to Formal Mathematics (Hardcover)
Joseph Kirtland
R3,913 Discovery Miles 39 130 Ships in 12 - 17 working days

Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and a first course in linear algebra. The book prepares students for the proofs they will need to analyze and write the axiomatic nature of mathematics and the rigors of upper-level mathematics courses. Basic number theory, relations, functions, cardinality, and set theory will provide the material for the proofs and lay the foundation for a deeper understanding of mathematics, which students will need to carry with them throughout their future studies. Features Designed to be teachable across a single semester Suitable as an undergraduate textbook for Introduction to Proofs or Transition to Advanced Mathematics courses Offers a balanced variety of easy, moderate, and difficult exercises

Proofs 101 - An Introduction to Formal Mathematics (Paperback): Joseph Kirtland Proofs 101 - An Introduction to Formal Mathematics (Paperback)
Joseph Kirtland
R1,522 Discovery Miles 15 220 Ships in 12 - 17 working days

Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and a first course in linear algebra. The book prepares students for the proofs they will need to analyze and write the axiomatic nature of mathematics and the rigors of upper-level mathematics courses. Basic number theory, relations, functions, cardinality, and set theory will provide the material for the proofs and lay the foundation for a deeper understanding of mathematics, which students will need to carry with them throughout their future studies. Features Designed to be teachable across a single semester Suitable as an undergraduate textbook for Introduction to Proofs or Transition to Advanced Mathematics courses Offers a balanced variety of easy, moderate, and difficult exercises

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The Art of Proving Binomial Identities
Michael Z. Spivey Paperback R1,405 Discovery Miles 14 050
A Concrete Introduction to Real Analysis
Robert Carlson Paperback R1,395 Discovery Miles 13 950
Architecture of Mathematics
Simon Serovajsky Hardcover R3,489 Discovery Miles 34 890
Application of Fuzzy Logic to Social…
John N. Mordeson, Davender S. Malik, … Paperback R1,870 Discovery Miles 18 700
The Incompleteness Phenomenon
Martin Goldstern, Haim Judah Paperback R1,858 Discovery Miles 18 580
Logic of Arithmetic
Walter Felscher Paperback R1,865 Discovery Miles 18 650
Polynomial Completeness in Algebraic…
Kalle Kaarli, Alden F Pixley Paperback R1,874 Discovery Miles 18 740
Invariant Descriptive Set Theory
Su Gao Paperback R1,936 Discovery Miles 19 360
Transition to Analysis with Proof
Steven Krantz Paperback R2,360 Discovery Miles 23 600
Handbook of Mathematical Induction…
David S. Gunderson Paperback R1,623 Discovery Miles 16 230

 

Partners