Logic and Proof
방학들어 대학원 스터디의 본격적인 시작! 시간 날때마다 정리해 보자. Propositional Logic Proposition(명제)는 True 혹은 False 값을 가지는 문장이다. Proposition은 Proposition과 논리연산자들을 이용해서 재귀적으로도 정의된다.(negation, and, or, xor, implication 등등) 여기서 기억해둬야 할것은 p->q가 (not p) and q와 동일하다는것! 어떤 proposition이 항상 참인 것을 tautology라고 하며, 항상 거짓인 것을 contradiction, 그냥 일반적인 나머지 proposition을 contingency라 한다. 명제 p와 q에 대해서 pq 가 tautology면, p랑 q는 논리적으로 동등(logical..
Computer Science
2011. 6. 27. 22:06
공지사항
최근에 올라온 글
최근에 달린 댓글
- Total
- Today
- Yesterday
링크
TAG
- 대학원
- 머신러닝
- 안드로이드
- 운영체제
- 데이터 과학
- 이산수학
- statistical learning
- 카타르 음주
- Reverse Engineering
- reversing
- 알고리즘
- android
- Algorithms
- 카타르
- 개발
- 자바
- 데이터 사이언스
- operating systems
- 기계학습
- Data Structure
- 리눅스
- linux
- 리버스엔지니어링
- 리버싱
- Data Science
- 통계학습
- Machine Learning
- 자료구조
- Discrete Mathematics
- java
일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
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 | 31 |
글 보관함