Sub:
산술,arithmetic
대수학,algebra
선형대수,linear_algebra
미적분,calculus
확률,probability
통계,statistics
확률과_통계,probability_and_statistics
기하학,geometry
조합론,combinatorics
이산수학,discrete_math
해석학,analysis
위상,topology (위상수학)
산술,arithmetic
대수학,algebra
선형대수,linear_algebra
미적분,calculus
확률,probability
통계,statistics
확률과_통계,probability_and_statistics
기하학,geometry
조합론,combinatorics
이산수학,discrete_math
해석학,analysis
위상,topology (위상수학)
좌표계,coordinate_system
좌표,coordinate
함수,function
스칼라와_벡터_비교
절대값,absolute_value
공식,formula
방정식,equation
항등식,identity
부등식,inequality
점화식,recurrence_relation
벡터,vector
텐서,tensor
로그,log
비,ratio
집합,set
수열,sequence
급수,series
수학적귀납법,mathematical_induction
수,number
구간,interval
분수,fraction
노름,norm
범위,range
기저,basis
공간,space
좌표,coordinate
함수,function
삼각함수,trigonometric_function
감마함수,gamma_function
최대 정수 함수, greatest integer function, floor function (가우스 기호)
디랙_델타함수,Dirac_delta_function
삼각법,trigonometry감마함수,gamma_function
최대 정수 함수, greatest integer function, floor function (가우스 기호)
디랙_델타함수,Dirac_delta_function
스칼라와_벡터_비교
절대값,absolute_value
공식,formula
방정식,equation
항등식,identity
부등식,inequality
점화식,recurrence_relation
벡터,vector
텐서,tensor
로그,log
비,ratio
집합,set
수열,sequence
급수,series
수학적귀납법,mathematical_induction
수,number
구간,interval
분수,fraction
노름,norm
범위,range
기저,basis
공간,space
문제,problem and 부분문제,subproblem(- 주로 CS용어임. ex. dynamic_programming, overlapping_subproblem 등등)
해,solution
근,루트,root
thesis - 논문,thesis 논제,thesis 테제 등.
공준,postulate
정의,definition http://oeis.org/wiki/Definitions
정리,theorem
보조정리,lemma http://oeis.org/wiki/Lemmas
따름정리,corollary http://oeis.org/wiki/Corollaries
해,solution
근,루트,root
thesis - 논문,thesis 논제,thesis 테제 등.
{
ex. 처치-튜링_논제,Church-Turing_thesis w
thesis
공리,axiomex. 처치-튜링_논제,Church-Turing_thesis w
{
Church-Turing thesis, 처치-튜링 논제
계산가능성,computability 튜링_기계,Turing_machine
Alonzo_Church Alan_Turing
Church-Turing_thesis
https://www.aistudy.com/computer/church_turing_thesis.htm
Church–Turing_thesis
추측,conjecture이라고도 함. (we)
} // Church-Turing thesis
Church-Turing thesis
} // thesis Church-Turing thesis, 처치-튜링 논제
계산가능성,computability 튜링_기계,Turing_machine
Alonzo_Church Alan_Turing
Church-Turing_thesishttps://www.aistudy.com/computer/church_turing_thesis.htm
Church–Turing_thesis추측,conjecture이라고도 함. (we)
} // Church-Turing thesis
Church-Turing thesisthesis공준,postulate
정의,definition http://oeis.org/wiki/Definitions
정리,theorem
보조정리,lemma http://oeis.org/wiki/Lemmas
따름정리,corollary http://oeis.org/wiki/Corollaries
증명,proof
추론 - inference(정보에 의거한) or deduction(연역적 방법에 의한)
derivation - w rr
가정,assumption
진술,statement WpKo 없음
명제,proposition
추론 - inference(정보에 의거한) or deduction(연역적 방법에 의한)
derivation - w rr
가정,assumption
진술,statement WpKo 없음
명제,proposition
추측,conjecture - 옳다고 여겨지지만, 증명되거나 반증되지 않은 명제,proposition.
- 이상 논리,logic과 겹치는 내용 많음, 수리논리,mathematical_logic?
형식체계,formal_system- 이상 논리,logic과 겹치는 내용 많음, 수리논리,mathematical_logic?
수체계? 수집합? 수의_집합
Octonion
팔원수
![[https]](http://tomoyo.ivyro.net/123/imgs/https.png)
수학백과: 팔원수(https://terms.naver.com/entry.naver?docId=3405378&cid=47324&categoryId=47324)
}
자연수,natural_number ℕ
정수,integer ℤ
유리수,rational_number ℚ
무리수,irrational_number
대수적수? algebraic_number
초월수,transcendental_number
실수,real_number ℝ
허수,imaginary_number
복소수,complex_number ℂ
사원수,quaternion ℍ - 곱셈 교환법칙 미성립
팔원수,octonion 𝕆 - 곱셈 교환법칙 미성립, 곱셈 결합법칙 미성립
{정수,integer ℤ
유리수,rational_number ℚ
무리수,irrational_number
대수적수? algebraic_number
초월수,transcendental_number
실수,real_number ℝ
허수,imaginary_number
복소수,complex_number ℂ
사원수,quaternion ℍ - 곱셈 교환법칙 미성립
팔원수,octonion 𝕆 - 곱셈 교환법칙 미성립, 곱셈 결합법칙 미성립
Octonion팔원수수학백과: 팔원수(https://terms.naver.com/entry.naver?docId=3405378&cid=47324&categoryId=47324)}
2. Sites/Bookmarks ¶
류경석(Ernest Ryu)
최적화,optimization, 인공지능,artificial_intelligence
http://www.math.snu.ac.kr/~ernestryu/
(via https://www.youtube.com/watch?v=_vk_82dNMNI ; delme)
최적화,optimization, 인공지능,artificial_intelligence
http://www.math.snu.ac.kr/~ernestryu/
(via https://www.youtube.com/watch?v=_vk_82dNMNI ; delme)
AKA mathematics
어원: mathesis (`정신 수양' 또는 `배움') → 그리스어 mathematikos → 라틴어 mathematica (![[http]](http://tomoyo.ivyro.net/123/imgs/http.png)
from(http://www.math.snu.ac.kr/~hongjong/c4ns/Math.htm))
어원: mathesis (`정신 수양' 또는 `배움') → 그리스어 mathematikos → 라틴어 mathematica (
from(http://www.math.snu.ac.kr/~hongjong/c4ns/Math.htm))