Welcome to MAT 137! Course website:
|
|
- Violet Ramsey
- 6 years ago
- Views:
Transcription
1 Welcome to MAT 137! Course website: Read the course outline Office hours to be posted here Online forum: Piazza Precalculus review: If you haven t gotten an from Alfonso, there is a problem with your U of T address. Lecture videos on YouTube. Before Wednesday s lecture, watch: 2 videos on Sets and Notation First video on Quantifiers
2 How do I get an A in this class? Let s look at what happened in # of submitted problem sets A A+B F 10 35% 58% 4% 9 19% 41% 9% 8 5% 22% 22% 5 to 7 1% 9% 45% less than 5 2% 2% 79% The moral: train like you re at the gym. ( kpmann/getana.pdf)
3 A warmup problem Pick 4 points at random on a circle. Draw lines between every pair of points. How many regions have we divided the circle into? # of points # of regions
4 A warmup problem Pick 4 points at random on a circle. Draw lines between every pair of points. How many regions have we divided the circle into? # of points # of regions ?? N??
5 Fire Which of the following statements are equivalent to the statement, No two students in this class are not on fire.? Which are equivalent to its negation? 1 All student in this class, except at most one, are on fire. 2 Two students in this class are on fire. 3 For any pair of students in this class, one of them is on fire. 4 At least two students in this class are not on fire. 5 If I choose two students in this class and one of them is not on fire, then the other one is on fire.
6 MAT 137, day 2 Course website: probably more reliable than individual instructors! Today: Sets and notation Basics of quantifiers Lecture videos on YouTube: Before Friday s class, watch the remaining 3 videos on quantifiers.
7 Warmup What are the following sets? 1 [2, 4] (3, 5) 2 [2, 4] (3, 5) 3 [π, e] 4 [0, 0] 5 (0, 0)
8 Describing a set An irrational number is one which is real, but not rational. B is the set of positive rational and negative irrational numbers. Write a definition for B using only mathematical notation.
9 True or false? Is the following statement true or false? Prove it. Claim Let A, B, and C be subsets of R. Then (A B) C = A (B C).
10 Some sets What are the following sets? 1 A = {x R : y [0, 1], x < y} 2 B = {x R : y [0, 1] s.t. x < y} 3 C = {x [0, 1] : y [0, 1], x < y} 4 D = {x [0, 1] : y [0, 1] s.t. x < y} 5 E = {x [0, 1] : y R s.t. x < y} 6 E = {x [0, 1] : y R, x < y}
11 MAT 137, day 3 Course website: Today: Quantifiers Negation Lecture videos on YouTube: Before Monday s class, watch the 2 videos on conditionals. Practice problems: see Logic section of the precalculus website
12 Negation Write the negation of these statements without using any negative words ( no, not, none, etc.): 1 My favourite integer is greater than 7. 2 Every student at the U of T likes English more than any other language. 3 There is a country in the European Union with fewer than 1000 inhabitants. Write the negation of these statements as simply as possible: 1 Every student at the U of T has a cellphone. 2 I like pistachios and walnuts.
13 More negation Write the negation of this statement without using any negative words ( no, not, none, etc.): Every page in this book contains at least one word whose first and last letters both come alphabetically before M.
14 True or false? There is a pink elephant in this room. All elephants in this room are pink.
15 Domination, part 1 Given two sets A and B of real numbers, we say that B dominates A when the following statement is true: For every a A, there exists b B such that a < b. Here are some questions: 1 Find a set that dominates itself. 2 Find a set that doesn t dominate itself. 3 Does the empty set dominate itself?
16 MAT 137, day 4 Course website: Today: conditional statements Lecture videos on YouTube: Before Wednesday s class, watch the first 3 videos on definitions and proofs. Office hours and Math Aid Centre hours begin this week! Tutorials begin next week you have to sign up for one.
17 Domination Given two sets A and B of real numbers, we say that B dominates A when the following statement is true: For every a A, there exists b B such that a < b. Find two non-empty sets A and B such that the following three properties hold: 1 A B is empty; 2 A dominates B; 3 B dominates A.
18 Cards Four cards lie on the table in front of you. You know that each card has a letter on one side and a number on the other. At the moment, you can read the symbols E, P, 3, and 8 on the sides that are up. I tell you: If a card has a vowel on one side, then it has an odd number on the other side. Which cards do you need to turn over in order to verify whether I am telling the truth or not?
19 MAT 137, day 5 Course website: Today: conditional statements, definitions, proofs Lecture videos on YouTube: By Friday, watch remaining 3 videos on definitions and proofs Check out new video on negating conditionals!
20 Intervals We define three sets: A = {x Q : x 2 < 2} B = [ 2, 2) C = ( 1, 0) Which of the following statements are true? 1 If x A, then x B 4 If x C, then x B 2 If x B, then x A 5 If x C Q, then x A 3 If x B, then x C 6 If x A, then x C Q
21 Periodic functions Let f be a function with domain R. We want to define what it means for f to be periodic. It is one (or more) of the following: 1 For every x R and for every T > 0, f(x + T ) = f(x). 2 For every x R there exists T > 0 such that f(x + T ) = f(x). 3 There exists T > 0 such that x R = f(x + T ) = f(x). 4 There exists T > 0 such that f(x + T ) = f(x) = x R. 5 There exists T > 0 such that for every x R, f(x + T ) = f(x). 6 For every T > 0 there exists x R such that f(x + T ) = f(x). Which ones are correct? What do the wrong ones mean?
22 MAT 137, day 6 Course website: Today: definitions and proofs, continued For Monday, read 1.3, Review of Inequalities, in the book Tutorials start next week
23 Periodic functions Let f be a function with domain R. We want to define what it means for f to be periodic. It is one (or more) of the following: 1 For every x R and for every T > 0, f(x + T ) = f(x). 2 For every x R there exists T > 0 such that f(x + T ) = f(x). 3 There exists T > 0 such that x R = f(x + T ) = f(x). 4 There exists T > 0 such that f(x + T ) = f(x) = x R. 5 There exists T > 0 such that for every x R, f(x + T ) = f(x). 6 For every T > 0 there exists x R such that f(x + T ) = f(x). Which ones are correct? What do the wrong ones mean?
24 Bad proof #1 The following proof is wrong. Why? Claim For every n, n + 1 = n. Proof. We proceed by induction on n. Suppose the claim is true for n = k. We will prove that it s also true for n = k + 1. By induction, we know that k + 1 = k. Adding one to both sides, we get that (k + 1) + 1 = k + 1.
25 Bad proof #2 The following proof is wrong. Why? Claim On a certain island, there are n 2 cities, some of which are connected by roads. If each city is connected by a road to at least one other city, then you can travel from any city to any other city along the roads. Proof. We proceed by induction on n. The claim is clearly true for n = 1. Now suppose the claim is true for an island with n = k cities. To prove that it s also true for n = k + 1, we add another city to this island. This new city is connected by a road to at least one of the old cities, from which you can get to any other old city by the inductive hypothesis. Thus you can travel from the new city to any other city, as well as between any two of the old cities. This proves that the claim holds for n = k + 1, so by induction it holds for all n.
MAT137 Calculus! Welcome!
MAT137 Calculus! Welcome! Beatriz Navarro-Lameda L0101 WF 1-4 MP202 office hours: Wednesday, May 17: 4-5 official website https://www.math.toronto.edu/mat137/ read course outline! remember to enrol in
More informationMAT137 Lecture 1. Huan Vo. September 7, University of Toronto. Huan Vo (UofT) MAT137 Lecture 1 September 7, / 18
MAT137 Lecture 1 Huan Vo University of Toronto September 7, 2017 Huan Vo (UofT) MAT137 Lecture 1 September 7, 2017 1 / 18 Introduction MAT137 Calculus! Lec 0401, Monday 15:00-16:00, Thursday 17:00-19:00
More informationWelcome to MAT137! (Section L5201, Thursdays 6-9pm in MS3153) . (always put MAT137 in the subject line)
Welcome to MAT137! (Section L5201, Thursdays 6-9pm in MS3153) Instructor Email Office hours Ivan Khatchatourian ivan@math.toronto.edu (always put MAT137 in the subject line) Thursdays 2-4, location TBA
More informationCSE 20. Final Review. CSE 20: Final Review
CSE 20 Final Review Final Review Representation of integers in base b Logic Proof systems: Direct Proof Proof by contradiction Contraposetive Sets Theory Functions Induction Final Review Representation
More informationMATH 114 Fall 2004 Solutions to practice problems for Final Exam
MATH 11 Fall 00 Solutions to practice problems for Final Exam Reminder: the final exam is on Monday, December 13 from 11am - 1am. Office hours: Thursday, December 9 from 1-5pm; Friday, December 10 from
More informationFundamentals of Mathematics (MATH 1510)
Fundamentals of Mathematics (MATH 1510) Instructor: Lili Shen Email: shenlili@yorku.ca Department of Mathematics and Statistics York University September 11, 2015 About the course Name: Fundamentals of
More informationWelcome to Math 102 Section 102
Welcome to Math 102 Section 102 Mingfeng Qiu Sep. 5, 2018 Math 102: Announcements Instructor: Mingfeng Qiu Email: mqiu@math.ubc.ca Course webpage: https://canvas.ubc.ca Check the calendar!!! Sectional
More informationRYERSON UNIVERSITY DEPARTMENT OF MATHEMATICS
RYERSON UNIVERSITY DEPARTMENT OF MATHEMATICS MTH 110 Final Exam December 6, 2008 Total marks: 100 Time allowed: 3 Hours. NAME (Print): STUDENT #: SIGNATURE: Circle your Lab Section: Section 1 Section 2
More informationMATH 2200 Final LC Review
MATH 2200 Final LC Review Thomas Goller April 25, 2013 1 Final LC Format The final learning celebration will consist of 12-15 claims to be proven or disproven. It will take place on Wednesday, May 1, from
More informationThe following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof
Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)
More informationMath 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011
Math 31 Lesson Plan Day 2: Sets; Binary Operations Elizabeth Gillaspy September 23, 2011 Supplies needed: 30 worksheets. Scratch paper? Sign in sheet Goals for myself: Tell them what you re going to tell
More informationProof by Contradiction
Proof by Contradiction MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Proof by Contradiction Fall 2014 1 / 12 Outline 1 Proving Statements with Contradiction 2 Proving
More informationAnnouncements. Exam 1 Review
Announcements Quiz today Exam Monday! You are allowed one 8.5 x 11 in cheat sheet of handwritten notes for the exam (front and back of 8.5 x 11 in paper) Handwritten means you must write them by hand,
More informationLogic. Def. A Proposition is a statement that is either true or false.
Logic Logic 1 Def. A Proposition is a statement that is either true or false. Examples: Which of the following are propositions? Statement Proposition (yes or no) If yes, then determine if it is true or
More informationSection A (not in the text) Which of the following are statements? Explain. 3. The President of the United States in 2089 will be a woman.
Math 299 Homework Assignment, Chapter 2 Section 2.1 2.A (not in the text) Which of the following are statements? Explain. 1. Let x be a positive integer. Then x is rational. 2. Mathematics is fun. 3. The
More informationYour quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due by 11:59 p.m., Tuesday.
Friday, February 15 Today we will begin Course Notes 3.2: Methods of Proof. Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due
More informationRecall that the expression x > 3 is not a proposition. Why?
Predicates and Quantifiers Predicates and Quantifiers 1 Recall that the expression x > 3 is not a proposition. Why? Notation: We will use the propositional function notation to denote the expression "
More informationWrite the negation of each of the following propositions without using any form of the word not :
Write the negation of each of the following propositions without using any form of the word not : Today is Thursday Today is Monday or Tuesday or Wednesday or Friday or Saturday or Sunday 2 + 1 = 3 2+1
More informationAnnouncements. Problem Set 1 out. Checkpoint due Monday, September 30. Remaining problems due Friday, October 4.
Indirect Proofs Announcements Problem Set 1 out. Checkpoint due Monday, September 30. Grade determined by attempt rather than accuracy. It's okay to make mistakes we want you to give it your best effort,
More informationMath 230 Final Exam, Spring 2008
c IIT Dept. Applied Mathematics, May 15, 2008 1 PRINT Last name: Signature: First name: Student ID: Math 230 Final Exam, Spring 2008 Conditions. 2 hours. No book, notes, calculator, cell phones, etc. Part
More informationMath 230 Final Exam, Spring 2009
IIT Dept. Applied Mathematics, May 13, 2009 1 PRINT Last name: Signature: First name: Student ID: Math 230 Final Exam, Spring 2009 Conditions. 2 hours. No book, notes, calculator, cell phones, etc. Part
More informationCSE 20. Lecture 4: Introduction to Boolean algebra. CSE 20: Lecture4
CSE 20 Lecture 4: Introduction to Boolean algebra Reminder First quiz will be on Friday (17th January) in class. It is a paper quiz. Syllabus is all that has been done till Wednesday. If you want you may
More informationAnnouncements Monday, September 18
Announcements Monday, September 18 WeBWorK 1.4, 1.5 are due on Wednesday at 11:59pm. The first midterm is on this Friday, September 22. Midterms happen during recitation. The exam covers through 1.5. About
More informationMath.3336: Discrete Mathematics. Applications of Propositional Logic
Math.3336: Discrete Mathematics Applications of Propositional Logic Instructor: Dr. Blerina Xhabli Department of Mathematics, University of Houston https://www.math.uh.edu/ blerina Email: blerina@math.uh.edu
More informationUCSD CSE 21, Spring 2014 [Section B00] Mathematics for Algorithm and System Analysis
UCSD CSE 21, Spring 2014 [Section B00] Mathematics for Algorithm and System Analysis Lecture 6 Class URL: http://vlsicad.ucsd.edu/courses/cse21-s14/ Lecture 6 Notes Goals: CL Sections 3, 4; FN Section
More informationCS Module 1. Ben Harsha Apr 12, 2017
CS 50010 Module 1 Ben Harsha Apr 12, 2017 Course details Course is split into 2 modules Module 1 (this one): Covers basic data structures and algorithms, along with math review. Module 2: Probability,
More information1.1 Language and Logic
c Oksana Shatalov, Fall 2017 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,
More informationCircles & Interval & Set Notation.notebook. November 16, 2009 CIRCLES. OBJECTIVE Graph a Circle given the equation in standard form.
OBJECTIVE Graph a Circle given the equation in standard form. Write the equation of a circle in standard form given a graph or two points (one being the center). Students will be able to write the domain
More informationCSE 240 Logic and Discrete Mathematics
CSE 240 Logic and Discrete Mathematics Instructor: odd Sproull Department of Computer Science and Engineering Washington University in St. Louis 1Extensible - CSE 240 Logic Networking and Discrete Platform
More informationLecture : Set Theory and Logic
Lecture : Dr. Department of Mathematics Lovely Professional University Punjab, India October 18, 2014 Outline Contrapositive and Converse 1 Contrapositive and Converse 2 3 4 5 Contrapositive and Converse
More information1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points
Introduction to Discrete Mathematics 3450:208 Test 1 1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : The inverse of E : The
More informationWith Question/Answer Animations. Chapter 2
With Question/Answer Animations Chapter 2 Chapter Summary Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Sequences and Summations Types of
More informationMAT01A1. Numbers, Inequalities and Absolute Values. (Appendix A)
MAT01A1 Numbers, Inequalities and Absolute Values (Appendix A) Dr Craig 7 February 2018 Leftovers from yesterday: lim n i=1 3 = lim n n 3 = lim n n n 3 i ) 2 ] + 1 n[( n ( n i 2 n n + 2 i=1 i=1 3 = lim
More informationMath 1312 Lesson 1: Sets, Statements, and Reasoning. A set is any collection of objects. These objects are called the elements of the set.
Math 1312 Lesson 1: Sets, Statements, and Reasoning A set is any collection of objects. hese objects are called the elements of the set. A is a subset of B, if A is "contained" inside B, that is, all elements
More informationSETS. Chapter Overview
Chapter 1 SETS 1.1 Overview This chapter deals with the concept of a set, operations on sets.concept of sets will be useful in studying the relations and functions. 1.1.1 Set and their representations
More informationSTRATEGIES OF PROBLEM SOLVING
STRATEGIES OF PROBLEM SOLVING Second Edition Maria Nogin Department of Mathematics College of Science and Mathematics California State University, Fresno 2014 2 Chapter 1 Introduction Solving mathematical
More informationPractice Final Math 116. Prime numbers and irrationals. 1) Which number is a prime number? a) 220 b) 111 c) 71 d) 135.
Practice Final Math 116 Prime numbers and irrationals 1) Which number is a prime number? a) 0 b) 111 c) 71 d) 1 Solution c) 71 ) Write the prime factorization of 10 in conical form. a) b) c) 4 d) Solution:
More informationMATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017
MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 Definition: A set A is finite if there exists a nonnegative integer c such that there exists a bijection from A
More informationHomework assignment 1: Solutions
Math 240: Discrete Structures I Due 4:30pm Friday 29 September 2017. McGill University, Fall 2017 Hand in to the mailbox at Burnside 1005. Homework assignment 1: Solutions Discussing the assignment with
More informationMathematical Reasoning (Part I) 1
c Oksana Shatalov, Spring 2017 1 Mathematical Reasoning (art I) 1 Statements DEFINITION 1. A statement is any declarative sentence 2 that is either true or false, but not both. A statement cannot be neither
More informationWelcome to CS103! Three Handouts Today: Course Overview Introduction to Set Theory The Limits of Computation
Welcome to CS103! Three Handouts Today: Course Overview Introduction to Set Theory The Limits of Computation Course Staff Keith Schwarz (htiek@cs.stanford.edu) Rakesh Achanta (rakesha@stanford.edu) Kyle
More informationCS70: Discrete Math and Probability. Slides adopted from Satish Rao, CS70 Spring 2016 June 20, 2016
CS70: Discrete Math and Probability Slides adopted from Satish Rao, CS70 Spring 2016 June 20, 2016 Introduction Programming Computers Superpower! What are your super powerful programs doing? Logic and
More informationAt least one of us is a knave. What are A and B?
1. This is a puzzle about an island in which everyone is either a knight or a knave. Knights always tell the truth and knaves always lie. This problem is about two people A and B, each of whom is either
More informationLogic, Sets, and Proofs
Logic, Sets, and Proofs David A. Cox and Catherine C. McGeoch Amherst College 1 Logic Logical Operators. A logical statement is a mathematical statement that can be assigned a value either true or false.
More informationMath 10850, fall 2017, University of Notre Dame
Math 10850, fall 2017, University of Notre Dame Notes on first exam September 22, 2017 The key facts The first midterm will be on Thursday, September 28, 6.15pm-7.45pm in Hayes-Healy 127. What you need
More informationChapter 1: The Logic of Compound Statements. January 7, 2008
Chapter 1: The Logic of Compound Statements January 7, 2008 Outline 1 1.1 Logical Form and Logical Equivalence 2 1.2 Conditional Statements 3 1.3 Valid and Invalid Arguments Central notion of deductive
More informationWUCT121. Discrete Mathematics. Logic. Tutorial Exercises
WUCT11 Discrete Mathematics Logic Tutorial Exercises 1 Logic Predicate Logic 3 Proofs 4 Set Theory 5 Relations and Functions WUCT11 Logic Tutorial Exercises 1 Section 1: Logic Question1 For each of the
More informationCHAPTER 3: Quadratic Functions and Equations; Inequalities
171S MAT 171 Precalculus Algebra Dr. Claude Moore Cape Fear Community College CHAPTER 3: Quadratic Functions and Equations; Inequalities 3.1 The Complex Numbers 3.2 Quadratic Equations, Functions, Zeros,
More informationMath 13, Spring 2013, Lecture B: Midterm
Math 13, Spring 2013, Lecture B: Midterm Name Signature UCI ID # E-mail address Each numbered problem is worth 12 points, for a total of 84 points. Present your work, especially proofs, as clearly as possible.
More informationCS 154 Introduction to Automata and Complexity Theory
CS 154 Introduction to Automata and Complexity Theory cs154.stanford.edu 1 INSTRUCTORS & TAs Ryan Williams Cody Murray Lera Nikolaenko Sunny Rajan 2 Textbook 3 Homework / Problem Sets Homework will be
More informationFORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY
5-453 FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY 5-453 FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY YOU NEED TO PICK UP THE SYLLABUS, THE COURSE SCHEDULE, THE PROJECT INFO SHEET, TODAY S CLASS NOTES
More informationMathematics 220 Midterm Practice problems from old exams Page 1 of 8
Mathematics 220 Midterm Practice problems from old exams Page 1 of 8 1. (a) Write the converse, contrapositive and negation of the following statement: For every integer n, if n is divisible by 3 then
More informationMAT01A1. Numbers, Inequalities and Absolute Values. (Appendix A)
MAT01A1 Numbers, Inequalities and Absolute Values (Appendix A) Dr Craig 8 February 2017 Leftovers from yesterday: lim n i=1 3 = lim n n 3 = lim n n n 3 i ) 2 ] + 1 n[( n ( n i 2 n n + 2 i=1 i=1 3 = lim
More informationMATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics
MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics Class Meetings: MW 9:30-10:45 am in EMS E424A, September 3 to December 10 [Thanksgiving break November 26 30; final
More informationMATH 135 Fall 2006 Proofs, Part IV
MATH 135 Fall 006 s, Part IV We ve spent a couple of days looking at one particular technique of proof: induction. Let s look at a few more. Direct Here we start with what we re given and proceed in a
More informationChapter 0 Preliminaries
Chapter 0 Preliminaries MA1101 Mathematics 1A Semester I Year 2017/2018 FTMD & FTI International Class Odd NIM (K-46) Lecturer: Dr. Rinovia Simanjuntak 0.1 Real Numbers and Logic Real Numbers Repeating
More information(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition.
Math 231 Exam Practice Problem Solutions WARNING: This is not a sample test. Problems on the exams may or may not be similar to these problems. These problems are just intended to focus your study of the
More informationMATH 271 Summer 2016 Practice problem solutions Week 1
Part I MATH 271 Summer 2016 Practice problem solutions Week 1 For each of the following statements, determine whether the statement is true or false. Prove the true statements. For the false statement,
More informationChapter 2. Logical Notation. Bahar Aameri. Department of Computer Science University of Toronto. Jan 09, Mathematical Expression and Reasoning 1
Chapter 2 Logical Notation Bahar Aameri Department of Computer Science University of Toronto Jan 09, 2015 Mathematical Expression and Reasoning 1 General Info Instructors: Bahar Aameri Email: bahar at
More informationCMSC 250 Spring 2016: Final Exam Review Questions Key
CMSC 250 Spring 2016: Final Exam Review Questions Key 1 Description and disclaimer Use these questions to help review for the upcoming final exam. Note, these questions are not necessarily representative
More informationLECTURE 1. Logic and Proofs
LECTURE 1 Logic and Proofs The primary purpose of this course is to introduce you, most of whom are mathematics majors, to the most fundamental skills of a mathematician; the ability to read, write, and
More information2. Find all combinations of truth values for p, q and r for which the statement p (q (p r)) is true.
1 Logic Questions 1. Suppose that the statement p q is false. Find all combinations of truth values of r and s for which ( q r) ( p s) is true. 2. Find all combinations of truth values for p, q and r for
More informationStatements and Quantifiers
Statements and Quantifiers MATH 100 Survey of Mathematical Ideas J. Robert Buchanan Department of Mathematics Summer 2018 Symbolic Logic Today we begin a study of logic. We will use letters to represent
More informationRED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam
RED Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam Note that the first 10 questions are true-false. Mark A for true, B for false. Questions 11 through 20 are multiple choice
More informationSome Review Problems for Exam 1: Solutions
Math 3355 Fall 2018 Some Review Problems for Exam 1: Solutions Here is my quick review of proof techniques. I will focus exclusively on propositions of the form p q, or more properly, x P (x) Q(x) or x
More informationChapter 3. The Logic of Quantified Statements
Chapter 3. The Logic of Quantified Statements 3.1. Predicates and Quantified Statements I Predicate in grammar Predicate refers to the part of a sentence that gives information about the subject. Example:
More informationMATH 137 : Calculus 1 for Honours Mathematics. Online Assignment #2. Introduction to Sequences
1 MATH 137 : Calculus 1 for Honours Mathematics Online Assignment #2 Introduction to Sequences Due by 9:00 pm on WEDNESDAY, September 19, 2018 Instructions: Weight: 2% This assignment covers the topics
More informationQuiz 1. Directions: Show all of your work and justify all of your answers.
Quiz 1 1. Let p and q be the following statements. p : Maxwell is a mathematics major. q : Maxwell is a chemistry major. (1) a. Write each of the following in symbolic form using logical connectives. i.
More information8. Given a rational number r, prove that there exist coprime integers p and q, with q 0, so that r = p q. . For all n N, f n = an b n 2
MATH 135: Randomized Exam Practice Problems These are the warm-up exercises and recommended problems taken from all the extra practice sets presented in random order. The challenge problems have not been
More informationMath Fall 2014 Final Exam Solutions
Math 2001-003 Fall 2014 Final Exam Solutions Wednesday, December 17, 2014 Definition 1. The union of two sets X and Y is the set X Y consisting of all objects that are elements of X or of Y. The intersection
More informationMAT01A1: Functions and Mathematical Models
MAT01A1: Functions and Mathematical Models Dr Craig 21 February 2017 Introduction Who: Dr Craig What: Lecturer & course coordinator for MAT01A1 Where: C-Ring 508 acraig@uj.ac.za Web: http://andrewcraigmaths.wordpress.com
More informationMethods of Mathematics
Methods of Mathematics Kenneth A. Ribet UC Berkeley Math 10B April 19, 2016 There is a new version of the online textbook file Matrix_Algebra.pdf. The next breakfast will be two days from today, April
More informationMath 110 (S & E) Textbook: Calculus Early Transcendentals by James Stewart, 7 th Edition
Math 110 (S & E) Textbook: Calculus Early Transcendentals by James Stewart, 7 th Edition 1 Appendix A : Numbers, Inequalities, and Absolute Values Sets A set is a collection of objects with an important
More informationWUCT121. Discrete Mathematics. Numbers
WUCT121 Discrete Mathematics Numbers 1. Natural Numbers 2. Integers and Real Numbers 3. The Principle of Mathematical Induction 4. Elementary Number Theory 5. Congruence Arithmetic WUCT121 Numbers 1 Section
More informationNote: The area of logic that deals with propositions is called the propositional calculus or propositional logic.
Ch. 1.1 Logic Logic 1 Def. A Proposition is a statement that is either true or false. Example 1: Which of the following are propositions? Statement Proposition (yes or no) UHD is a University 1 + 3 = 0
More informationCarmen s Core Concepts (Math 135)
Carmen s Core Concepts (Math 135) Carmen Bruni University of Waterloo Week 2 1 Divisibility Theorems 2 DIC Example 3 Converses 4 If and only if 5 Sets 6 Other Set Examples 7 Set Operations 8 More Set Terminology
More informationDiscrete Structures Homework 1
Discrete Structures Homework 1 Due: June 15. Section 1.1 16 Determine whether these biconditionals are true or false. a) 2 + 2 = 4 if and only if 1 + 1 = 2 b) 1 + 1 = 2 if and only if 2 + 3 = 4 c) 1 +
More informationSeunghee Ye Ma 8: Week 1 Notes September 29, 2016
Week Notes Summary This week, we will learn about mathematical proofs. We start by defining what we mean by a mathematical proof and look at a few important things to avoid/keep in mind when writing mathematical
More informationOne-to-one functions and onto functions
MA 3362 Lecture 7 - One-to-one and Onto Wednesday, October 22, 2008. Objectives: Formalize definitions of one-to-one and onto One-to-one functions and onto functions At the level of set theory, there are
More informationLecture 5 : Proofs DRAFT
CS/Math 240: Introduction to Discrete Mathematics 2/3/2011 Lecture 5 : Proofs Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Up until now, we have been introducing mathematical notation
More informationComputational Models - Lecture 1 1
Computational Models - Lecture 1 1 Handout Mode Ronitt Rubinfeld and Iftach Haitner. Tel Aviv University. February 29/ March 02, 2016 1 Based on frames by Benny Chor, Tel Aviv University, modifying frames
More informationChapter Summary. Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2.
Chapter 2 Chapter Summary Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2.6) Section 2.1 Section Summary Definition of sets Describing
More informationMAT 300 RECITATIONS WEEK 7 SOLUTIONS. Exercise #1. Use induction to prove that for every natural number n 4, n! > 2 n. 4! = 24 > 16 = 2 4 = 2 n
MAT 300 RECITATIONS WEEK 7 SOLUTIONS LEADING TA: HAO LIU Exercise #1. Use induction to prove that for every natural number n 4, n! > 2 n. Proof. For any n N with n 4, let P (n) be the statement n! > 2
More informationRecitation 4: Quantifiers and basic proofs
Math 299 Recitation 4: Quantifiers and basic proofs 1. Quantifiers in sentences are one of the linguistic constructs that are hard for computers to handle in general. Here is a nice pair of example dialogues:
More informationTwin primes are pairs of natural numbers (p, p + 2) such that both p and p + 2 are primes.
SOLUTIONS TO QUIZ - MATH 170 - SUMMER SESSION I (2012) Name: INSTRUCTIONS: 1. The duration of this quiz is 1 hour - from 4:05 p.m. till 5:05 p.m. 2. No calculators, electronic watches, cellphones etc.
More informationIn case (1) 1 = 0. Then using and from the previous lecture,
Math 316, Intro to Analysis The order of the real numbers. The field axioms are not enough to give R, as an extra credit problem will show. Definition 1. An ordered field F is a field together with a nonempty
More informationIntroduction to Set Operations
Introduction to Set Operations CIS008-2 Logic and Foundations of Mathematics David Goodwin david.goodwin@perisic.com 12:00, Friday 21 st October 2011 Outline 1 Recap 2 Introduction to sets 3 Class Exercises
More informationUniversity of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics
University of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics Examiners: D. Burbulla, P. Glynn-Adey, S. Homayouni Time: 7-10
More informationComputational Models: Class 1
Computational Models: Class 1 Benny Chor School of Computer Science Tel Aviv University October 19, 2015 Based on slides by Maurice Herlihy, Brown University, and modifications by Iftach Haitner and Yishay
More informationWe ll start today by learning how to change a repeating decimal into a fraction! Then we will do a review of Unit 1 - half of Unit 3!
Welcome to math! We ll start today by learning how to change a repeating decimal into a fraction! Then we will do a review of Unit 1 - half of Unit 3! So grab a seat where you can focus, and get ready
More informationPreparing for the CS 173 (A) Fall 2018 Midterm 1
Preparing for the CS 173 (A) Fall 2018 Midterm 1 1 Basic information Midterm 1 is scheduled from 7:15-8:30 PM. We recommend you arrive early so that you can start exactly at 7:15. Exams will be collected
More informationPSU MATH RELAYS LOGIC & SET THEORY 2017
PSU MATH RELAYS LOGIC & SET THEORY 2017 MULTIPLE CHOICE. There are 40 questions. Select the letter of the most appropriate answer and SHADE in the corresponding region of the answer sheet. If the correct
More informationChapter III. Basic Proof Techniques. Proving the obvious has never been easy. Marty Rubin
Chapter III Basic Proof Techniques Proving the obvious has never been easy. Marty Rubin The last two chapters were an introduction to the language of mathematics. Knowing the definitions and concepts of
More informationIntroduction to Metalogic
Philosophy 135 Spring 2008 Tony Martin Introduction to Metalogic 1 The semantics of sentential logic. The language L of sentential logic. Symbols of L: Remarks: (i) sentence letters p 0, p 1, p 2,... (ii)
More informationCourse Content (visit for details)
Instructor: Dr. Alexander Krantsberg Email: akrantsberg@nvcc.edu Phone: 703-845-6548 Office: Bisdorf, Room AA-354 Class Time: Tuesdays, Thursdays 4:30 PM - 7:15 PM. Classroom: Bisdorf, AA 355 Office hours:
More informationMATHEMATICAL REASONING
Chapter 14 MATHEMATICAL REASONING There are few things which we know which are not capable of mathematical reasoning and when these can not, it is a sign that our knowledge of them is very small and confused
More informationQuantifiers. P. Danziger
- 2 Quantifiers P. Danziger 1 Elementary Quantifiers (2.1) We wish to be able to use variables, such as x or n in logical statements. We do this by using the two quantifiers: 1. - There Exists 2. - For
More informationCSE 20 DISCRETE MATH. Winter
CSE 20 DISCRETE MATH Winter 2017 http://cseweb.ucsd.edu/classes/wi17/cse20-ab/ Today's learning goals Evaluate which proof technique(s) is appropriate for a given proposition Direct proof Proofs by contraposition
More informationCourse Staff. Textbook
Course Staff CS311H: Discrete Mathematics Intro and Propositional Logic Instructor: Işıl Dillig Instructor: Prof. Işıl Dillig TAs: Jacob Van Geffen, Varun Adiga, Akshay Gupta Class meets every Monday,
More informationAnnouncements CompSci 102 Discrete Math for Computer Science
Announcements CompSci 102 Discrete Math for Computer Science Read for next time Chap. 1.4-1.6 Recitation 1 is tomorrow Homework will be posted by Friday January 19, 2012 Today more logic Prof. Rodger Most
More information