lec0124 - CS173 Discrete Mathematical Structures Cinda...

Info iconThis preview shows pages 1–8. Sign up to view the full content.

View Full Document Right Arrow Icon
CS173 Discrete Mathematical Structures Cinda Heeren Siebel Center rm 2213 [email protected]  Ofc hr: Wednesday, 9:30a-11:30a
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
05/13/09 Announcements How did hwk #1 go?  Anyone want to share? Hwk #2 available. Due Sun, 1/29, 8a. Sections start this week!  See course website for locations. Look at hwk #2 before you go to section. Be prepared to work in groups…social problem solving.
Background image of page 2
05/13/09 Miscellaneous Text: Rosen RF devices: (in bookstores) Automated attendance Class participation (for fun and feedback) Class keys:  Section M: J16787I481  Register for course at  http://www.einstruction.com Web:  http://www.cs.uiuc.edu/class/cs173   IRC chat room:   http://www.quickfire.org/cs173 Class wiki:   https://www-s.cs.uiuc.edu/wiki/cs173/ QuickTime ! TIFF (Uncompr are needed to s
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
05/13/09 Predicates - more examples Universe of discourse is all  creatures. L(x) = “x is a lion.” F(x) = “x is fierce.” C(x) = “x drinks coffee.” All lions are fierce. Some lions don’t drink coffee. Some fierce creatures don’t drink coffee. 2200 x (L(x) 5 x (L(x) ¬ C(x)) 5 x (F(x) ¬ C(x))
Background image of page 4
05/13/09 Predicates - quantifier negation So,  ¬2200 x P(x) is the same as   5 ¬ P(x). So,  ¬5 x P(x) is the same as   2200 ¬ P(x). General rule: to negate a quantifier, move negation to the right,  changing quantifiers as you go.  
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
05/13/09 Predicates - quantifier negation No large birds live on honey. ¬5 x (L(x)   H(x))   2200 ¬ (L(x)   H(x)) Negation rule   2200 x ( ¬ L(x)    ¬ H(x)) DeMorgan’s   2200 x (L(x)    ¬ H(x)) Subst for  What’s wrong with this  proof?
Background image of page 6
05/13/09 Predicates - free and bound variables A variable is bound if it is known or quantified.  Otherwise, it is  free.
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 8
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 09/15/2008 for the course CS 173 taught by Professor [email protected] during the Spring '08 term at University of Illinois at Urbana–Champaign.

  • Spring '08
  • [email protected]

Page1 / 29

lec0124 - CS173 Discrete Mathematical Structures Cinda...

This preview shows document pages 1 - 8. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online