Welcome to MAT 137! Course website:

Size: px
Start display at page:

Download "Welcome to MAT 137! Course website:"

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! 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 information

MAT137 Lecture 1. Huan Vo. September 7, University of Toronto. Huan Vo (UofT) MAT137 Lecture 1 September 7, / 18

MAT137 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 information

Welcome 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)  . (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 information

CSE 20. Final Review. CSE 20: Final Review

CSE 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 information

MATH 114 Fall 2004 Solutions to practice problems for Final Exam

MATH 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 information

Fundamentals of Mathematics (MATH 1510)

Fundamentals 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 information

Welcome to Math 102 Section 102

Welcome 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 information

RYERSON UNIVERSITY DEPARTMENT OF MATHEMATICS

RYERSON 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 information

MATH 2200 Final LC Review

MATH 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 information

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

The 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 information

Math 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 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 information

Proof by Contradiction

Proof 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 information

Announcements. Exam 1 Review

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

Logic. Def. A Proposition is a statement that is either true or false.

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

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

Section 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 information

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

Your 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 information

Recall that the expression x > 3 is not a proposition. Why?

Recall 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 information

Write 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 : 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 information

Announcements. Problem Set 1 out. Checkpoint due Monday, September 30. Remaining problems due Friday, October 4.

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

Math 230 Final Exam, Spring 2008

Math 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 information

Math 230 Final Exam, Spring 2009

Math 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 information

CSE 20. Lecture 4: Introduction to Boolean algebra. CSE 20: Lecture4

CSE 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 information

Announcements Monday, September 18

Announcements 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 information

Math.3336: Discrete Mathematics. Applications of Propositional Logic

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

UCSD 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 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 information

CS Module 1. Ben Harsha Apr 12, 2017

CS 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 information

1.1 Language and Logic

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

Circles & Interval & Set Notation.notebook. November 16, 2009 CIRCLES. OBJECTIVE Graph a Circle given the equation in standard form.

Circles & 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 information

CSE 240 Logic and Discrete Mathematics

CSE 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 information

Lecture : Set Theory and Logic

Lecture : 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 information

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

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

With Question/Answer Animations. Chapter 2

With 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 information

MAT01A1. Numbers, Inequalities and Absolute Values. (Appendix A)

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

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

SETS. Chapter Overview

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

STRATEGIES OF PROBLEM SOLVING

STRATEGIES 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 information

Practice 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) 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 information

MATH 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 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 information

Homework assignment 1: Solutions

Homework 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 information

Mathematical Reasoning (Part I) 1

Mathematical 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 information

Welcome 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 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 information

CS70: 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 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 information

At least one of us is a knave. What are A and B?

At 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 information

Logic, Sets, and Proofs

Logic, 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 information

Math 10850, fall 2017, University of Notre Dame

Math 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 information

Chapter 1: The Logic of Compound Statements. January 7, 2008

Chapter 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 information

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

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

CHAPTER 3: Quadratic Functions and Equations; Inequalities

CHAPTER 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 information

Math 13, Spring 2013, Lecture B: Midterm

Math 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 information

CS 154 Introduction to Automata and Complexity Theory

CS 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 information

FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY

FORMAL 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 information

Mathematics 220 Midterm Practice problems from old exams Page 1 of 8

Mathematics 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 information

MAT01A1. Numbers, Inequalities and Absolute Values. (Appendix A)

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

MATH 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 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 information

MATH 135 Fall 2006 Proofs, Part IV

MATH 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 information

Chapter 0 Preliminaries

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

(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 information

MATH 271 Summer 2016 Practice problem solutions Week 1

MATH 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 information

Chapter 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, 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 information

CMSC 250 Spring 2016: Final Exam Review Questions Key

CMSC 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 information

LECTURE 1. Logic and Proofs

LECTURE 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 information

2. Find all combinations of truth values for p, q and r for which the statement p (q (p r)) is true.

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

Statements and Quantifiers

Statements 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 information

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

Some Review Problems for Exam 1: Solutions

Some 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 information

Chapter 3. The Logic of Quantified Statements

Chapter 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 information

MATH 137 : Calculus 1 for Honours Mathematics. Online Assignment #2. Introduction to Sequences

MATH 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 information

Quiz 1. Directions: Show all of your work and justify all of your answers.

Quiz 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 information

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

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

Math Fall 2014 Final Exam Solutions

Math 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 information

MAT01A1: Functions and Mathematical Models

MAT01A1: 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 information

Methods of Mathematics

Methods 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 information

Math 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 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 information

WUCT121. Discrete Mathematics. Numbers

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

Note: The area of logic that deals with propositions is called the propositional calculus or propositional logic.

Note: 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 information

Carmen s Core Concepts (Math 135)

Carmen 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 information

Discrete Structures Homework 1

Discrete 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 information

Seunghee Ye Ma 8: Week 1 Notes September 29, 2016

Seunghee 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 information

One-to-one functions and onto functions

One-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 information

Lecture 5 : Proofs DRAFT

Lecture 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 information

Computational Models - Lecture 1 1

Computational 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 information

Chapter Summary. Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (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. 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 information

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

Recitation 4: Quantifiers and basic proofs

Recitation 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 information

Twin primes are pairs of natural numbers (p, p + 2) such that both p and p + 2 are primes.

Twin 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 information

In case (1) 1 = 0. Then using and from the previous lecture,

In 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 information

Introduction to Set Operations

Introduction 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 information

University 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 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 information

Computational Models: Class 1

Computational 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 information

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!

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! 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 information

Preparing for the CS 173 (A) Fall 2018 Midterm 1

Preparing 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 information

PSU MATH RELAYS LOGIC & SET THEORY 2017

PSU 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 information

Chapter 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 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 information

Introduction to Metalogic

Introduction 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 information

Course Content (visit for details)

Course 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 information

MATHEMATICAL REASONING

MATHEMATICAL 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 information

Quantifiers. P. Danziger

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

CSE 20 DISCRETE MATH. Winter

CSE 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 information

Course Staff. Textbook

Course 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 information

Announcements CompSci 102 Discrete Math for Computer Science

Announcements 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