07-05 02:38
일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
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
- Operator
- X윈도우
- X.org
- OOP
- 리눅스 마스터 1급
- Class
- 리눅스 기초
- Mac
- Physical Scheme
- selenium
- 백준
- 셀레니움
- Polymolphism
- Unity
- preprocessing
- Binary Search
- 리눅스
- Entity Set
- External Scheme
- BFS
- descriptive statistics
- Inheritance
- python
- systemd
- dbms
- Reference Type
- Java
- literal
- 자바
- Entity
Archives
- Today
- Total
목록Math/Number Theory (1)
Byeol Lo
[Number Theory] Divisibility
나누어 떨어지는 것을 중학교 때 배웠을 것이다. 정수 5가 10을 나눌 수 있다 라는 명제는 참이며, 이를 식으로 나타낼 수 있는 어떤 relationship 이 필요할 것이다. 여기서는 나누어 떨어짐을 고급스럽게 표현하는 방법과 성질들을 배운다. Divisibility∀ 𝑎, 𝑏 ∈ ℤ, (∃ 𝑐 ∈ ℤ, 𝑏 = 𝑎𝑐) ⇒ ( 𝑎 | 𝑏 ) ∨ ( "𝑎 가 𝑏 를 나눈다." ) ∨ ( "𝑎 는 𝑏 의 약수이다, 혹은 약수로 가진다." )간단하게 b = ac 꼴로 나타낼 수 있으면 a 가 b 를 나눌 수 있다. Tautology0의 약수는 모든 정수이다.1은 모든 정수의 약수이다.0이 아닌 모든 정수는 자기 자신을 약수로 가진다.1의 약수는 1, 0, -1 뿐이다. Theorem∀ ..
Math/Number Theory
2024. 7. 2. 14:23