일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | 5 | ||
6 | 7 | 8 | 9 | 10 | 11 | 12 |
13 | 14 | 15 | 16 | 17 | 18 | 19 |
20 | 21 | 22 | 23 | 24 | 25 | 26 |
27 | 28 | 29 | 30 |
- 이진탐색
- SQL
- Trie
- two pointer
- binary search
- 스토어드 프로시저
- 다익스트라
- Two Points
- String
- Dijkstra
- Hash
- 그래프
- Stored Procedure
- DP
- Brute Force
- MYSQL
- union find
- Today
- Total
목록수학/집합론 (3)
codingfarm
전칭기호(universal quantifier) 전체집합(universal set) : 어떤 집합이 주어젔을때 그 집합의 모든대상을 포함하는 집합. 가령 명제 "모든 사람은 죽는다." 위 명제의 전체집합은 "인류" 이다. 전체집합을 이용하여 위 명제를 아래처럼 나타낼 수 있다. "전체집합의 모든 x에 대하여 x는 죽기 마련이다." 여기서 하나의 구 "전체집합의 모든 x에 대하여" 를 전칭기호(universal quantifier)라 하고 이것을 all의 A를 뒤집어 만든 ∀x로 나타낸다. 즉, ∀x는 "모든 x에 대하여" 혹은 "각 x에 대하여" 의 뜻을 지닌다. 이 경우 "x는 죽기 마련이다"라는 주장은 x에 대한 한가지 조건을 제시하고 ..

모순(Contradiction) 항진명제에 반하여 모든 노리적 가능성의 각 경우마다 진리값이 거짓인 명제를 모순이라 한다. 항진명제 t에 대한 ∼t는 모순이고, 모순 c에 대한 ∼c는 항진명제이다. 가령 p∧∼p는 하나의 모순이다. 항진명제 t, 모순 c, 임의의 명제 p에 대하여 다음이 성립한다. (a) p∧t⇔p, p∨t⇔t (b) p∨c⇐p, p∧c⇔c (c) c⇒p, p⇒t

명제와 결합자(Statements and Connectives) 논리(logic) : 타당하지 않은 논증(arguments)으로 부터 타당한 논증을 구별하는데 쓰이는 원리와 방법에 대한것 명제(statement) : 참, 거짓 중 어느 한 경우로되 동시에 양쪽은 아닌 서술문. 명제라면 참, 거짓중 꼭 어느 한쪽이어야함을 분명히 가릴만한 조건이 갖추어져 있어야 한다. 단순명제(simple statements)의 예 a) 대구는 대한민국의 도시이다. b) 2 + 1은 5와 같다. c) 달은 푸른치즈로 만들어졌다. e) 화성에는 지능을 지닌 생명체가 존재하지 않는다. f) 지금 비가 내리고 있다. 위의 명제들은 당장 답을 내리기에 곤란할수도 있지만 참과 거짓을 가릴 수 있는 분명한 기준이 존재한다. 합성명제(..