Notice
Recent Posts
Recent Comments
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 | 31 |
Tags
- std::sort
- 구현
- 실버 5
- mit
- 최적제어
- 로보틱스
- 대수경
- 정렬
- 큐
- 텔레스코픽로봇
- 집합과 맵
- 6.042j
- 전국 대학생 수학 경시대회
- 로봇공학
- 백준
- 다리로봇
- 자료구조
- BOJ
- 실버 4
- 수학
- 문자열
- baekjoon problem solving
- C++
- lqr
- MIT opencourse
- mathematics for computer science
- HJB방정식
- 논문리뷰
- baekjoon
- LeggedRobot
Archives
- Today
- Total
목록Proof (1)
서두르지 말고 쉬지 말자
Every nonempty set of nonnegative integers has a smallest element.모든 비어있지 않은 자연수의 집합은 최소 원소를 가진다.이 문장은 The Well Ordering Principle로 알려져 있다. 이 원리는 이산수학에서 중요한 증명규칙 중 하나를 제공한다.2.1 Well Ordering Proofs 우리는 이미 Well Ordering Pinciple을 당연하게 받아들었다. 예를 들여, $\sqrt 2$가 유리수임을 증영할 때 $\sqrt 2$를 양의 정수 m,n으로 이루어진 기약분수 m/n으로 가정했는데 ,어떻게 이런 가정이 항상 가능할까? 기약분수 꼴로 나타낼 수 없는 양의 정수 m,n으로 이루어진 분수 m/n를 가정하자. 이제 이에 해당하는 분수..
MIT opencourse/6.042J Mathematics for Computer Science
2025. 2. 23. 01:11
