반응형
Recent Posts
Notice
Link
일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
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 |
Tags
- 벡터
- 선형대수학
- 베이지안통계
- mathematicalthinking
- 나의서양미술순례
- 데이터분석가
- Recsys
- 독후감
- 실무로통하는인과추론
- chatGPT
- 티스토리챌린지
- 코세라
- 오블완
- 빅쿼리
- 글또10기
- 수학적해석학
- 회고
- Bayesian
- 인과추론개요
- SQL
- 네카라쿠배당토
- 인과추론 무작위 실험
- recommendation system
- 데이터분석가 코딩테스트
- CausalInference
- BigQuery
- 잠재적결과
- 데이터분석
- 인과추론
- DataAnalyst
Archives
- Today
- Total
목록Proof (1)
Derek 의 데이터 분석 성장기

1. 양화사 = 한정자 (Quantifier)이전 강의에 이어서 한정자에 대한 예제와 수학적으로 한정자를 이해하는 법에 대해서 지속적으로 강조하고 있다. 1. 전체한정자 : 모든 원소가 그 명제를 참으로 만족할 경우에만 명제함수가 참, 논의영역에 있는 원소중 하나라도 그 명제를 거짓으로 만들면 F 이다. 2. 존재한정자 : 논의영역에 있는 원소 중 하나라도 명제를 참으로 만족하면, 그 명제함수는 참이 된다. 1. 한정자2. 부정3. 접속사4. 논리합과 함 3장에서는 위와 같이 전체한정자, 존재한정자를 통해 명제를 만족하는것을 알려주고 있다.위와 같이 부정을 통해서 for all 을 만족하는 것, 그리고 2번과 같이 for all을 충족하는 자연수를 검증하고 있다. 그리고, 한정자와 [소괄호]를 통..
Data/수학(Mathematical Thinking)
2024. 11. 8. 21:56