Rather than teach mathematics and the structure of proofs simultaneously, this book first introduces logic as the foundation of proofs and then demonstrates how logic applies to mathematical topics. This method ensures that the reader gains a firm understanding of how logic interacts with mathematics and empowers them to solve more complex problems. Topics include: Propositional Logic; Predicates and Proofs; Set Theory; Mathematical Induction; Number Theory; Relations and Functions; Ring Theory; Topology.
"synopsis" may belong to another edition of this title.
There are many approaches that one can take with regard to a course dedicated to teaching proof writing. Some prefer to teach the mathematics and the structure of the proofs simultaneously. Others choose to teach the methods of proof and then apply those methods to various topics. This is the strategy of this text. Here we boldly jump into a discussion of logic and examine some details with the belief that if the details are not understood well, then the application of those details will suffer later. Moreover, it is the understanding of how logic interacts with mathematics that empowers the student to have the courage and confidence to tackle greater problems in courses such as Abstract Algebra or Topology. How we accomplish this is outlined below.
This text is designed for a one semester course on the fundamentals of proof writing for students with a modest calculus background. The text is divided into three parts: Logical Foundations, Main Topics, and Coming Attractions.
Part I: Logical Foundations. Since it is a requirement for any proof, the text begins with an introduction to mathematical logic. This part begins by studying sentences with and without variables and concludes by writing basic paragraph-style proofs.
1. Propositional Logic. In this chapter we translate propositions using logical symbols and translate the symbols into English. Connectives and truth tables are covered, and formal two-column proofs are introduced. These proofs require students to carefully follow the rules of logic and serve as a model for paragraph proofs.
2. Predicates and Proofs. Here we cover basic sets, quantification, and negations of quantifiers. Two-column proofs are written using propositional forms with quantifiers. Strategies that are covered include Direct and Indirect Proof, Biconditional Proof, and Proof by Cases. A transition to writing paragraph-style proofs is included throughout.
Part II: Main Topics. The logic covered in the first part can be viewed as an advanced organizer for writing proofs. This is best seen in the first application of Part II: set theory. This is a natural first choice, for set theory is just one step from logic. Sets are found throughout the part as we study induction, well-ordered sets, congruence classes, relations, equivalence classes, and functions.
3. Set Theory. The basic set operations as well as inclusion and equality are covered. Two sections are devoted to families of sets and operations with them.
4. Mathematical Induction. Various forms of mathematical induction are studied. Applications include combinatorics, recursion, and the Well-Ordering Principle. Under recursion we look at the Fibonacci sequence and (just for fun!) the golden ratio makes an appearance. (This is the inspiration for the cover graphic.)
5. Number Theory. We take a look at the axioms of number theory and discuss topics such as divisibility, greatest common divisors, primes, and congruences.
6. Relations and Functions. As a prelude to our look at functions, relations are examined. The main example is the equivalence relation. Our look at functions includes the notions of well-defined, domain, range, one-to-one, onto, image, pre-image, and cardinality.
Part III: Coming Attractions. The topics seen in this last part will become familiar to the student of mathematics. Even so, logic and sets are not forgotten. We see these subjects at work when we study rings and then move from the discrete to the continuous and study topology.
7. Ring Theory. The study of ring theory is viewed as a generalization of the study of the integers. We encounter integral domains, fields, subrings, ideals, factors, homomorphisms, and polynomials.
8. Topology. The text closes with a look at the various spaces and subsets that are important to topology. Topics include metric spaces, normed spaces, open and closed sets, isometries, and limits.
As this overview suggests, the text contains more topics than can be covered during a semester. This provides greater flexibility for the instructor, and it gives the student a one-stop reference on the basics of undergraduate mathematics and the proof structures needed for success. This will benefit mathematics students as they take their upper level courses in algebra and analysis. It will also benefit mathematics education students who must teach many of the fundamental concepts.
Notes concerning the dependencies:
The outline of the text was designed with two course strategies in mind:
Of course, exercises play a crucial role in the text. Each section concludes with a set of problems to solve. These Exercises range from basic tests of understanding to the practice of writing proofs using the topics just discussed. Certain exercises have solutions given in the back. Each chapter in Parts II and III also concludes with an exercise set. These Chapter Exercises are intended to be questions that reflect a higher level of difficulty than the section exercises, combine topics from the entire chapter or possibly earlier in the text, or introduce new ideas inspired by the topics in the chapter.
Solutions are provided to selected exercises indicated by boldface. If only a part of an exercise has a solution, then the letter of the part is in boldface, else the exercise number is in boldface. The solutions take the form of complete answers, partial solutions, or hints.
DEFINITIONS, THEOREMS, AND PROOFS
The layout of the text is designed to emphasize proof writing. Main definitions and theorems are set apart with lines from the rest of the text. This includes the proofs of theorems which are given in detail. The proofs are within the theorem area and indented. The idea is to allow the student to quickly focus on the result and its demonstration. Furthermore, the theorems and main definitions are numbered sequentially by section so that they can be found easily.
Examples are used extensively throughout the text. These include computations or short results that illustrate a theorem or, in some cases, are theorems themselves. Key examples are denoted by the word Example and are indented from the rest of the text.
Diagrams are used when appropriate. These not only display traditional topics such as function and relations, but they also serve to illustrate the more "abstract" notions of logic. The diagrams are often completely boxed as figures.
When a mathematician is noted in the text, usually with regard to a famous theorem, a footnote is included giving a brief description of the mathematician including dates and cities of birth and death.
There are three appendices that serve as references for the student. The first one, Logic Summary, provides a listing of the logic results cited in Part I. The next appendix, Summation Notation, provides a quick reference for the sigma summation notation. These ideas are used with the generalized set operations, mathematical induction, and polynomials. The last appendix, the Greek Alphabet, lists all upper and lowercase Greek letters and their names.
An instructor's solution manual is available. To receive a copy, contact the mathematics editor at Prentice Hall.
This document was typeset by the author using LATEX. The PSTricks macro package was used for the diagrams. Other packages include: amsfonts, amsmath, amssymb, eucal, fancyheadings, graphics, ifthen, longtable, mathpi, mathtime, multicol, multind, times, and ulem. The document was prepared using MiKTeX 1.20 and compiled to PostScript using DVIPS 5.86.
"About this title" may belong to another edition of this title.
Book Description Prentice Hall, 2002. Hardcover. Book Condition: New. 1st. Bookseller Inventory # DADAX0130190772
Book Description Prentice Hall, 2002. Hardcover. Book Condition: New. book. Bookseller Inventory # 0130190772
Book Description Prentice Hall, 2002. Hardcover. Book Condition: New. Brand new! Ships same day or next business day. Free USPS Tracking Number. Excellent Customer Service. Ships from TN. Bookseller Inventory # 274980
Book Description Prentice Hall, 2002. Book Condition: New. Brand New, Unread Copy in Perfect Condition. A+ Customer Service!. Bookseller Inventory # ABE_book_new_0130190772
Book Description Prentice Hall. Hardcover. Book Condition: New. 0130190772 RECEIVE IN 2-5 DAYS!! BRAND NEW! Never used! US Edition. SAME DAY SHIPPING!!! SATISFACTION GUARANTEED!!! #timur11 @. Bookseller Inventory # SKU1030318
Book Description Book Condition: Brand New. Book Condition: Brand New. Bookseller Inventory # 97801301907721.0
Book Description Prentice Hall, 2002. Hardcover. Book Condition: New. Bookseller Inventory # P110130190772