2012 년 봄학기 강원대학교 컴퓨터과학전공 문양세 이산수학 (Discrete Mathematics)  중첩된 한정기호 (Nested Quantifiers)

Slides:



Advertisements
Similar presentations
게임이론 Von Neumann Theory of Games and Economic Behavior with Oskar Morgenstern, widely recognized as the first formal treatment.
Advertisements

 오산대학교 Page 1 주요 재무비율의 비교 ( 比較 ) 와 보완 ( 補完 ) 주요 재무비율의 비교 ( 比較 ) 와 보완 ( 補完 )
수치해석 (Numerical Analysis) 보간법 (Interpolation) 문양세 강원대학교 IT 대학 컴퓨터과학전공.
C 언어 컴퓨터학과 C 언어 ( STS ) (Chap5. Selection-Making Decisions ) C 언어.
(Mathematical Induction)
Discrete Mathematics Express
관계 대수와 SQL.
4장. 관계 대수와 SQL SQL 관계 데이터 모델에서 지원되는 두 가지 정형적인 언어
LISTEN AND UNDERSTAND LISTEN AND SING
“Grammar to Explain” 형용사의 최상급 앞에는 원칙적으로 정관사 the를 붙이고, of (--중에
이산수학(Discrete Mathematics)
누구나 즐기는 C언어 콘서트 제4장 수식과 연산자.
수학 I 2. 방정식과 부등식.
4.2 SQL 개요 SQL 개요 SQL은 IBM 연구소에서 1974년에 System R이라는 관계 DBMS 시제품을 연구할 때 관계 대수와 관계 해석을 기반으로, 집단 함수, 그룹화, 갱신 연산 등을 추가하여 개발된 언어 1986년에 ANSI(미국 표준 기구)에서 SQL.
이산수학(Discrete Mathematics) 수학적 귀납법 (Mathematical Induction)
패턴인식 개론 Ch.5 확률 변수와 확률 분포.
Chapter 2. Finite Automata Exercises
Chapter 3 Flow of Control
계수와 응용 (Counting and Its Applications)
5. 관계대수와 관계해석 관계자료 연산(operation)
이산수학(Discrete Mathematics)
관계 해석(Relational Calculus)
-을 것 같다 날씨가 안 좋지요? 네, 비가 올 것 같아요. Sogang Korean 2B UNIT 3 “-을 것 같다”
Chapter 3: Introduction to SQL
확 률 변 수 2 1 이산확률변수 2 연속확률변수 3 기대값.
The Best Thing I've Learned This Year
1.4 중첩된 한정기호 (Nested Quantifiers) 이산수학 (Discrete Mathematics)
이산수학(Discrete Mathematics)  증명 전략 (Proof Strategy)
컴퓨터 개론 및 실습 Dept. Computer Eng. Hankuk University of Foreign Studies
USB Door Lock System 공 민 표 강 정 이 권 경 곤
Chapter 4 수식과 연산자.
Are you the type of person ____ can’t get by
월 정례조회.
누구에게는 주어진 하루 24시간 ! 하지만 쓰는 이에 따라 엄청나게 다릅니다..
McGraw-Hill Technology Education
수학8가 대한 92~95 쪽 Ⅳ. 연립방정식 1. 연립방정식과 그 풀이 및 활용 >끝내기전에(9/9) 끝내기 전에.
Introduction to Programming Language
GOD.
관계 해석(Relational Calculus)
이산수학(Discrete Mathematics)
영어 7-b 단계 Lesson 8 Korean Games (1/8) 8. Korean games.
이산수학(Discrete Mathematics)  증명 방법 (Methods of Proof)
McGraw-Hill Technology Education
이산수학(Discrete Mathematics)
이산수학(Discrete Mathematics)  명제의 동치 (Propositional Equivalence)
포트폴리오의 목적 전문성 개발 자신의 독창력 표현, 학습한 내용을 창의적으로 적용 취업
English Grammar in Middle School
홈페이지 제작 스토리 보드 제작 방식 : 맞춤형 제작.
주요 내용 명제 조건 명제와 쌍조건 명제 술어와 한정사 논리적 기호로 문장을 표현. 주요 내용 명제 조건 명제와 쌍조건 명제 술어와 한정사 논리적 기호로 문장을 표현.
Ⅳ. 생식과 발생 4. 자손에게 줄 세포 만들기.
“병원 폐기물 소각장” 및 “가축 폐수 처리장” 건축 허가 반대 (2011년 “음식물처리장” 미해결 민원 연관)
Welcome to Virus World 바이러스의 세계로 초대합니다.
이산수학(Discrete Mathematics) 비둘기 집 원리 (The Pigeonhole Principle)
이산수학(Discrete Mathematics)
C# 10장. 참조형.

점화와 응용 (Recurrence and Its Applications)
The World of English by George E.K. Whitehead.
이산수학(Discrete Mathematics)
상황별/유형별 고객응대법.
이산수학(Discrete Mathematics)  증명 전략 (Proof Strategy)
(Predicates and Quantifiers)
이산수학(Discrete Mathematics)  술어와 한정기호 (Predicates and Quantifiers)
야고보서.
토론의 기술 3 쟁점분석과 입론.
수학10-나 1학년 2학기 Ⅲ. 함수 2. 이차함수와 그 활용 (6/15) 이차함수의 최대값, 최소값 수업계획 수업활동.
1. 칭찬 및 고발제도 운영(안) 1. 목적 : 칭찬문화의 전사적 확산,전파를 통한 칭찬문화 조성 및 건전한 회사문화 형성
다음 우리말에 해당하는 영어 문장을 찾아 써 봅시다.
영어문장구조의 이해 제출자: 영어영문학과 신진희.
Presentation transcript:

2012 년 봄학기 강원대학교 컴퓨터과학전공 문양세 이산수학 (Discrete Mathematics)  중첩된 한정기호 (Nested Quantifiers)

Discrete Mathematics by Yang-Sae Moon Page 2 Nested Quantifiers  Statements (1/3) Variable x 와 y 의 domain 이 실수 (all real numbers) 라 했을 때,  x  y(x + y = y + x) 를 번역하면, “For every real number x and for every real number y, x + y = y + x.” 이고, 이는 실수의 덧셈에 있어서 교환법칙을 의미한다.  x  y(x + y = 0) 를 번역하면, “For every real number x, there is a real number y such that x + y = 0.” ( 항등원과 역원을 의미한다.)  x  y  z(x + (y + z) = (x + y) + z) 를 번역하면, “For every real number x, for every real number y, and for every real number z, x + (y + z) = (x + y) + z.” 이고, 이는 실수의 덧셈에 있어서 결합법칙을 나타낸다. 1.4 Nested Quantifiers

Discrete Mathematics by Yang-Sae Moon Page 3 Nested Quantifiers  Statements (2/3) 예제 Variable 의 domain 이 모두 실수일 때, 다음을 번역하라.  x  y((x > 0)  (y < 0)  (xy < 0)) 풀이 : “For every real number x and for every real number y, if x > 0 and y < 0, then xy < 0.” 1.4 Nested Quantifiers

Discrete Mathematics by Yang-Sae Moon Page 4 Nested Quantifiers  Statements (3/3) 예제 C(x) = “x has a computer.”, F(x, y) = “x and y are friends.” 이고, x 와 y 의 domain 이 “all students in your school.” 일 때, 다음을 번역하라.  x(C(x)   y((C(y)  F(x, y))) 풀이 : “For every student x in your school, x has a computer, or there is a student y (in your school) such that y has a computer and x and y are friends.” 1.4 Nested Quantifiers

Discrete Mathematics by Yang-Sae Moon Page 5 Statements  Nested Quantifiers (1/2) 예제 “If a person is female and is a parent, this person is someone’s mother.” 를 predicate, domain = “all people” 인 quantifier, logic operator 로 표현하라. 풀이 − 상기 문장은 다음과 같이 다시 쓸 수 있다. “For every person x, if person x is female and person x is a parent, then there exists a person y such that person x is the mother of person y.” − 명제 함수로 표현 : F(x) = “x is female.” P(x) = “x is a parent.” M(x, y) = “x is the mother of y.” − 상기 명제 함수를 사용하여 표현하면 다음과 같다.  x((F(x)  P(x))   yM(x, y)) 1.4 Nested Quantifiers

Discrete Mathematics by Yang-Sae Moon Page 6 Statements  Nested Quantifiers (2/2) 예제 “Everyone has exactly one best friend.” 를 predicate, domain = “all people” 인 quantifier, logic operator 로 표현하라. 풀이 − 상기 문장은 다음과 같이 다시 쓸 수 있다. “For every person x, person x has exactly one best friend.” = “  x(person x has exactly one best friend)” − 명제 함수로 표현 : B(x, y) = “y is the best friend of x.” −“person x has exactly one best friend.” 를 명제 함수를 사용하여 표현 :  y(B(x, y)   z((z  y)  ¬B(x, z)))  상기 명제 함수를 사용하여 표현하면 다음과 같다.  x  y(B(x, y)   z((z  y)  ¬B(x, z))) 1.4 Nested Quantifiers

Discrete Mathematics by Yang-Sae Moon Page 7 Negating Nested Quantifiers 예제 다음 식의 부정을 표현하라.  x  y(xy = 1) 풀이 Negation of  x  y(xy = 1) “ 모든 x 에 대해서 xy = 1 을 만족하는 y 가 존재한다.” T or F?  ¬(  x  y(xy = 1))  ¬  x  y(xy = 1)   x¬  y(xy = 1)   x  y¬(xy = 1)   x  y(xy  1) “ 어떤 x 에 대해서 모든 y 가 xy  1 을 만족하는 x 가 존재한다.” T or F? −x 와 y 의 domain 에 따라서 진리 값이 달라질 수 있다. 1.4 Nested Quantifiers

Discrete Mathematics by Yang-Sae Moon Page 8 Order of Quantifiers (1/3) 예제 술어 P(x, y) = “x+y = y+x” 이고 x 와 y 의 domain 이 실수일 때,  x  yP(x, y) 의 진리 값은 ? 그리고,  y  xP(x, y) 의 진리 값은 ? 풀이 − 모든 실수에 대하여 덧셈의 교환법칙이 성립하므로,  x  yP(x, y) 의 진리 값 은 true 이다. 마찬가지로,  y  xP(x, y) 의 진리 값 역시 참이다.   x  y 와  y  x 에 있어서,  x 와  y 의 순서는 진리 값에 영향을 주지 않는다. 1.4 Nested Quantifiers

Discrete Mathematics by Yang-Sae Moon Page 9 Order of Quantifiers (2/3) 예제 술어 Q(x, y) = “x + y = 0” 이고 x 와 y 의 domain 이 실수일 때,  y  xQ(x, y) 와  x  yQ(x, y) 의 진리 값은 ? 풀이 −  y  xQ(x, y): 어떤 y 에 대해 모든 x 가 “x + y = 0” 을 만족하는 y 가 존재한다.  false ( 어떤 y 값을 취하여도, 모든 x 에 대해 x + y = 0 를 만족하지는 않는다.) −  x  yQ(x, y): 모든 x 에 대해 “x + y = 0” 을 만족하는 y 가 존재한다.  true   y  x 와  x  y 에 있어서,  x 와  y 의 순서는 진리 값에 영향을 준다. 1.4 Nested Quantifiers

Discrete Mathematics by Yang-Sae Moon Page 10 Order of Quantifiers (3/3) 변수가 두 개인 경우의 Quantifier 순서의 영향 1.4 Nested Quantifiers Statement When true?  x  yP(x, y)  y  xP(x, y) P(x, y) is true for every pair x and y.  x  yP(x, y) For every x, there is a y for which P(x, y) is true.  x  yP(x, y) There is an x for which P(x, y) is true for every y.  x  yP(x, y)  y  xP(x, y) There is a pair x and y for which P(x, y) is true. 모든 x 에 대해서 적어도 P(x, y) 를 true 로 하는 y 가 존재하면, 해당 식은 true 가 된다. 어떤 x 에 대해 모든 y 가 P(x, y) 를 true 로 하면, 해당 식은 true 가 된다.

Discrete Mathematics by Yang-Sae Moon Page 11 유용한 Equivalence Laws  xP(x)  ¬  x ¬ P(x)  xP(x)  ¬  x ¬ P(x) 상기 두 표현 식은 노트 03 에서 소개한 Quantifier 정의를 이용해 증명이 가능하다.(try it!) (Remind) Quantifier 의 정의 :  xP(x)  P(x 1 )  P(x 2 ) ....  P(x n )  xP(x)  P(x 1 )  P(x 2 ) ....  P(x n )  x(P(x)  Q(x))  (  xP(x))  (  xQ(x))  x(P(x)  Q(x))  (  xP(x))  (  xQ(x)) 상기 표현 식 역시 Quantifier 정의를 이용해 증명이 가능하다.(try it!) 1.4 Nested Quantifiers