CS 345 Lecture 1: Introduction and Math Review

 
CS 345
Lecture 1
 
Introduction
and Math Review
 
CS 345
 
Instructor
 Qiyam Tung
 
TA
Sankar Veeramoni
 
Administrivia
 
Webpage
http://www.cs.arizona.edu/classes/cs345/summer14/
 
Syllabus
http://www.cs.arizona.edu/classes/cs345/summer14/syllabus.html
 
 
Sets
 
Union
 
 
Intersection
 
Sets (cont’d)
 
Membership
 
 
Defining sets
Even numbers
 
Odd numbers
 
Sets
 
Power set
 
Sequences
 
Summation
 
 
 
Products
 
Closed form equivalents
 
Triangular numbers
 
 
 
Sum of powers of 2
 
Logarithms
 
 
Product
 
 
 
Quotient
 
Logarithms (cont’d)
 
Power
 
 
 
Change of base
 
 
Logical Equivalences
 
De Morgan’s Law
Propositions
 
 
Sets
 
10 minute break
 
Proofs
 
Deductive
 
 
Contrapositive
 
Inductive
 
Proofs (cont’d)
 
Contradiction
 
Proofs (cont’d)
 
 
Deduction (example)
 
Conjecture: If 
x
 is even, then 5
x
 is even
 
Deduction (cont’d)
 
Conjecture: If 
x
 is even, then 5
x
 is even
 
Contrapositive (example)
 
Conjecture: If x^2 is odd, then x is odd
 
Contrapositive (cont’d)
 
Conjecture: If x^2 is odd, then x is odd
 
Inductive (example)
 
Conjecture:
 
Inductive (cont’d)
 
 
Inductive (cont’d)
 
 
Contradiction (example 1)
 
Conjecture: There are infinite prime numbers
 
Contradiction (example 1 cont’d)
 
Contradiction (example 1 cont’d)
 
 
Contradiction (example)
 
Conjecture: The square root of 2 is irrational
 
Contradiction (cont’d)
 
Contradiction (cont’d)
 
 
Extra 1
 
 
Extra 2
 
 
Extra 3
 
 
Extra 4
 
 
Extra 5
 
 
CS 345
Lecture 1
 
Introduction
and Math Review
 
CS 345
 
Instructor
 Qiyam Tung
 
TA
Sankar Veeramoni
 
Administrivia
 
Webpage
http://www.cs.arizona.edu/classes/cs345/summer14/
 
Syllabus
http://www.cs.arizona.edu/classes/cs345/summer14/syllabus.html
 
 
Sets
 
Union
 
 
Intersection
 
Sets (cont’d)
 
Membership
 
 
Defining sets
Even numbers
 
Odd numbers
 
Sets
 
Power set
 
Sequences
 
Summation
 
 
 
Products
 
Closed form equivalents
 
Triangular numbers
 
 
 
Sum of powers of 2
 
Logarithms
 
 
Product
 
 
 
Quotient
 
Logarithms (cont’d)
 
Power
 
 
 
Change of base
 
 
Logical Equivalences
 
De Morgan’s Law
Propositions
 
 
Sets
 
10 minute break
 
Proofs
 
Deductive
 
 
Contrapositive
 
Inductive
 
Proofs (cont’d)
 
Contradiction
 
Proofs (cont’d)
 
 
Deduction (example)
 
Conjecture: If 
x
 is even, then 5
x
 is even
 
Deduction (cont’d)
 
Conjecture: If 
x
 is even, then 5
x
 is even
 
Contrapositive (example)
 
Conjecture: If x^2 is odd, then x is odd
 
Contrapositive (cont’d)
 
Conjecture: If x^2 is odd, then x is odd
 
Inductive (example)
 
Conjecture:
 
Inductive (cont’d)
 
 
Inductive (cont’d)
 
 
Contradiction (example 1)
 
Conjecture: There are infinite prime numbers
 
Contradiction (example 1 cont’d)
 
 
Contradiction (example 1 cont’d)
 
 
Contradiction (example)
 
Conjecture: The square root of 2 is irrational
 
Contradiction (cont’d)
 
 
Contradiction (cont’d)
 
 
Extra 1
 
 
Extra 2
 
 
Extra 3
 
 
Extra 4
 
 
Extra 5
 
Slide Note
Embed
Share

This content encompasses the introduction and mathematical review covered in CS 345 lecture 1, including topics such as sets, sequences, logarithms, logical equivalences, and proofs. It delves into sets theory, mathematical operations, deductive reasoning, and examples like the conjecture of even numbers. The images provided visualize concepts such as sets union, intersection, power sets, summation, and more.

  • CS 345
  • Math Review
  • Sets Theory
  • Deductive Reasoning
  • Proofs

Uploaded on Sep 09, 2024 | 0 Views


Download Presentation

Please find below an Image/Link to download the presentation.

The content on the website is provided AS IS for your information and personal use only. It may not be sold, licensed, or shared on other websites without obtaining consent from the author. Download presentation by click this link. If you encounter any issues during the download, it is possible that the publisher has removed the file from their server.

E N D

Presentation Transcript


  1. CS 345 Lecture 1 Introduction and Math Review

  2. CS 345 Instructor Qiyam Tung TA Sankar Veeramoni

  3. Administrivia Webpage http://www.cs.arizona.edu/classes/cs345/summer14/ Syllabus http://www.cs.arizona.edu/classes/cs345/summer14/syllabus.html

  4. Sets Union Intersection

  5. Sets (contd) Membership Defining sets Even numbers Odd numbers

  6. Sets Power set

  7. Sequences Summation Products

  8. Closed form equivalents Triangular numbers Sum of powers of 2

  9. Logarithms Product Quotient

  10. Logarithms (contd) Power Change of base

  11. Logical Equivalences De Morgan s Law Propositions Sets

  12. 10 minute break

  13. Proofs Deductive Contrapositive Inductive

  14. Proofs (contd) Contradiction p q ~p p->q ~p V q

  15. Proofs (contd)

  16. Deduction (example) Conjecture: If x is even, then 5x is even

  17. Deduction (contd) Conjecture: If x is even, then 5x is even

  18. Contrapositive (example) Conjecture: If x^2 is odd, then x is odd

  19. Contrapositive (contd) Conjecture: If x^2 is odd, then x is odd

  20. Inductive (example) Conjecture:

  21. Inductive (contd)

  22. Inductive (contd)

  23. Contradiction (example 1) Conjecture: There are infinite prime numbers

  24. Contradiction (example 1 contd)

  25. Contradiction (example 1 contd)

  26. Contradiction (example) Conjecture: The square root of 2 is irrational

  27. Contradiction (contd)

  28. Contradiction (contd)

  29. Extra 1

  30. Extra 2

  31. Extra 3

  32. Extra 4

  33. Extra 5

  34. CS 345 Lecture 1 Introduction and Math Review

  35. CS 345 Instructor Qiyam Tung TA Sankar Veeramoni

  36. Administrivia Webpage http://www.cs.arizona.edu/classes/cs345/summer14/ Syllabus http://www.cs.arizona.edu/classes/cs345/summer14/syllabus.html

  37. Sets Union Intersection

  38. Sets (contd) Membership Defining sets Even numbers Odd numbers

  39. Sets Power set

  40. Sequences Summation Products

  41. Closed form equivalents Triangular numbers Sum of powers of 2

  42. Logarithms Product Quotient

  43. Logarithms (contd) Power Change of base

  44. Logical Equivalences De Morgan s Law Propositions Sets

  45. 10 minute break

  46. Proofs Deductive Contrapositive Inductive

  47. Proofs (contd) Contradiction p q ~p p->q ~p V q

  48. Proofs (contd)

More Related Content

giItT1WQy@!-/#giItT1WQy@!-/#giItT1WQy@!-/#giItT1WQy@!-/#