- 라플라스변환Laplace_transform . . . . 63 matches
$F(s)=\mathcal{L}\left\lbrace f(t)\right\rbrace=\int_0^{\infty}e^{-st}f(t)dt$
> $\mathcal{L}\{f(t)\}(s):=\int_{0}^{\infty} e^{-st}f(t)dt$
$\mathcal{L}\{1\}(s)=\int_0^{\infty}e^{-st}\cdot1dt$ ( $s\le0$ 일 때는 정의 안 됨 )
$\mathcal{L}\{t\}(s)=\int_0^{\infty}e^{-st}tdt$
$\mathcal{L}\{e^{-3t}\}(s)=\int e^{-st}e^{-3t}dt$
$\mathcal{L}\{e^{-at}\}=\frac1{s+a}\quad(s>-a)$
$\mathcal{L}\{\sin2t\}=\int e^{-st}\sin2tdt$
$=\frac2s\cdot\mathcal{L}\{\cos 2t\}$
이렇게 원래 구하고자 하던 $\mathcal{L}\{\sin2t\}$ 꼴이 나옴
$\mathcal{L}\lbrace\sin 2t\rbrace=\frac2{s^2}-\frac4{s^2}\cdot\mathcal{L}\left\lbrace\sin 2t\right\rbrace$
$(1+\frac4{s^2})\mathcal{L}\{\sin2t\}=\frac2{s^2}$
$\mathcal{L}\{\sin2t\}=\frac{\frac{2}{s^2}}{1+\frac{4}{s^2}}=\frac2{s^2+4}\quad (s>0)$
$\mathcal{L}\{\cos2t\}=\frac{s}{2}\cdot\mathcal{L}\{\sin2t\}=\frac{s}{s^2+4}\quad (s>0)$
$\mathcal{L}\{3t-5\sin2t\}$
$=3\mathcal{L}\{t\}-5\mathcal{L}\{\sin 2t\}$
$\mathcal{L}\left\lbrace 1 \right\rbrace=\frac1s$
$\mathcal{L}\left\lbrace t \right\rbrace=\frac1{s^2}=\frac{1!}{s^2}$
$\mathcal{L}\left\lbrace t^2 \right\rbrace=\frac2{s^3}=\frac{2!}{s^3}$
$\mathcal{L}\left\lbrace t^3 \right\rbrace=\frac6{s^4}=\frac{3!}{s^4}$
$\mathcal{L}\left\lbrace t^n \right\rbrace=\frac{n!}{s^{n+1}}$
- 확률변수,RV . . . . 36 matches
$X:\mathbb{\Omega}\to\mathbb{R}$
$\mathbb{\Omega}$ = [[VG:표본공간,sample_space]]
여기서, range $r(X)=\left{x\middle|\exists\omega\in\mathbb{\Omega}\textrm{ such that }X(\omega)=x\right}$
$p_X(x)=P(X=x)=P\left(\left{\omega\in\mathbb{\Omega}\middle|X(\omega)=x\right}\right)$
$=P(\{\omega\in\mathbb{\Omega}|X(\omega)=x\textrm{ and }Y(\omega)=y\})$
$P(X\in B)=\int_B f_X(x)dx,\;\;\forall B\subset\mathbb{R}$
이제부터 $P$ 와 $\mathbb{P}$ 를 구분하겠음
$\mathbb{P}(A_i)>0$
$E[X]=\sum_{i=1}^n \mathbb{P}(A_i)E[X|A_i]$
$=\sum_{i} \mathbb{P}(A_i) \sum_x x P_{X|A_i}(x)$
$=\sum_{i} \mathbb{P}(A_i) \sum_x x\cdot \mathbb{P}(X=x|A_i)$
$=\sum_x x \sum_i \mathbb{P}(A_i) \mathbb{P}(X=x|A_i)$
$=\sum_x x \mathbb{P}(X=x)$
$\mathbb{P}(X\ge a)\le \frac{E[X]}a$
좌변 $=a\cdot\mathbb{P}(x\ge a)+0\cdot \mathbb{P}(x\lt a)$
$=a\cdot \mathbb{P}(x\ge a)$
$\mathbb{P}(X\ge 5)\le \frac55 = 1$
$\mathbb{P}(X\ge 6)\le\frac56$
$\mathbb{P}(|X-\mu|\ge a)\le\frac{\sigma^2}{a^2}$
$\mathbb{P}(X-\mu>a\textrm{ or }X-\mu\le-a)$
- WikiSandBox . . . . 31 matches
[[메타수학,metamathematics]] =메타수학,metamathematics =,metamathematics 메타수학 metamathematics
https://en.wikipedia.org/wiki/Metamathematics
} // metamathematics
finite_mathematics = discrete_mathematics 와 관계?? 근데 geometry에선 finite_geometry ≠ discrete_geometry ??
https://mathworld.wolfram.com/AffineGeometry.html
KmsK:확률론 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=확률론
WtEn:closure - in math?
[[WpSp:Closure_(mathematics)]]
[[WpEn:Closure_(mathematics)]]
$V(t)=\mathcal{E}_0(1-e^{-\frac{t}{RC}})$
mathcal:
$\mathcal{ABCDEFGHIJKLMNOPQRSTUVWXYZ abcdefghijklmnopqrstuvwxyz 0123456789}$
$\mathcal{A B \Gamma \Delta E Z H \Theta I K \Lambda M N \Xi O \Pi P \Sigma T \Upsilon \Phi X \Psi \Omega \alpha \beta \gamma \delta \epsilon \zeta \eta \theta \iota \kappa \lambda \mu \nu \xi o \pi \rho \sigma \tau \upsilon \phi \chi \psi \omega \varepsilon\vartheta\varpi\varrho\varsigma\varphi}$
mathrm:
$\mathrm{ABCDEFGHIJKLMNOPQRSTUVWXYZ abcdefghijklmnopqrstuvwxyz 0123456789}$
$\mathrm{A B \Gamma \Delta E Z H \Theta I K \Lambda M N \Xi O \Pi P \Sigma T \Upsilon \Phi X \Psi \Omega \alpha \beta \gamma \delta \epsilon \zeta \eta \theta \iota \kappa \lambda \mu \nu \xi o \pi \rho \sigma \tau \upsilon \phi \chi \psi \omega \varepsilon\vartheta\varpi\varrho\varsigma\varphi}$
mathbb:
$\mathbb{ABCDEFGHIJKLMNOPQRSTUVWXYZ abcdefghijklmnopqrstuvwxyz 0123456789}$
$\mathbb{A B \Gamma \Delta E Z H \Theta I K \Lambda M N \Xi O \Pi P \Sigma T \Upsilon \Phi X \Psi \Omega \alpha \beta \gamma \delta \epsilon \zeta \eta \theta \iota \kappa \lambda \mu \nu \xi o \pi \rho \sigma \tau \upsilon \phi \chi \psi \omega \varepsilon\vartheta\varpi\varrho\varsigma\varphi}$
mathbf:
- 범주,category . . . . 25 matches
Maths - Category Theory - Martin Baker
https://www.euclideanspace.com/maths/discrete/category/index.htm
https://www.euclideanspace.com/maths/discrete/category/higher/monad/index.htm
KmsE:bimorphism = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=bimorphism x [[Date(2023-11-14T09:16:39)]]
[[mathematical_structure]] - 수학적 구조(mathematical_structure), [[수학,math]] curr at [[구조,structure?action=highlight&value=mathematical_structure]]
(tmp) kms opposite => https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=opposite
https://encyclopediaofmath.org/wiki/Dual_category
https://encyclopediaofmath.org/wiki/Small_category
https://encyclopediaofmath.org/wiki/Closed_category
https://encyclopediaofmath.org/wiki/Bicategory
MKLINK [[quotient_object]] [[몫,quotient]] https://encyclopediaofmath.org/wiki/Quotient_category
[[topologized_category]] => https://encyclopediaofmath.org/wiki/Site
[[Abelian_category]] { https://mathworld.wolfram.com/AbelianCategory.html https://encyclopediaofmath.org/wiki/Abelian_category }
[[Grothendieck_category]] { https://encyclopediaofmath.org/wiki/Grothendieck_category }
[[derived_category]] =,derived_category . derived_category { '''derived category''' https://encyclopediaofmath.org/wiki/Derived_category } // derived category Ggl:"derived category"
[[MathWorld:AdditiveCategory]] = https://mathworld.wolfram.com/AdditiveCategory.html
https://encyclopediaofmath.org/wiki/Additive_category
https://mathworld.wolfram.com/Subcategory.html
http://xahlee.info/math/category_theory_tom_leinster.html
Notes on Category Theory / with examples from basic mathematics / Paolo Perrone http://www.paoloperrone.org / Last update: February 2021
- 수학,math . . . . 24 matches
[[수학적표기법,mathematical_notation]] =,mathematical_notation . mathematical_notation WtEn:mathematical_notation
WtEn:mathematical_notation ?
[[WpEn:Mathematical_notation]] = https://en.wikipedia.org/wiki/Mathematical_notation
} // mathematical_notation
Up: [[수학적표기법,mathematical_notation]]
[[이산수학,discrete_math]] or [[discrete_mathematics]] =,discrete_mathematics . discrete_mathematics
WtEn:discrete_mathematics
http://bigdata.dongguk.ac.kr/lectures/disc_math/_book/
Ggl:"open discrete.mathematics textbooks"
http://xahlee.info/math/calculus_textbooks.html
'묻기, 매장, 매입' .... https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=embedding
'몰입, 넣기' .... kms immersion: https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=immersion
https://mathworld.wolfram.com/AlmostEverywhere.html
https://mathworld.wolfram.com/AlmostSurely.html
= Free Math Textbooks =
http://xahlee.info/math/math_books.html
Ggl:"Free Math Textbooks"
= 전문적인 math blogs =
https://ncatlab.org/nlab/show/math+blogs
mk page [[수학블로그,math_blog]]s? Up: [[블로그,blog]]
- 유클리드_공간,Euclidean_space . . . . 23 matches
$\mathbb{R}^n$ ??
[[유클리드_평면,Euclidean_plane]] $\mathbb{R}^2$
그리고 3차원공간 $\mathbb{R}^3$ 은 유클리드 공간의 일부.
$\mathbb{R}$ : the set of real numbers
$\mathbb{R}^2=\mathbb{R}\times\mathbb{R}$ : [[평면,plane]]
$\mathbb{R}^3=\mathbb{R}\times\mathbb{R}\times\mathbb{R}$ : 3차원 [[공간,space]]
$\mathbb{R}^n=n$ [[차원,dimension]] '''유클리드 공간'''? chk - Yes
"◆수리물리학([[수리물리학,mathematical_physics]] or [[수리물리,mathematical_physics]] =,mathematical_physics . mathematical_physics { WtEn:mathematical_physics Ndict:수리물리학 } )
잘 기술하는 [[시공간,spacetime]]의 수학적 모델^^[[mathematical_model]]^^이다.
◆ [[수학,math]]에서 '''민코프스키 공간(Minkowski_space)'''은
[[선형공간,linear_space]] $\mathbb{R}^4$ 에 특정한 WpKo:쌍선형_형식
가 주어진 수학적 구조 // mathematical_structure WtEn:mathematical_structure
$(\mathbb R^4, \eta)$
- OnlineLectures . . . . 21 matches
Mathematics for Machine Learning 특화 과정
https://www.coursera.org/specializations/mathematics-machine-learning
http://sosmath.com/
· Introduction to Mathematical Programming (Operations Research: Volume One), W. L. Winston & M. Venkataramanan, Thomson, 4th edition
= Coursera: Data Science Math Skills =
[[Coursera_Data_Science_Math_Skills]]
https://www.coursera.org/learn/datasciencemathskills
via: http://aispiration.com/statistics/math-for-data-science.html
real vector space라면 $\vec{v}\cdot\vec{v}=a^2+b^2>0$ 즉 항상 positive일텐데, $(a,b\in\mathbb{R})$ // 0은 포함 안되나? '0 이상' 은 안되나?
= youtube 이상엽Math =
= MIT Mathematics for Computer Science =
MIT 6.042J Mathematics for Computer Science, Fall 2010
= 인공지능 수학 입문 (Introductory Mathematics for AI) (K-MOOC) =
01주차 함수의 그래프와 방정식의 해 http://matrix.skku.ac.kr/math4ai-intro/W1/
02주차 데이터와 행렬 http://matrix.skku.ac.kr/math4ai-intro/W2/
03주차 데이터의 분류 http://matrix.skku.ac.kr/math4ai-intro/W3/
04주차 선형연립방정식의 해집합 http://matrix.skku.ac.kr/math4ai-intro/W4/
05주차 정사영과 최소제곱문제 http://matrix.skku.ac.kr/math4ai-intro/W5/
06주차 행렬분해 http://matrix.skku.ac.kr/math4ai-intro/W6/
07주차 극한과 도함수 http://matrix.skku.ac.kr/math4ai-intro/W7/
- 로런츠_힘,Lorentz_force . . . . 21 matches
[[전기장,electric_field]] 영역에 대한 '''Lorentz force'': (전기장 $\mathbf{E}$ )
$\mathbf{F}=q\mathbf{E}$ (전하가 입자 상태로 이산적 분포)
$\mathbf{F} = \iiint \rho \mathbf{E} dV$ (전하가 연속적 분포, [[전하밀도,charge_density]] $\rho=dq/dV$ 일 때)
[[자기장,magnetic_field]] 영역에 대한 '''Lorentz force''': (자기장 $\mathbf{B}$ )
$\mathbf{F} = q\mathbf{v}\times\mathbf{B}$ (전하가 이산)
$\mathbf{v}:$ 입자의 속도
$\mathbf{F}=\iiint (\mathbf{J}\times\mathbf{B}) dV$ (전하가 연속)
$\mathbf{J}:$ [[전류밀도,current_density]], $=\rho\mathbf{v}$ (i.e. 전하밀도와 전하속도의 곱)
$\mathbf{F}=\iiint (\mathbf{J}\times\mathbf{B}) dV \approx \int I d\mathbf{\ell}\times\mathbf{B}$
$\mathbf{\ell}:$ 전류의 [[미소변위벡터]] Ggl:미소변위벡터 NN:미소변위벡터
- 그래프이론,graph_theory . . . . 20 matches
kms : 인접행렬. via https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=adjacency
// not in kms as of [[Date(2022-11-14T01:13:48)]] => https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=centrality
https://mathworld.wolfram.com/GraphSum.html
https://mathworld.wolfram.com/GraphDifference.html
https://mathworld.wolfram.com/GraphJoin.html
https://mathworld.wolfram.com/GraphUnion.html
https://mathworld.wolfram.com/ConnectedGraph.html
https://mathworld.wolfram.com/BiconnectedGraph.html
https://mathworld.wolfram.com/DisconnectedGraph.html
https://mathworld.wolfram.com/EmptyGraph.html
https://mathworld.wolfram.com/NullGraph.html
https://mathworld.wolfram.com/SingletonGraph.html
https://mathworld.wolfram.com/GraphComplement.html
https://mathworld.wolfram.com/CycleGraph.html
https://mathworld.wolfram.com/ButterflyGraph.html
https://mathworld.wolfram.com/CubicGraph.html
https://mathworld.wolfram.com/StronglyRegularGraph.html
https://mathworld.wolfram.com/WeaklyRegularGraph.html
https://mathworld.wolfram.com/RegularGraph.html
http://www.aistudy.com/math/graph_johnsonbaugh.htm
- 모형,model . . . . 20 matches
logic - Incompleteness theorem: Peano arithmetic vs. standard model of arithmetic - Mathematics Stack Exchange
https://math.stackexchange.com/questions/4247792/incompleteness-theorem-peano-arithmetic-vs-standard-model-of-arithmetic
[[mathematical_logic]]수리논리 의 한 분야.
$\mathcal{L}$ : 1계논리''(분명 [[first-order_logic]]... =일차논리. linked to: [[https://terms.naver.com/entry.naver?docId=5669185&ref=y&cid=60207&categoryId=60207 술어논리]], i.e. [[술어논리,predicate_logic]] - [[VG:술어논리,predicate_logic]])''의 [[언어,language]] // rel? : [[first-order_language]]
$\mathcal{P}$ : 술어기호들의 집합 .... [[술어,predicate]] [[기호,symbol]] [[집합,set]]
$\mathcal{F}$ : 함수기호들의 집합 .... [[함수,function]]
$\mathcal{C}$ : 상수기호들의 집합 .... [[상수,constant]]
$\mathcal{L}=\mathcal{P}\cup\mathcal{F}\cup\mathcal{C}$
그럼 언어 $\mathcal{L}$ 의 '''model''' $M$ 이란, $M$ 의 영역(universe) // [[유니버스,universe]]의 번역을 [[영역,universe]]으로 했음. 이거? [[WpEn:Universe_%28mathematics%29]] https://encyclopediaofmath.org/wiki/Universe
$\mathcal{L}$ 의 특정 기호 각각의 [[해석,interpretation]]이 첨부된''(mapping? correspondence? bijection?)'' 것이다. 기호의 해석이란, =해석 =,interpretation .
$M=(|M|,\,P^M,\,f^M,\,c^M\;|\; P\in\mathcal P,\,f\in\mathcal F,\,c\in\mathcal C)$
이러한 형태로 표현할 수 있는 것을 $(\mathcal L-)$ '''모델''' 이라 한다. 모델을 [[구조,structure]]라고도 한다. // Ggl:"model and structure difference in mathematical logic" Ggl:"수리논리학 모델 구조 차이"
이하 명제를 '만족' ( 혹시 충족으로도 번역되는 satisfaction ?? [[포뮬러,formula]]가 [[참,true]]이 되게 하는 그거? rel. [[satisfaction_relation]]? chk. Ggl:satisfaction+in+mathematics ... [[만족,satisfaction]] [[충족,satisfaction]] ... KmsK:만족 )
- 형용사,adjective . . . . 20 matches
https://mathworld.wolfram.com/Associative.html
https://mathworld.wolfram.com/AssociativeAlgebra.html
https://mathworld.wolfram.com/Commutative.html
https://mathworld.wolfram.com/Distributive.html
https://mathworld.wolfram.com/Transitive.html
https://mathworld.wolfram.com/ModularLattice.html
https://encyclopediaofmath.org/wiki/Bilinear_mapping
https://encyclopediaofmath.org/wiki/Bilinear_form
https://mathworld.wolfram.com/MultilinearForm.html
https://encyclopediaofmath.org/wiki/Bimodule
https://mathworld.wolfram.com/BivariateNormalDistribution.html
기하에선 주로 법-, 딴데선? WtEn:regular ...in math? and n.? normality ?? WtEn:normality
기하에선 주로 접- ... 딴데선? WtEn:tangent ... in math? and n. ?
WtEn:regular ... in math? and n. ? regularity ? WtEn:regularity
= reflective ? (syn. in math?) chk. WtEn:reflective
n. reflexivity ?? (가능성?) https://encyclopediaofmath.org/wiki/Reflexivity
WtEn:total - in math?
WtEn:partial - in math ?
https://mathworld.wolfram.com/Covariance.html
https://mathworld.wolfram.com/CovarianceMatrix.html
- 게임,game . . . . 19 matches
https://encyclopediaofmath.org/wiki/Strategy_(in_game_theory)
[[https://encyclopediaofmath.org/wiki/Strategy_(in_game_theory)]]
https://encyclopediaofmath.org/wiki/Domination
에 따라 cooperative_game non-cooperative_game { https://encyclopediaofmath.org/wiki/Cooperative_game https://encyclopediaofmath.org/wiki/Non-cooperative_game }
https://encyclopediaofmath.org/wiki/Gain_function
https://encyclopediaofmath.org/wiki/Dynamic_game
https://encyclopediaofmath.org/wiki/Stochastic_game
https://encyclopediaofmath.org/wiki/Recursive_game
https://encyclopediaofmath.org/wiki/Positional_game
https://encyclopediaofmath.org/wiki/Differential_games - [[제어이론,control_theory]] [[automatic_control_theory]] { 자동제어이론? https://encyclopediaofmath.org/wiki/Automatic_control_theory } 의 branch.
https://encyclopediaofmath.org/wiki/Cooperative_game
rel. Shapley_value / Shapley_vector https://encyclopediaofmath.org/wiki/Shapley_value
https://encyclopediaofmath.org/wiki/Non-cooperative_game
https://encyclopediaofmath.org/wiki/Non-atomic_game
https://encyclopediaofmath.org/wiki/Two-person_zero-sum_game
https://encyclopediaofmath.org/wiki/Matrix_game
https://mathworld.wolfram.com/ConwayGame.html
- 관계,relation . . . . 19 matches
https://math.libretexts.org/Bookshelves/Combinatorics_and_Discrete_Mathematics/A_Cool_Brisk_Walk_Through_Discrete_Mathematics_(Davies)/03%3A_Relations/3.4%3A_Finite_and_infinite_relations
https://mathworld.wolfram.com/Satisfaction.html
https://planetmath.org/satisfactionrelation
WpEn:Relational_structure ''- redir. to https://en.wikipedia.org/wiki/Structure_%28mathematical_logic%29''
aka: [[relational_system]] =,relational_system . relational_system { relational system AKA: [[relational_structure]]. https://mathworld.wolfram.com/RelationalSystem.html https://planetmath.org/relationalsystem Ggl:"relational system" }
Up: [[구조,structure]] > [[mathematical_structure]]
https://encyclopediaofmath.org/wiki/Relation_symbol
https://encyclopediaofmath.org/wiki/Predicate_symbol
https://mathworld.wolfram.com/ReflectionRelation.html
https://mathworld.wolfram.com/TranslationRelation.html
https://mathworld.wolfram.com/RecurrenceRelation.html
"When ..., known as recurrence_equation { https://mathworld.wolfram.com/RecurrenceEquation.html } s, or sometimes difference_equation s"
https://mathworld.wolfram.com/ClosureRelation.html
https://encyclopediaofmath.org/wiki/Relation
[[WpSp:Relation_(mathematics)]]
= https://simple.wikipedia.org/wiki/Relation_(mathematics)
= https://simple.wikipedia.org/wiki/Relation_%28mathematics%29
https://mathworld.wolfram.com/Relation.html
- 증명이론,proof_theory . . . . 19 matches
https://encyclopediaofmath.org/wiki/Derivation_rule
https://encyclopediaofmath.org/wiki/Derived_rule
모든 derived_rule 은 sound_rule ## https://encyclopediaofmath.org/wiki/Sound_rule ## soundness ?
예를 들어 propositional_calculus 에서 substitution_rule 은 ## https://encyclopediaofmath.org/wiki/Substitution_rule ## [[치환,substitution]] [[규칙,rule]] ?
https://encyclopediaofmath.org/wiki/Deducible_rule
[[수리논리,mathematical_logic]]
[[수학,math]]
https://mathworld.wolfram.com/Metatheorem.html
[[Date(2023-11-12T09:45:06)]] 현재 short "메타이론(metatheory)은 이론을 대상으로 하는 이론이다. 모든 연구분야의 이론들은 메타이론을 공유한다. 공유되는 메타이론이 명확하거나 정확한지는 상관없다. ''(? 모호)'' 좀 더 제한되고 구체적인 의미로는, 수학^^[[수학,math]]^^과 수리논리학^^[[mathematical_logic]]^^에서 알 수 있다. 즉, 메타이론은 다른 수리 모델(수학적 [[이론,theory]]^^([[mathematical_theory]]?)^^)에 대한 수리 모델^^[[mathematical_model]]?^^이다."
https://mathworld.wolfram.com/Metatheory.html
Up: [[이론,theory]] [[메타수학,metamathematics]]? [[메타,meta]]
Up: [[정리,theorem]] [[메타수학,metamathematics]]? [[메타,meta]]
https://mathworld.wolfram.com/ProofTheory.html - ''aka [[메타수학,metamathematics]]''
https://encyclopediaofmath.org/wiki/Proof_theory
Up: [[수리논리,mathematical_logic]] [[증명,proof]] [[이론,theory]]
- 노름,norm . . . . 18 matches
[[복소수,complex_number]]의 '''norm'''은 complex_modulus (aka complex_norm ) https://mathworld.wolfram.com/ComplexModulus.html
[[사원수,quaternion]]의 '''norm'''은 https://mathworld.wolfram.com/QuaternionNorm.html
WpEn:Manhattan_distance ? fffffffffff [[거리,distance]] [[VG:거리,distance]] } https://mathworld.wolfram.com/L1-Norm.html
L2 norm = Euclidean_norm ... rel. Euclidean_distance https://mathworld.wolfram.com/L2-Norm.html
infinity_norm ... tmp see https://blog.naver.com/waterforall/223058427336 https://mathworld.wolfram.com/L-Infinity-Norm.html
https://mathworld.wolfram.com/VectorNorm.html
[[matrix_norm]] https://mathworld.wolfram.com/MatrixNorm.html (double bar, 그 외는 single bar)
[[p-adic_norm]] https://mathworld.wolfram.com/p-adicNorm.html
[[다항식노름,polynomial_norm]] - w; curr see https://mathworld.wolfram.com/PolynomialNorm.html
KmsK:노름공간 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=노름공간
https://mathworld.wolfram.com/Seminorm.html
https://encyclopediaofmath.org/wiki/Semi-norm
https://mathworld.wolfram.com/Norm.html
https://encyclopediaofmath.org/wiki/Norm
[[WpSp:Norm_(mathematics)]] = https://simple.wikipedia.org/wiki/Norm_(mathematics)
[[WpEn:Norm_(mathematics)]] = https://en.wikipedia.org/wiki/Norm_(mathematics)
- 순서,order . . . . 18 matches
https://math.stackexchange.com/questions/1614875/what-does-≼-or-≺-mean
[[https://encyclopediaofmath.org/wiki/Order_(on_a_set)]] - ''order relation''
https://planetmath.org/partialorder
https://encyclopediaofmath.org/wiki/Partially_ordered_set
https://encyclopediaofmath.org/wiki/Totally_ordered_set - ''chain, linear order'' // [[사슬,chain]] [[선형순서,linear_order]]
"every nonempty subset of the positive integers $\mathbb{Z}^{+}$ contains a smallest element."
rel [[mathematical_induction]] ie [[귀납,induction]](of math)
https://encyclopediaofmath.org/wiki/Well-ordered_set
https://encyclopediaofmath.org/wiki/Lexicographic_order
kms preorder => https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=preorder
https://planetmath.org/preorder
Prefix for mathematical terms?
// kms pointwise : '점마다, 점별' .... ~~https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=pointwise~~ KmsE:pointwise
// kms piecewise : 조각/조각마다/조각적 ... --https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=piecewise-- KmsE:piecewise
// kms wise : https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=wise
https://en.wikipedia.org/wiki/List_of_order_structures_in_mathematics
https://mathworld.wolfram.com/Ordering.html
- 식,expression . . . . 17 matches
mathematical expression 수식
[[수식,mathematical_expression]] ?
mathematical_expression - 현재 this page와 구분을 두고 있지는 않은데 나중에 분리?
//한다면 [[수식,mathematical_expression]]
WtEn:mathematical_expression ???? qqqqqqqqqiiiiiiii
rel. [[표기법,notation]] > 수학적표기법 [[mathematical_notation]]
[[Wiki:MathematicalNotation]]
= http://wiki.c2.com/?MathematicalNotation
algebraic_function 대수함수 (wk) 대수적 함수 Opp. "Nonalgebraic functions are called transcendental_function s."(mw) https://mathworld.wolfram.com/AlgebraicFunction.html https://en.wikipedia.org/wiki/Algebraic_function https://ko.wikipedia.org/wiki/대수함수 https://planetmath.org/AlgebraicFunction Up: [[함수,function]]
algebraic_equation "algebraic equation or polynomial equation"(we) AKA: polynomial_equation =,polynomial_equation . https://mathworld.wolfram.com/AlgebraicEquation.html https://en.wikipedia.org/wiki/Algebraic_equation
algebraic_number "The roots of an algebraic_equation in one variable are known as '''algebraic number'''s."[* https://mathworld.wolfram.com/AlgebraicEquation.html]
https://mathworld.wolfram.com/AlgebraicNumber.html
transcendental_function =,transcendental_function . https://mathworld.wolfram.com/TranscendentalFunction.html
https://mathworld.wolfram.com/AlgebraicExpression.html
[[WpEn:Expression_(mathematics)]] = mathematical_expression = 수식
= https://en.wikipedia.org/wiki/Expression_(mathematics)
= https://en.wikipedia.org/wiki/Expression_%28mathematics%29
- 측도,measure . . . . 16 matches
https://encyclopediaofmath.org/wiki/Signed_measure
https://encyclopediaofmath.org/wiki/Discrete_measure
https://encyclopediaofmath.org/wiki/Measure_space
https://encyclopediaofmath.org/wiki/Complete_measure
https://mathworld.wolfram.com/MeasurableSpace.html
한줄 "A set considered together with the sigma-algebra ( MathWorld:Sigma-Algebra ) on the set."
https://encyclopediaofmath.org/wiki/Measurable_space
REL [[가측집합,measurable_set]] { https://encyclopediaofmath.org/wiki/Measurable_set
https://encyclopediaofmath.org/wiki/Wiener_measure
https://planetmath.org/CountingMeasure
https://mathworld.wolfram.com/OuterMeasure.html
https://mathworld.wolfram.com/Premeasure.html
https://mathworld.wolfram.com/CaratheodoryMeasure.html
[[WpEn:Measure_(mathematics)]]
= https://en.wikipedia.org/wiki/Measure_(mathematics)
= https://en.wikipedia.org/wiki/Measure_%28mathematics%29
MKL [[아톰,atom]] ...(wpko refers https://encyclopediaofmath.org/wiki/Atom )
- RandomWikiPages . . . . 15 matches
수학노트 http://wiki.mathnt.net/index.php?title=특수:임의문서 + http://wiki.mathnt.net/index.php?title=특수:임의문서
http://mathworld.wolfram.com/cgi-bin/random.cgi + http://mathworld.wolfram.com/cgi-bin/random.cgi + http://mathworld.wolfram.com/cgi-bin/random.cgi
https://encyclopediaofmath.org/wiki/Special:Random + https://encyclopediaofmath.org/wiki/Special:Random
[[https://simple.wikipedia.org/wiki/Special:Random wpsimple]] [[https://librewiki.net/wiki/%ED%8A%B9%EC%88%98:%EC%9E%84%EC%9D%98%EB%AC%B8%EC%84%9C libre]] [[http://mathworld.wolfram.com/cgi-bin/random.cgi mw]] [[http://en.citizendium.org/wiki/Special:Random cz]] [[http://wiki.hash.kr/index.php/%ED%8A%B9%EC%88%98:%EC%9E%84%EC%9D%98%EB%AC%B8%EC%84%9C hashkr]] [[https://encyclopediaofmath.org/wiki/Special:Random eom]] [[https://proofwiki.org/wiki/Special:Random proofwiki]]
[[https://simple.wikipedia.org/wiki/Special:Random wpsimple]] [[https://librewiki.net/wiki/%ED%8A%B9%EC%88%98:%EC%9E%84%EC%9D%98%EB%AC%B8%EC%84%9C libre]] [[http://mathworld.wolfram.com/cgi-bin/random.cgi mw]] [[http://en.citizendium.org/wiki/Special:Random cz]] [[http://wiki.hash.kr/index.php/%ED%8A%B9%EC%88%98:%EC%9E%84%EC%9D%98%EB%AC%B8%EC%84%9C hashkr]] [[https://encyclopediaofmath.org/wiki/Special:Random eom]] [[https://proofwiki.org/wiki/Special:Random proofwiki]]
[[https://simple.wikipedia.org/wiki/Special:Random wpsimple]] [[https://librewiki.net/wiki/%ED%8A%B9%EC%88%98:%EC%9E%84%EC%9D%98%EB%AC%B8%EC%84%9C libre]] [[http://mathworld.wolfram.com/cgi-bin/random.cgi mw]] [[http://en.citizendium.org/wiki/Special:Random cz]] [[http://wiki.hash.kr/index.php/%ED%8A%B9%EC%88%98:%EC%9E%84%EC%9D%98%EB%AC%B8%EC%84%9C hashkr]] [[https://encyclopediaofmath.org/wiki/Special:Random eom]] [[https://proofwiki.org/wiki/Special:Random proofwiki]]
[[https://simple.wikipedia.org/wiki/Special:Random wpsimple]] [[https://librewiki.net/wiki/%ED%8A%B9%EC%88%98:%EC%9E%84%EC%9D%98%EB%AC%B8%EC%84%9C libre]] [[http://mathworld.wolfram.com/cgi-bin/random.cgi mw]] [[http://en.citizendium.org/wiki/Special:Random cz]] [[http://wiki.hash.kr/index.php/%ED%8A%B9%EC%88%98:%EC%9E%84%EC%9D%98%EB%AC%B8%EC%84%9C hashkr]] [[https://encyclopediaofmath.org/wiki/Special:Random eom]] [[https://proofwiki.org/wiki/Special:Random proofwiki]]
- 대상,object . . . . 15 matches
https://mathworld.wolfram.com/InitialObject.html
https://mathworld.wolfram.com/TerminalObject.html
https://encyclopediaofmath.org/wiki/Final_object
https://encyclopediaofmath.org/wiki/Null_object_of_a_category
https://encyclopediaofmath.org/wiki/Subobject - ''of an object in a category''
https://encyclopediaofmath.org/wiki/Quotient_object - ''of an object in a category''
[[mathematical_object]]
수학적대상 mathematical_object
mathematical object
https://en.wiktionary.org/wiki/mathematical_object
[[WpEn:Mathematical_object]]
= https://en.wikipedia.org/wiki/Mathematical_object
"mathematical object"
Ggl:"mathematical object"
Bing:"mathematical object"
https://encyclopediaofmath.org/wiki/Constructive_object
https://mathworld.wolfram.com/Object.html
- 집합,set . . . . 15 matches
[[WpEn:Singleton_(mathematics)]]
= https://en.wikipedia.org/wiki/Singleton_(mathematics)
= https://en.wikipedia.org/wiki/Singleton_%28mathematics%29
kms uncountable => https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=uncountable
https://mathworld.wolfram.com/DerivedSet.html
https://encyclopediaofmath.org/wiki/Derived_set
[[WpEn:Derived_set_(mathematics)]]
https://encyclopediaofmath.org/wiki/Perfect_set
https://planetmath.org/wellorderedset
https://mathworld.wolfram.com/WellOrderedSet.html
//semitwin: https://planetmath.org/totalorder
https://mathworld.wolfram.com/TotallyOrderedSet.html
Up: ( total_order / total_ordering / linear_order / linear_ordering / totally_ordered a. / linearly_ordered a. ) { https://planetmath.org/linearlyordered
https://mathworld.wolfram.com/PartiallyOrderedSet.html
Up: ( partial_order / partial_ordering ) { https://mathworld.wolfram.com/PartialOrder.html }
- 변수,variable . . . . 14 matches
MathWorld:Variate
= https://mathworld.wolfram.com/Variate.html
https://mathworld.wolfram.com/Univariate.html
https://mathworld.wolfram.com/UnivariateFunction.html
https://mathworld.wolfram.com/Bivariate.html
is a list or vector of mathematical variables each of whose value is unknown, either because the value has not yet occurred or because there is imperfect knowledge of its value. "
[[MathWorld:Multivariate]]
= https://mathworld.wolfram.com/Multivariate.html
[[MathWorld:FreeVariable]]
= https://mathworld.wolfram.com/FreeVariable.html
https://encyclopediaofmath.org/wiki/Free_variable
https://planetmath.org/FreeAndBoundVariables
https://mathworld.wolfram.com/BoundVariable.html
https://encyclopediaofmath.org/wiki/Bound_variable
https://planetmath.org/FreeAndBoundVariables
[[bound_variable]]을 dummy variable이라고 부르기도 함.[* https://mathworld.wolfram.com/BoundVariable.html]
https://mathworld.wolfram.com/DummyVariable.html
- 스퀘어,square . . . . 13 matches
https://mathworld.wolfram.com/PrincipalSquareRoot.html
https://mathworld.wolfram.com/LeastSquaresFitting.html
"definition of squared in mathematics"
Ggl:"definition of squared in mathematics"
Bing:"definition of squared in mathematics"
https://mathworld.wolfram.com/Squared.html - 아는 그거.
MathWorld:2 - [[둘,two]] - 두번곱하는거니까... 세번곱하게되면 cubed. MathWorld:Cubed 일반화하면 power. MathWorld:Power
https://mathworld.wolfram.com/Squarable.html - squaring으로 인해 construct될 수 있는 [[대상,object]]은 '''squarable'''하다.
"definition of squarable in mathematics"
Ggl:"definition of squarable in mathematics"
Bing:"definition of squarable in mathematics"
"definition of squaring in mathematics"
Ggl:"definition of squaring in mathematics"
Bing:"definition of squaring in mathematics"
- 앨지브라,algebra . . . . 13 matches
[[Boolean_algebra]]의 일종, 가끔 [[forcing]]{ [[https://en.wikipedia.org/wiki/Forcing_(mathematics)]] }을 해서 [[cardinal_number]]의 [[크기,size]]를 reduce("collapse")''(n. [[리덕션,reduction]])''. [[poset]]([[부분순서집합,partially_ordered_set]] Ndict:부분순서집합 Ggl:부분순서집합 Ndict:poset )을 사용해 만든 algebra. (we)
https://encyclopediaofmath.org/wiki/Algebra_of_sets
"Also called Boolean_algebra or field_of_sets {'' https://encyclopediaofmath.org/wiki/Field_of_sets ''} by some authors. "
https://mathworld.wolfram.com/Sigma-Algebra.html
https://encyclopediaofmath.org/wiki/F-algebra ....(여기선 ''f''-algebra) ...... 소문자 italic ??
curr see: https://encyclopediaofmath.org/wiki/F-algebra
*-algebra // star-algebra ?? .... cf. https://mathworld.wolfram.com/C-Star-Algebra.html = [[WpEn:C*-algebra]]
MKL involution =,involution . involution { 인볼루션 대합 (??) (wk) 매우 간단한 개념. [[연산,operation]] [[연산자,operator]] [[주기,period]] [[둘,two]] ... https://mathworld.wolfram.com/Involution.html [[WpKo:대합_(수학)]] = https://ko.wikipedia.org/wiki/대합_%28수학%29 involution }
KmsE:witt - 위트 - 같은사람? https://en.wikipedia.org/wiki/Ernst_Witt -> https://en.wikipedia.org/wiki/Witt%27s_theorem 같은사람임. 근데 위트? "was a German mathematician" 비트가 맞지 않을까? https://ko.wikipedia.org/wiki/에른스트_비트
나눗셈대수 ? - Yes (kms https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=division+algebra )
[[매스매티카,Mathematica]] or Wolfram_Mathematica - installed [[프로그램,program]]/[[소프트웨어,software]].
Garduate Texts in Mathematics
Cambridge studies in advanced mathematics 38
Graduate Texts in Mathematics
https://mathphysics.tistory.com/315
Up: [[수학,math]]
- 칼큘러스,calculus . . . . 13 matches
* predicate_calculus - [[술어논리,predicate_logic]] [[일차논리,first-order_logic]]와 동일? chk. https://encyclopediaofmath.org/wiki/Predicate_calculus
* logical_calculus - [[논리학,logic]] https://encyclopediaofmath.org/wiki/Logical_calculus
* logico-mathematical_calculus - https://encyclopediaofmath.org/wiki/Logico-mathematical_calculus - ''applied calculus''
* strict_implication_calculus - https://encyclopediaofmath.org/wiki/Strict_implication_calculus
* arithmetical_calculus - = 형식산술 형식적산술 formal_arithmetic ? via https://encyclopediaofmath.org/wiki/Arithmetic,_formal ([[산술,arithmetic]])
https://encyclopediaofmath.org/wiki/Schubert_calculus
https://encyclopediaofmath.org/wiki/Calculus
Up: 해석학 analysis - mathematical_analysis
https://encyclopediaofmath.org/wiki/Intuitionistic_propositional_calculus
https://encyclopediaofmath.org/wiki/Logical_calculus
https://encyclopediaofmath.org/wiki/Logical_calculus
- concur . . . . 12 matches
https://mathworld.wolfram.com/Sheaf.html
[[WpEn:Sheaf_(mathematics)]] = https://en.wikipedia.org/wiki/Sheaf_(mathematics)
https://encyclopediaofmath.org/wiki/Sheaf
https://mathworld.wolfram.com/Presheaf.html
https://encyclopediaofmath.org/wiki/Pre-sheaf
[[WpEn:Stack_(mathematics)]]
= https://en.wikipedia.org/wiki/Stack_(mathematics)
= https://en.wikipedia.org/wiki/Stack_%28mathematics%29
https://encyclopediaofmath.org/wiki/Covering
https://mathworld.wolfram.com/EtaleSpace.html
https://encyclopediaofmath.org/wiki/Sheaf_theory
- 일반화,generalization . . . . 12 matches
$\mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q}\subset\mathbb{R}\subset\mathbb{C}\subset\mathbb{H}\subset\mathbb{O}\subset\mathbb{S}? chk$
https://planetmath.org/generalizedquantifier
추상화 ... KmsE:abstraction = kms abstraction : https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=abstraction
[[WpEn:Abstraction_(mathematics)]]
= https://en.wikipedia.org/wiki/Abstraction_%28mathematics%29
- 확률,probability . . . . 12 matches
$\mathbf{P}[A\cap B]=\mathbf{P}[B|A]\mathbf{P}[A]=\mathbf{P}[A|B]\mathbf{P}[B]$
||$P(A\cup B)=P(A)+P(B)\textrm{ for }A\cap B=\not\bigcirc$ ||countable additivity. ([[https://mathworld.wolfram.com/CountableAdditivity.html 참고]]) ||
${}_n\mathrm{P}_{r}=\frac{n!}{(n-r)!}$
표기: ${}_{n}\mathrm{C}_{r}= \binom{n}{r}$
${}_n\mathrm{C}_{r}=\frac{n!}{r!(n-r)!}$
[[MathNote:확률과_통계]] = https://wiki.mathnt.net/index.php?title=확률과_통계
[[MathNote:확률과_통계_관련_주제들]] = https://wiki.mathnt.net/index.php?title=확률과_통계_관련_주제들
[[수학,math]] esp [[확률론,probability_theory]]
- 공리,axiom . . . . 11 matches
https://encyclopediaofmath.org/wiki/Axiom_of_choice
[[수학적귀납법,mathematical_induction]] - [[VG:수학적귀납법,mathematical_induction]]
https://mathworld.wolfram.com/InductionAxiom.html
https://encyclopediaofmath.org/wiki/Induction_axiom
https://mathworld.wolfram.com/CategoricalAxiomaticSystem.html
= https://mathworld.wolfram.com/AxiomaticSystem.html
https://mathworld.wolfram.com/AxiomSchema.html
https://planetmath.org/logicalaxiom 에서 "Any such a set of axioms is called an" 검색
... 하이라이트 링크 : https://planetmath.org/logicalaxiom#:~:text=Any%20such%20a%20set%20of%20axioms%20is%20called
Axiom Maths Program - Martin Baker
https://mathworld.wolfram.com/Axiom.html
https://en.wikipedia.org/wiki/Category:Mathematical_axioms
- 과정,process . . . . 11 matches
https://mathworld.wolfram.com/PointProcess.html
MathWorld:MultidimensionalPointProcess
= https://mathworld.wolfram.com/MultidimensionalPointProcess.html
MathWorld:MarkedPointProcess
= https://mathworld.wolfram.com/MarkedPointProcess.html
https://mathworld.wolfram.com/SimplePointProcess.html
https://mathworld.wolfram.com/SpatialPointProcess.html
https://mathworld.wolfram.com/TemporalPointProcess.html
https://mathworld.wolfram.com/Spatial-TemporalPointProcess.html
MKL [[푸아송_과정,Poisson_process]](과 동의어? "Poisson processes are regarded as archetypal examples of point processes"[* https://mathworld.wolfram.com/PointProcess.html]) [[점과정,point_process]]
https://mathworld.wolfram.com/PoissonProcess.html
https://mathworld.wolfram.com/Self-CorrectingPointProcess.html
https://mathworld.wolfram.com/Self-ExcitingPointProcess.html
- 군,group . . . . 11 matches
https://mathworld.wolfram.com/TrivialGroup.html
https://mathworld.wolfram.com/ZeroGroup.html
https://mathworld.wolfram.com/AdditiveGroup.html
https://mathworld.wolfram.com/LieGroup.html
https://mathworld.wolfram.com/Lie-TypeGroup.html
https://encyclopediaofmath.org/wiki/Lie_group
https://encyclopediaofmath.org/wiki/Lie_group,_local - ''local analytic group'' // analytic_group
https://encyclopediaofmath.org/wiki/Lie_transformation_group
https://encyclopediaofmath.org/wiki/Lie_group,_p-adic
https://encyclopediaofmath.org/wiki/Lie_group,_semi-simple
https://encyclopediaofmath.org/wiki/Lie_group,_compact
- 다양체,manifold . . . . 11 matches
https://mathworld.wolfram.com/TopologicalManifold.html
https://mathworld.wolfram.com/SmoothManifold.html
MKLINK: almost_complex_structure or almost-complex_structure { https://encyclopediaofmath.org/wiki/Almost-complex_structure }
https://encyclopediaofmath.org/wiki/Symplectic_manifold
https://mathworld.wolfram.com/SymplecticManifold.html
https://mathworld.wolfram.com/SmoothManifold.html
== The Bright Side of Mathematics (YouTube) ==
https://www.youtube.com/@brightsideofmaths
https://www.youtube.com/watch?v=62WNNkoRCLE&ab_channel=TheBrightSideofMathematics
https://mathworld.wolfram.com/Manifold.html
https://mathworld.wolfram.com/Manifold.html
https://encyclopediaofmath.org/wiki/Manifold
https://planetmath.org/manifold
- 추정량,estimator . . . . 11 matches
/// kms estimator : 추정량 .. KmsE:estimator = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=estimator
/// kms estimand : None.... https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=Estimand (2023-07-26)
https://encyclopediaofmath.org/wiki/Consistent_estimator
// http://www.aistudy.com/math/estimate_lee.htm 에 자세히 언급
https://mathworld.wolfram.com/Estimator.html
[[estimator_bias]](not in kms) 도 등장 (생략) - see https://mathworld.wolfram.com/EstimatorBias.html =====,estimator_bias =,estimator_bias . estimator_bias
확률변수 $X:P\to\mathcal{X},$ 모수공간 $\Theta,$ 모수 $\theta\in\Theta,$ 표본공간 $\mathcal{X},$ 표본 $x\in\mathcal{X}$
[[확률변수,random_variable]] $X$ 가 모수 $\theta$ 를 가지는 [[확률분포,probability_distribution|분포]]를 따른다고 하자. 그렇다면 모수 $\theta$ 의 [[추정량,estimator]] $\hat{\theta}:\mathcal{X}\to\Theta$ 는 임의의 [[가측함수,measurable_function]]
https://encyclopediaofmath.org/wiki/Statistical_estimator
- 가측공간,measurable_space . . . . 10 matches
두 '''가측공간,measurable_space''' $(\Omega_1,\mathcal{A}_1)\textrm{ and }(\Omega_2,\mathcal{A}_2)$ 가 있다 하자.
2. $\mathcal{A}$ 의 원소들은 $\Omega$ 의 부분집합들.
3. $\Omega$ 와 공집합 둘 다 $\mathcal{A}$ 의 원소들.
4. $\mathcal{A}$ 는 complement([[complement]], ie 여집합연산)와 countable union(i.e. 가산 번의 합집합연산)에 대해 닫혀 있음.
$\mathcal{A}_1$ 은 [[사건공간,event_space]]이라 한다.
$X$ 가 [[위상공간,topological_space]]일 때, $X$ 의 모든 [[열린부분집합,open_subset]]들의 모임으로 생성되는 [[시그마대수,sigma-algebra]]를 $X$ 위에서 정의된 '''보렐_시그마대수,Borel_sigma-algebra'''라 하며, 흔히 $\mathcal{B}_X$ 로 나타낸다.
https://mathworld.wolfram.com/BorelSigma-Algebra.html ... "보렐 시그마 대수" Ndict:"보렐 시그마 대수" Ggl:"보렐 시그마 대수" "Borel sigma algebra" Ggl:"Borel sigma algebra" } - [[가측공간,measurable_space]]
https://mathworld.wolfram.com/MeasurableSpace.html
https://encyclopediaofmath.org/wiki/Measurable_space
- 값,value . . . . 10 matches
분명히 다른데. https://www.math3ma.com/blog/maximal-not-maximum 암튼 [[순서,order]] [[순서론,order_theory]]용어, rel. [[poset]] [[partial_order]] [[comparable]] WtEn:comparable (n. [[comparability]] or [[comparableness]]. [* via WtEn:comparability WtEn:comparableness 내용은 뻔하니 볼 필요 없음])
https://mathworld.wolfram.com/MaximalElement.html
https://planetmath.org/maximalelement
위 둘에 rel: { https://planetmath.org/stronglyminimal }
https://mathworld.wolfram.com/GeometricMean.html
https://mathworld.wolfram.com/HarmonicMean.html }
https://mathworld.wolfram.com/Arithmetic-GeometricMean.html
https://mathworld.wolfram.com/PowerMean.html
https://mathworld.wolfram.com/Root-Mean-Square.html
https://mathworld.wolfram.com/Mean.html }//mean
- 단어,word . . . . 10 matches
[[MathWorld:Word]] = https://mathworld.wolfram.com/Word.html
tmp see https://mathworld.wolfram.com/SquarefreeWord.html 앞부분
https://mathworld.wolfram.com/SquarefreeWord.html
https://mathworld.wolfram.com/CubefreeWord.html
https://mathworld.wolfram.com/OverlapfreeWord.html
https://encyclopediaofmath.org/wiki/Lyndon_word
"In mathematics, a '''Sturmian word (Sturmian sequence or billiard sequence)'''...."
https://encyclopediaofmath.org/wiki/Letter
https://encyclopediaofmath.org/wiki/Word
well-formed word : a [[단어,word]] in $\mathcal{A}$ (어떤 [[알파벳,alphabet]]) admitted by the [[형식문법,formal_grammar]] of some [[형식언어,formal_language]][* [[https://proofwiki.org/wiki/Definition:Word_(Formal_Systems)#Also_see]]]
- 리덕션,reduction . . . . 10 matches
confluence =,confluence . { https://mathworld.wolfram.com/Confluent.html
term_rewriting_system TRS =,TRS . { https://mathworld.wolfram.com/TermRewritingSystem.html https://en.wikipedia.org/wiki/Rewriting#Term_rewriting_systems }
string_rewriting_system SRS =,SRS . { https://mathworld.wolfram.com/StringRewritingSystem.html }
https://mathworld.wolfram.com/ReductionSystem.html
https://mathworld.wolfram.com/SubstitutionSystem.html
https://mathworld.wolfram.com/SequentialSubstitutionSystem.html
https://mathworld.wolfram.com/TagSystem.html
https://mathworld.wolfram.com/LagSystem.html
https://mathworld.wolfram.com/FinitelyTerminating.html
https://mathworld.wolfram.com/ReductionOrder.html
- 연결,connection . . . . 10 matches
[[MathWorld:ConnectedSet]] = https://mathworld.wolfram.com/ConnectedSet.html
[[MathWorld:ConnectedSpace]] = https://mathworld.wolfram.com/ConnectedSpace.html
([[Date(2023-11-18T13:02:53)]] 첫문장 "In one-dimensional [[complex_dynamics]] =,complex_dynamics . complex_dynamics { '''complex dynamics''' MathWorld:ComplexDynamics ? https://en.wikipedia.org/wiki/Complex_dynamics WtEn:complex_dynamics = https://en.wiktionary.org/wiki/complex_dynamics x [[Date(2023-11-18T13:02:53)]] / "complex dynamics" Ggl:"complex dynamics" }, the '''connectedness locus''' of a parameterized family of one-variable [[정칙함수,holomorphic_function]] =정칙함수,holomorphic_function =,holomorphic_function 정칙함수 holomorphic_function { '''holomorphic function''' '''정칙함수'''(KMS) via KmsE:"holomorphic function" .... Ndict:정칙함수 ... https://en.wiktionary.org/wiki/holomorphic_function x [[Date(2023-11-18T13:02:53)]] .... https://en.wikipedia.org/wiki/Holomorphic_function MathWorld:HolomorphicFunction "holomorphic function" Ggl:"holomorphic function" }s is a subset of the parameter space which consists of those parameters for which the corresponding Julia set is connected.")
https://mathworld.wolfram.com/SimplyConnected.html
https://mathworld.wolfram.com/MultiplyConnected.html
https://mathworld.wolfram.com/ConnectedGraph.html
https://mathworld.wolfram.com/DisconnectedGraph.html
https://mathworld.wolfram.com/k-ConnectedGraph.html
"basic 3-connected graph"[* https://mathworld.wolfram.com/k-ConnectedGraph.html]
https://mathworld.wolfram.com/WheelGraph.html
{"In math, a [[relation_on_a_set]]{link to: WpEn:Relation_on_a_set ''redir to WpEn:Binary_relation#Homogeneous_relation '' }
- 인버스,inverse . . . . 10 matches
https://encyclopediaofmath.org/wiki/Möbius_inversion
https://planetmath.org/InverseImage
https://mathworld.wolfram.com/Pre-Image.html
https://mathworld.wolfram.com/AdditiveIdentity.html
Sub: 역함수정리 =역함수정리 .... [[https://terms.naver.com/entry.naver?docId=5668978&cid=60207&categoryId=60207 수학백과 역함수 정리]] https://mathworld.wolfram.com/InverseFunctionTheorem.html ... Ndict:역함수정리 Ggl:역함수정리
https://mathworld.wolfram.com/InverseFunction.html
Two mathematical structures are '''isomorphic''' if an '''isomorphism''' exists between them."(we)
[[WpSp:Inverse_(mathematics)]]
= https://simple.wikipedia.org/wiki/Inverse_(mathematics)
= https://simple.wikipedia.org/wiki/Inverse_%28mathematics%29
- 정의역,domain . . . . 10 matches
$\mathbb{B}$
https://planetmath.org/booleandomain
https://mathworld.wolfram.com/LogicalMatrix.html
''points: (0,1)-Matrix at https://mathworld.wolfram.com/01-Matrix.html''
https://mathworld.wolfram.com/BooleanMatrix.html
''points: (0,1)-Matrix at https://mathworld.wolfram.com/01-Matrix.html (too)''
https://planetmath.org/logicalmatrix
https://planetmath.org/BooleanDomain
mathworld 이건 [[도메인,domain]]으로 옮겨야?
https://mathworld.wolfram.com/Domain.html
- 표기법,notation . . . . 10 matches
[[mathematical_notation]] =,mathematical_notation =,mathematical_notation . mathematical_notation
mathematical notation
rel. [[수식,mathematical_expression]]
https://simple.wikipedia.org/wiki/Mathematical_notation
https://en.wikipedia.org/wiki/Mathematical_notation
https://en.wiktionary.org/wiki/mathematical_notation x [[Date(2023-11-23T09:58:28)]]
[[수식,mathematical_expression]]에서, [[연산자,operator]]와 [[피연산자,operand]]를 어떤 [[순서,order]]로 배치할 것인가...
https://mathworld.wolfram.com/Multi-IndexNotation.html
a mathematical notation
- 함자,functor . . . . 10 matches
[[범주론,category_theory]]에서는 [[사상,morphism]]의 대상으로 [[mathematical_structure]], 그리고 [[범주,category]] 그 자체를 대상으로 삼아서
쌍함자 via kms .... https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=bifunctor
[[representable_functor]] { https://encyclopediaofmath.org/wiki/Representable_functor }
수반함자, 딸림함자 via kms ... https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=functor
https://encyclopediaofmath.org/wiki/Adjoint_functor
https://mathworld.wolfram.com/FaithfulFunctor.html
https://mathworld.wolfram.com/ForgetfulFunctor.html
https://mathworld.wolfram.com/CovariantFunctor.html
https://mathworld.wolfram.com/ContravariantFunctor.html
https://mathworld.wolfram.com/Functor.html
- 형식,form . . . . 10 matches
https://cgvfxmath.github.io/2023-03-21/closed-form
"In mathematics and computer science, a '''canonical, normal, or standard form''' of a mathematical object is a standard way of presenting that object as a mathematical expression."
[[MathNote:겹선형_형식(bilinear_form)]] = https://wiki.mathnt.net/index.php?title=겹선형_형식(bilinear_form)
[[MathNote:교대_겹선형_형식]] = https://wiki.mathnt.net/index.php?title=교대_겹선형_형식
alternating bilinear form ? - 맞는듯, 그리고 alternating form 이라고도 함 (planetmath)
https://planetmath.org/alternatingform
https://encyclopediaofmath.org/wiki/Bilinear_form
[[형식산술,formal_arithmetic]] { https://encyclopediaofmath.org/wiki/Arithmetic,_formal - ''arithmetical calculus'' (aka [[arithmetical_calculus]]?) }
- 김광수_신호및시스템_2020 . . . . 9 matches
$\mathbb{C}=\left\lbrace z\middle| z=x+jy, \; x,y\in\mathbb{R},\; j=\sqrt{-1}\right\rbrace$
$z+z^*=2\mathrm{Re}(z)$ - 허수부 없어지고 실수부만 두배가 되니까.
$z-z^*=2j\mathrm{Im}(z)$ - 실수부 없어지고 허수부만 두배가 되니까.
$(az_1z_2)^*=az_1^*z_2^*,\;\;\;a\in\mathbb{R}$
* mathematical models (수식으로 표현하는) ← 이 코스에서 다룰 것
In this course, models refer to mathematical representations for physical systems and signals
$f(t),\;t\in\mathbb{R}$
$f(nT),\;n\in\mathbb{Z}$
- 마그마,magma . . . . 9 matches
준군, 버금군 via kms .... https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=groupoid
[[MathWorld:Groupoid]] = https://mathworld.wolfram.com/Groupoid.html
https://encyclopediaofmath.org/wiki/Groupoid
Cmp [[MathWorld:Groupoid]] AND [[MathWorld:Magma]]
https://encyclopediaofmath.org/wiki/Free_magma
[[WpSp:Magma_(mathematics)]]
= https://simple.wikipedia.org/wiki/Magma_(mathematics)
= https://simple.wikipedia.org/wiki/Magma_%28mathematics%29
https://encyclopediaofmath.org/wiki/Magma
[[MathWorld:Magma]] = https://mathworld.wolfram.com/Magma.html
- 문장,sentence . . . . 9 matches
closed_formula = sentence [* [[WpEn:Sentence_(mathematical_logic)]]]
= https://mathworld.wolfram.com/SententialFormula.html
https://mathworld.wolfram.com/OpenSententialFormula.html
https://mathworld.wolfram.com/ClosedSententialFormula.html
https://mathworld.wolfram.com/SententialVariable.html
[[MathWorld:Sentence]]
= https://mathworld.wolfram.com/Sentence.html
https://math.libretexts.org/Courses/SUNY_Schenectady_County_Community_College/Discrete_Structures/01%3A_Introduction_to_Writing_Proofs_in_Mathematics/1.01%3A_Statements_and_Conditional_Statements
여기서도 바로 위와 같은 말, "In mathematics, a statement is a declarative sentence that is either true or false but not both."
https://planetmath.org/sentence
- 시맨틱스,semantics . . . . 9 matches
MathWorld:LogicalConsequence
MKL: Kripke_model { https://encyclopediaofmath.org/wiki/Kripke_models }
[[mathematical_logic]]
rel. [[Hoare_logic]] , [[수리논리,mathematical_logic]]
(we){"is an approach of formalizing''(formalization)'' the meanings of programming_language s by constructing mathematical_object { https://ko.wikipedia.org/wiki/수학적_대상 https://en.wikipedia.org/wiki/Mathematical_object } s (called '''''denotation'''''s) that describe the meanings of expressions from the languages. Other approaches providing
== mathematical semantics ==
mathematical_semantics
"mathematical semantics"
Ndict:"mathematical semantics"
Ggl:"mathematical semantics"
- 열린집합,open_set . . . . 9 matches
MathWorld:OpenSet
= https://mathworld.wolfram.com/OpenSet.html
https://encyclopediaofmath.org/wiki/Open_set - ''in a topological space'' // [[위상공간,topological_space]]
http://mathonline.wikidot.com/the-open-and-closed-sets-of-a-topological-space
https://mathworld.wolfram.com/LimitPoint.html [[https://terms.naver.com/entry.naver?docId=3404989&cid=47324&categoryId=47324 수학백과: 극한점]]
https://encyclopediaofmath.org/wiki/Limit_point_of_a_set
https://mathworld.wolfram.com/AccumulationPoint.html
https://encyclopediaofmath.org/wiki/Accumulation_point
Sub: [[complete_accumulation_point]] =,complete_accumulation_point . complete_accumulation_point { '''complete accumulation point''' WtEn:complete_accumulation_point https://encyclopediaofmath.org/wiki/Complete_accumulation_point Up: [[완비성,completeness]]? }
https://encyclopediaofmath.org/wiki/Open-closed_set
- 최적화,optimization . . . . 9 matches
[[WpEn:Constraint_(mathematics)]]
= https://en.wikipedia.org/wiki/Constraint_(mathematics)
== 수학적최적화? mathematical optimization ==
[[mathematical_optimization]] =,mathematical_optimization =,mathematical_optimization . mathematical_optimization
WtEn:mathematical_optimization ?? qqqqqqqqiiiiiiii
[[WpSp:Mathematical_optimization]]
= https://simple.wikipedia.org/wiki/Mathematical_optimization
Ndict:"mathematical optimization"
- 함수,function . . . . 9 matches
$f:\mathbb{R}^2\to\mathbb{R}$
화살표 왼쪽의 $\mathbb{R}^2$ 의 원소 $(x,y)$ 에 대응하는 것이
화살표 오른쪽의 $\mathbb{R}$ 의 원소 $f(x,y)$ 이면
pagename confirmed at [[Date(2023-10-03T15:03:40)]] via KmsE:rational+function = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=rational+function
KmsK:타원함수 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=타원함수
$f(x)=\mathbb{[}x\mathbb{]}$
Up: [[수학,math]]
- 확률변수,random_variable . . . . 9 matches
두 [[가측공간,measurable_space]] $(\Omega_1,\mathcal{A}_1)\textrm{ and }(\Omega_2,\mathcal{A}_2)$ 가 있다 하자.
2. $\mathcal{A}$ 의 원소들은 $\Omega$ 의 부분집합들.
3. $\Omega$ 와 공집합 둘 다 $\mathcal{A}$ 의 원소들.
4. $\mathcal{A}$ 는 complement([[complement]], ie 여집합연산)와 countable union(i.e. 가산 번의 합집합연산)에 대해 닫혀 있음.
$\mathcal{A}_1$ 은 [[사건공간,event_space]]이라 한다.
[[MathWorld:RandomVariable]] = https://mathworld.wolfram.com/RandomVariable.html
[[확률공간,probability_space]] $(S,\mathbb{S},P)$ 에서
[[가측공간,measurable_space]] $(S',\mathbb{S}')$ (known as [[상태공간,state_space]])
} (MathWorld 확률변수 정의)
- 가설,hypothesis . . . . 8 matches
https://mathworld.wolfram.com/NullHypothesis.html
// 관측오차 via kms ... https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=observation
https://mathworld.wolfram.com/AlternativeHypothesis.html
칠판 글씨가 $J? \mathcal{J}? \mathcal{T}? \mathscr{I}?$ 암튼 $\zeta$ 로 하겠음
$|\mathbb{N}| < |X| < |2^{\mathbb{N}}|$
- 구조,structure . . . . 8 matches
[[mathematical_structure]] =,mathematical_structure =,mathematical_structure . mathematical_structure
WtEn:mathematical_structure
WpSp:Mathematical_structure x [[Date(2023-10-13T07:46:43)]]
[[WpEn:Mathematical_structure]]
= https://en.wikipedia.org/wiki/Mathematical_structure
https://planetmath.org/Structure
https://mathworld.wolfram.com/Structure.html
https://encyclopediaofmath.org/wiki/Structure
- 끌개,attractor . . . . 8 matches
https://encyclopediaofmath.org/wiki/Strange_attractor
https://mathworld.wolfram.com/StrangeAttractor.html
https://mathworld.wolfram.com/LimitCycle.html
([[Date(2023-12-01T17:12:39)]] 첫문단 : "In mathematics,
https://mathworld.wolfram.com/BasinofAttraction.html
https://mathworld.wolfram.com/WadaBasin.html
https://mathworld.wolfram.com/MapSink.html
[[MathWorld:Attractor]] = https://mathworld.wolfram.com/Attractor.html
- 논리학,logic . . . . 8 matches
[[수리논리학,mathematical_logic]] OR
[[수리논리,mathematical_logic]]
WtEn:mathematical_logic
[[VG:수리논리,mathematical_logic]]
수학 명제 mathematical statement
mathematical_statement
Ggl:"mathematical statement"
https://johngrib.github.io/wiki/discrete-math-inference-rules/
- 바운드,bound . . . . 8 matches
Ggl:"boundary bound difference math" Bing:"boundary bound difference math" "boundary bound difference math"
https://mathworld.wolfram.com/BoundarySet.html
https://planetmath.org/LocallyBounded = https://planetmath.org/locallybounded
https://encyclopediaofmath.org/wiki/Bounded_set
https://encyclopediaofmath.org/wiki/Bounded_operator
- 심플렉스,simplex . . . . 8 matches
https://mathworld.wolfram.com/SimplicialHomology.html
[[MathNote:단체_호몰로지_(simplicial_homology)]]
= http://wiki.mathnt.net/index.php?title=단체_호몰로지_(simplicial_homology)
https://mathworld.wolfram.com/SimplicialComplex.html
https://mathworld.wolfram.com/SphericalSimplex.html
https://mathworld.wolfram.com/SimplicialComplex.html
" is a space with a triangulation( ''쉬운개념. 그림만 보면 바로 이해가능'' https://mathworld.wolfram.com/Triangulation.html ...Ggl:triangulation ). " KmsE:triangulation : "삼각(형)분할"
https://mathworld.wolfram.com/Polytope.html
https://mathworld.wolfram.com/Simplex.html
- 어낼러시스,analysis . . . . 8 matches
pagename을 다른 WtEn:analysis 가 아닌 수학의 그 분야임을 명시하려면 mathematical_analysis 하면 됨. WtEn:mathematical_analysis
[[WtEn:mathematical_analysis]]
[[WpSp:Mathematical_analysis]]
= https://simple.wikipedia.org/wiki/Mathematical_analysis
[[WpEn:Mathematical_analysis]]
[[바나흐_공간,Banach_space]] =,Banach_space . Banach_space { [[WtEn:Banach_space]] https://encyclopediaofmath.org/wiki/Banach_space }
https://mathworld.wolfram.com/FunctionalAnalysis.html
https://encyclopediaofmath.org/wiki/Functional_analysis
https://encyclopediaofmath.org/wiki/Harmonic_analysis
https://encyclopediaofmath.org/wiki/Harmonic_analysis,_abstract
- 원소,element . . . . 8 matches
https://encyclopediaofmath.org/wiki/Upper_and_lower_bounds
[[수학,math]]에서 member에 가까운 뜻의 '''원소'''를 가지는 것들:
https://mathworld.wolfram.com/InvertibleElement.html
https://encyclopediaofmath.org/wiki/Invertible_element — ''of a semi-group with identity''
Up: [[invertibility]]? { https://mathworld.wolfram.com/Invertible.html } [[원소,element]]
{[[Date(2023-11-17T22:19:27)]] 첫문장 "[[정역,integral_domain]]의 0이 아닌 [[원소]]가 [[가역원]]이 아니면서 그것의 [[동반원]]과 가역원만을 [[인수]]로 가질 때, 이러한 원소를 '''기약원'''이라고 한다. 예를 들어, 우리가 알고 있는 [[소수,prime_number]]는 정수환^^MathWorld:RingofIntegers^^의 '''기약원'''이다." }
https://mathworld.wolfram.com/IrreducibleElement.html
https://encyclopediaofmath.org/wiki/Prime_element
https://planetmath.org/compactelement
- 위상공간,phase_space . . . . 8 matches
1-d system은 [[위상선,phase_line]], (위상직선?) - [[WpEn:Phase_line_(mathematics)]]
2-d system은 [[위상평면,phase_plane]]. { https://mathworld.wolfram.com/PhasePlane.html [[WpEn:Phase_plane]] [[평면,plane]] }
[[Pfaffian_form]] w { '''Pfaffian form''' https://mathworld.wolfram.com/PfaffianForm.html Ggl:"Pfaffian form" / Rel. [[one-form]] / Up: [[파피안,Pfaffian]]? }
[[phase_curve]] w { '''phase curve''' https://mathworld.wolfram.com/PhaseCurve.html [[곡선,curve]] Ggl:"phase curve" Up: [[위상,phase]] [[곡선,curve]] }
[[phase_flow]] w { https://mathworld.wolfram.com/PhaseFlow.html [[위상,phase]] [[흐름,flow]] }
[[phase_portrait]] w { https://mathworld.wolfram.com/PhasePortrait.html }
https://foldoc.org/phase+space - mathworld와 내용 같음
MathWorld:PhaseSpace = https://mathworld.wolfram.com/PhaseSpace.html
- 인덱스,index . . . . 8 matches
[[mathematical_logic]]
https://mathworld.wolfram.com/TopologicalIndex.html
https://mathworld.wolfram.com/BalabanIndex.html
https://mathworld.wolfram.com/HararyIndex.html
https://mathworld.wolfram.com/MolecularTopologicalIndex.html
https://mathworld.wolfram.com/WienerIndex.html
https://mathworld.wolfram.com/WienerSumIndex.html
https://mathworld.wolfram.com/HosoyaIndex.html
- 중심,center . . . . 8 matches
https://mathworld.wolfram.com/GroupCenter.html
https://encyclopediaofmath.org/wiki/Centre_of_a_group
[[normalizer]] { https://mathworld.wolfram.com/Normalizer.html }
https://mathworld.wolfram.com/Centralizer.html
https://mathworld.wolfram.com/CommutativeRing.html
https://encyclopediaofmath.org/wiki/Commutative_ring
https://encyclopediaofmath.org/wiki/Centre_of_a_ring
https://encyclopediaofmath.org/wiki/Central_algebra
- 클로저,closure . . . . 8 matches
WtEn:closed ? https://mathworld.wolfram.com/Closed.html
MathWorld:Closed
= https://mathworld.wolfram.com/Closed.html
Set Closure -- from Wolfram MathWorld
https://mathworld.wolfram.com/SetClosure.html
Existential Closure -- from Wolfram MathWorld
https://mathworld.wolfram.com/ExistentialClosure.html
Tight Closure -- from Wolfram MathWorld
https://mathworld.wolfram.com/TightClosure.html
Transitive Closure -- from Wolfram MathWorld
https://mathworld.wolfram.com/TransitiveClosure.html
Reflexive Closure -- from Wolfram MathWorld
https://mathworld.wolfram.com/ReflexiveClosure.html
... 검색: https://mathworld.wolfram.com/search/?query=closure
- 평면,plane . . . . 8 matches
그냥 일반적인 평면이라면 바로 이거 - https://en.wikipedia.org/wiki/Euclidean_plane interwiki: [[WpKo:평면]] [[WpSp:Plane_(mathematics)]]
= https://simple.wikipedia.org/wiki/Plane_(mathematics)
= https://simple.wikipedia.org/wiki/Plane_%28mathematics%29
https://mathworld.wolfram.com/Plane.html
plane ([[유클리드_평면,Euclidean_plane]] ?? chk)을 고차원(higher [[차원,dimension]])으로 일반화한 것.[* https://mathworld.wolfram.com/Plane.html]
https://mathworld.wolfram.com/Hyperplane.html
https://encyclopediaofmath.org/wiki/Half-plane
https://mathworld.wolfram.com/DihedralAngle.html
- 한정기호_정량자_quantifier . . . . 8 matches
'''한정자'''[* http://bigdata.dongguk.ac.kr/lectures/disc_math/_book/논리명제.html]
KmsE:quantifier = [[https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=quantifier kms quantifier]] : '''한정기호'''
KmsE:quantification = [[https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=quantification kms quantification]] : '정량화'?
한정[* http://bigdata.dongguk.ac.kr/lectures/disc_math/_book/논리명제.html]
https://mathworld.wolfram.com/QuantifierElimination.html
https://mathworld.wolfram.com/QuantifiedSystem.html
http://www.aistudy.com/math/quantifier_johnsonbaugh.htm
https://encyclopediaofmath.org/wiki/Quantifier
- FrontPage . . . . 7 matches
math/CS [[문제,problem]]
Interactive Mathematics Miscellany and Puzzles
그래픽스 개발을 위한 수학 기초 개념 / Mathematical Fundamentals for Graphics Development / https://cgvfxmath.github.io/2023-03-18/math-book (작성중)
https://www.mecmath.net/
Conway's Game of Life: Mathematics and Construction
[[수학,math]]
[[공학수학1,engineering_mathematics_1]]
http://www.math.snu.ac.kr/taoffice/calculus/basic/problems.html
- 고정점,fixed_point . . . . 7 matches
MathWorld:FixedPoint
[[WpEn:Fixed_point_(mathematics)]]
= https://en.wikipedia.org/wiki/Fixed_point_(mathematics)
MathWorld:EllipticFixedPoint
= https://mathworld.wolfram.com/EllipticFixedPoint.html
stability matrix // stability_matrix =,stability_matrix . stability_matrix { '''stability matrix''' 안정성행렬 / 안정행렬 ? WtEn:stability_matrix ? WpSp:stability_matrix ? WpEn:stability_matrix ? Ggl:"stability matrix" [[MathWorld:StabilityMatrix]] = https://mathworld.wolfram.com/StabilityMatrix.html Up: [[안정성,stability]] [[행렬,matrix]] }
MathWorld:HyperbolicFixedPoint
= https://mathworld.wolfram.com/HyperbolicFixedPoint.html
MathWorld:FixedPointNode
= https://mathworld.wolfram.com/FixedPointNode.html
[[MathWorld:FixedPointTheorem]] = https://mathworld.wolfram.com/FixedPointTheorem.html
- 근방,neighborhood . . . . 7 matches
Ggl:neighborhood+math
https://mathworld.wolfram.com/Neighborhood.html
저기선 [[그래프,graph]] [[그래프이론,graph_theory]] graph neighborhood = graph_neighborhood ... https://mathworld.wolfram.com/GraphNeighborhood.html .. Ggl:"graph neighborhood" 도 설명함 / rel. neighborhood_graph { https://mathworld.wolfram.com/NeighborhoodGraph.html }
[[WpEn:Neighbourhood_(mathematics)]]
=https://en.wikipedia.org/wiki/Neighbourhood_(mathematics)
=https://en.wikipedia.org/wiki/Neighbourhood_%28mathematics%29
- 급수,series . . . . 7 matches
정리: $\forall x\in\mathbb{R},$
$e^x=\sum_{n=0}^{\infty}\frac{x^n}{n!}=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots\;\;(x\in\mathbb{R})$
$f(x)=e^x=\sum_{n=0}^{\infty}\frac{x^n}{n!}(x\in\mathbb{R})$
$\sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\cdots\;(x\in\mathbb{R})$
$\cos x=1-\frac{x^2}{2!}+\frac{x^4}{4!}-\frac{x^6}{6!}+\cdots\;(x\in\mathbb{R})$
$e^x=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots\;(x\in\mathbb{R})$
> $e^{ix}=\cos x+i\sin x\;\;(x\in\mathbb{R})$
- 네트워크,network . . . . 7 matches
https://mathworld.wolfram.com/Net.html
https://mathinsight.org/random_network
https://mathinsight.org/small_world_network
https://mathinsight.org/scale_free_network
[[degree_distribution]] - https://mathinsight.org/degree_distribution
https://mathinsight.org/absurd_high_dimensionality_random_graphs
https://mathinsight.org/network_introduction
- 디그리,degree . . . . 7 matches
https://mathinsight.org/degree_distribution
degree가 큰 vertex(large-degree node)를 hub라고 한다.[* "These large-degree nodes are often referred to as hubs," https://mathinsight.org/degree_distribution]
https://mathworld.wolfram.com/VertexDegree.html
https://mathworld.wolfram.com/PolynomialDegree.html
https://mathworld.wolfram.com/HomogeneousFunction.html
https://encyclopediaofmath.org/wiki/Homogeneous_function
이것에 대한 오일러의 정리 : https://mathworld.wolfram.com/EulersHomogeneousFunctionTheorem.html
- 미분방정식,differential_equation . . . . 7 matches
= 적분인자로 풀 수 있는 1계 (ess. eng. math) =
= 1계 Separable DE (ess. eng. math) =
= 2계 선형 with 상수 계수: The Homogeneous Case (ess. eng. math) =
= 2계 선형 with 상수 계수: The Inhomogeneous Case (ess. eng. math) =
일반해: $y=c_1\cos 4x+c_2\sin 4x,\;\; c_1,c_2\in\mathbb{R}$
$\Rightarrow\;y=c_1y_1+\cdots+c_ky_k$ (즉 해들의 선형결합)은 모든 $c_1,\cdots,c_k\in\mathbb{R}$ 에 대하여 (H)의 해가 된다.
Up: [[수학,math]] [[방정식,equation]]
- 미분연산자,differential_operator . . . . 7 matches
미분연산자 : $\mathrm{D}=\frac{d}{dx}$
$\mathrm{D}^{\rm T}=-\mathrm{D}$
https://math.stackexchange.com/questions/101434/what-is-the-differentiation-operator
https://mathworld.wolfram.com/DifferentialOperator.html
https://planetmath.org/differentialoperator
https://encyclopediaofmath.org/wiki/Differential_operator
- 정의,definition . . . . 7 matches
https://mathworld.wolfram.com/Undefined.html
[[WpEn:Undefined_(mathematics)]] = https://en.wikipedia.org/wiki/Undefined_(mathematics)
https://mathworld.wolfram.com/Well-Defined.html
[[귀납,induction]]적 ie [[수학적귀납법,mathematical_induction]]적 정의
VG: 귀납,induction적 ie VG: 수학적귀납법,mathematical_induction 적 정의 i.e. 재귀적 정의
https://planetmath.org/definition
- 측도공간,measure_space . . . . 7 matches
//from ency. of math
'''측도공간'''은 triple $(X,\mathcal{A},\mu)$
$\mathcal{A}$ : a [[시그마대수,sigma-algebra]] of its [[부분집합,subset]]s
$\mu$ : $\mathcal{A}\to[0,+\infty]$ a [[측도,measure]]
https://mathworld.wolfram.com/MeasureSpace.html
https://encyclopediaofmath.org/wiki/Measure_space
Page name via KmsK:측도공간 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=측도공간
- arctan_x(아크탄젠트)_미분_증명 . . . . 6 matches
$\frac{\operatorname{d}}{\operatorname{d}x}(\tan^{-1}x)=\frac{1}{1+x^2}\;(x\in\mathbb{R})$
$(\sec y)^2\cdot \frac{\mathrm{d}y}{\mathrm{d}x}=1$
$\frac{\mathrm{d}y}{\mathrm{d}x}=\frac1{\sec^2 y}=\frac1{1+\tan^2 y}=\frac1{1+x^2}$
$\frac{\rm d}{\mathrm{d}x}\left(\tan^{-1}(x^2+1)\right)$
- 각,angle . . . . 6 matches
https://mathworld.wolfram.com/AcuteAngle.html
https://mathworld.wolfram.com/SolidAngle.html
https://mathworld.wolfram.com/FullAngle.html
https://mathworld.wolfram.com/ObtuseAngle.html
https://mathworld.wolfram.com/CentralAngle.html
https://mathworld.wolfram.com/Angle.html
- 공간,space . . . . 6 matches
https://encyclopediaofmath.org/wiki/Incidence_system
https://mathworld.wolfram.com/MetricSpace.html
https://encyclopediaofmath.org/wiki/Metric_space
MKL [[쌍곡기하]] [[hyperbolic_geometry]] =,hyperbolic_geometry =,hyperbolic_geometry . hyperbolic_geometry { WtEn:hyperbolic_geometry https://mathworld.wolfram.com/HyperbolicGeometry.html https://ko.wikipedia.org/wiki/쌍곡기하학 https://simple.wikipedia.org/wiki/Hyperbolic_geometry https://en.wikipedia.org/wiki/Hyperbolic_geometry (Redirected from WpEn:Hyperbolic_plane) Up: 비유클리드_기하 의 일종. [[non-Euclidean_geometry]] }
// KmsE:"Kolmogorov" => 콜모고로프. - https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=Kolmogorov
[[WpEn:Configuration_space]] = https://en.wikipedia.org/wiki/Configuration_space_(mathematics)
- 기계학습,machine_learning . . . . 6 matches
MathNote:강화_학습
$\mathbf{o}=\tau\left( \mathbf{W}^L \sigma \left( \cdots \mathbf{W}^3 \sigma \left( \mathbf{W}^2 \sigma(\mathbf{W}^1 \mathbf{x} ) \right) \right) \right)$
- 다변수미적_KOCW_CSW_2013 . . . . 6 matches
여러분들이 다뤘었던 것은 일변수함수 $y=f(x),\;\mathbb{R}\to\mathbb{R}$
이런 걸 [[다변수함수,multivariable_function]] $\mathbb{R}^n\to\mathbb{R}$ 이라 한다.
$\mathbb{R}^n\to\mathbb{R}^m$
- 로직,logic . . . . 6 matches
== mathematical logic ==
mathematical_logic
KmsE:"mathematical"
https://simple.wikipedia.org/wiki/Mathematical_logic
https://en.wikipedia.org/wiki/Mathematical_logic
https://proofwiki.org/wiki/Definition:Mathematical_Logic
https://mathworld.wolfram.com/First-OrderLogic.html
https://planetmath.org/firstorderlogic
https://mathworld.wolfram.com/IntuitionisticLogic.html
- 르베그_측도,Lebesgue_measure . . . . 6 matches
데카르트 공간 ( Ndict:"데카르트 공간" Ggl:"데카르트 공간" ... 데카르트 좌표계를 갖춘 [[유클리드_공간,Euclidean_space]]? chk) $\mathbb{R}^n$ 에서
from https://mathworld.wolfram.com/AlmostSurely.html
https://mathworld.wolfram.com/LebesgueMeasure.html
https://encyclopediaofmath.org/wiki/Lebesgue_measure
https://mathworld.wolfram.com/HaarMeasure.html
https://encyclopediaofmath.org/wiki/Haar_measure
- 벡터공간,vector_space . . . . 6 matches
https://mathworld.wolfram.com/VectorSpace.html
벡터공간 $V$ 는 유한한 횟수의 (이유?) [[벡터덧셈,vector_addition]]과 [[스칼라곱셈,scalar_multiplication]]에 닫혀 있는 [[집합,set]]이다. 기초적 예제로 n차원 [[유클리드_공간,Euclidean_space]] $\mathbb{R}^n$ 을 들 수 있다.
$\mathbb{R}^n$ 은 [[실벡터공간,real_vector_space]],
$\mathbb{C}^n$ 은 [[복소벡터공간,complex_vector_space]].
// =,complex_vector_space =,complex_vector_space . complex_vector_space { complex vector space MKL [[복소수,complex_number]] https://mathworld.wolfram.com/ComplexVectorSpace.html Ggl:"complex vector space" "complex vector space" }
https://planetmath.org/vectorspace
- 순서공리 . . . . 6 matches
다음 두 조건을 만족하는 [[집합]] $\mathbb{R}^{+}$ 가 존재한다.
1. 0이 아닌 임의의 [[실수]] $x$ 에 대해 $x\in\mathbb{R}^{+} \Leftrightarrow -x\not\in\mathbb{R}^{+}$ 이다.
2. $\mathbb{R}^{+}$ 의 [[임의의]] [[원소]] $x,y$ 에 대하여 $x+y\in\mathbb{R}^{+}$ 이고 $xy\in\mathbb{R}^+$ 이다.
- 아이덴티티,identity . . . . 6 matches
## =아이덴티티,identity =,identity . 아이덴티티 identity (of math)
identity (of math) ... 아이디 (is a [[계정,account]] [[이름,name]] [[문자열,string]].) 신분 정체성 이런 거 쓸 계획 아직 없음. 수학 외 identity가 나오면 명시.
[[WpSp:Identity_(mathematics)]]
= https://simple.wikipedia.org/wiki/Identity_(mathematics)
= https://simple.wikipedia.org/wiki/Identity_%28mathematics%29
Ggl:"define identity in mathematics"
- 오토마톤,automaton . . . . 6 matches
MathWorld:Automaton
https://mathworld.wolfram.com/AutomaticSet.html
https://mathworld.wolfram.com/CellularAutomaton.html
https://mathworld.wolfram.com/TuringMachine.html
https://mathworld.wolfram.com/CellularAutomaton.html
https://mathworld.wolfram.com/ElementaryCellularAutomaton.html
https://mathworld.wolfram.com/TotalisticCellularAutomaton.html
- 유니버스,universe . . . . 6 matches
[[WpEn:Universe_(mathematics)]]
= https://en.wikipedia.org/wiki/Universe_(mathematics)
= https://en.wikipedia.org/wiki/Universe_%28mathematics%29
} // universe (of math, logic)
[[WpEn:Universe_(mathematics)]]
= https://en.wikipedia.org/wiki/Universe_(mathematics)
- 절단,cut . . . . 6 matches
kms cut => https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=cut
https://encyclopediaofmath.org/wiki/Dedekind_cut
https://mathworld.wolfram.com/EdgeCut.html
https://mathworld.wolfram.com/MinimumEdgeCut.html
https://mathworld.wolfram.com/VertexCut.html
https://mathworld.wolfram.com/MinimumVertexCut.html
- 클래스,class . . . . 6 matches
= math의 class =
[[KmsE:class]] kms class => https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=class
https://encyclopediaofmath.org/wiki/Characteristic_class
https://mathworld.wolfram.com/ChernClass.html
https://encyclopediaofmath.org/wiki/Chern_class
https://encyclopediaofmath.org/wiki/Euler_class
- 트리,tree . . . . 6 matches
https://mathworld.wolfram.com/ExtendedBinaryTree.html
[[MathWorld:BinaryTree]] = https://mathworld.wolfram.com/BinaryTree.html
https://mathworld.wolfram.com/MaximumSpanningTree.html
[[수식트리,mathematical_expression_tree]]
[[수식,mathematical_expression]] [[트리,tree]]
https://mathworld.wolfram.com/FreeTree.html
- 특성,characteristic . . . . 6 matches
$1_{\mathbb Q}(x)=\begin{cases}1&\text{if }x\in\mathbb{Q}\\0&\text{otherwise}\end{cases}$
https://mathworld.wolfram.com/FieldCharacteristic.html
https://encyclopediaofmath.org/wiki/Characteristic_of_a_field
https://mathworld.wolfram.com/Characterization.html
... Google:characterization+math
- 포뮬러,formula . . . . 6 matches
aka sentential formula [* MathWorld:Formula]
=> sentence ~= [[문장,sentence]] - via [[WpEn:Sentence_(mathematical_logic)]]
[[MathNote:근과_계수와의_관계]] = http://wiki.mathnt.net/index.php?title=근과_계수와의_관계
[[MW:VietasFormulas]] = https://mathworld.wolfram.com/VietasFormulas.html
https://encyclopediaofmath.org/wiki/Viète_theorem — ''on roots''
https://planetmath.org/vietasformula
[[MathWorld:Formula]]
= https://mathworld.wolfram.com/Formula.html
- universal_statement . . . . 5 matches
수학 / 논리학 ([[mathematical_logic]]) / [[type_theory]] / [[집합론,set_theory]] / [[범주론,category_theory]] 의 [[universe]](n.) - rel. [[universe_of_discourse]]
// kms universal => https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=universal
// kms statement => https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=statement
하니까 math/logic 밖의 것이 많이 나와서
... Google:universal+statement+in+math
- 경로,path . . . . 5 matches
"path contour difference in mathematics"
Ggl:"path contour difference in mathematics"
Bing:"path contour difference in mathematics"
MathWorld:GraphPath
= https://mathworld.wolfram.com/GraphPath.html
MathWorld:PathGraph
= https://mathworld.wolfram.com/PathGraph.html
- 등위곡선,level_curve . . . . 5 matches
kms에 의하면 "등위선, 등고선" ... via https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=level+curve
kms contour => https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=contour
kms level set => "레벨집합" ... via https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=level+set
https://mathinsight.org/level_sets
[[등위곡면,level_surface]] ([[곡면,surface]]) { kms level surface => "수준곡면, 등위면" ... via https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=level+surface }
- 모노이드,monoid . . . . 5 matches
https://encyclopediaofmath.org/wiki/Free_semi-group
https://mathworld.wolfram.com/Submonoid.html
The formal mathematical theory of traces is described by '''trace monoid'''s."
https://mathworld.wolfram.com/Monoid.html
https://encyclopediaofmath.org/wiki/Monoid
- 범함수,functional . . . . 5 matches
https://mathworld.wolfram.com/LinearFunctional.html
https://mathworld.wolfram.com/Functional.html
[[WpEn:Functional_(mathematics)]]
= https://en.wikipedia.org/wiki/Functional_(mathematics)
= https://en.wikipedia.org/wiki/Functional_%28mathematics%29
- 분수,fraction . . . . 5 matches
MathWorld:FieldofFractions
= https://mathworld.wolfram.com/FieldofFractions.html
https://encyclopediaofmath.org/wiki/Field_of_fractions
[[WpSp:Fraction_(mathematics)]]
= https://simple.wikipedia.org/wiki/Fraction_(mathematics)
https://encyclopediaofmath.org/wiki/Fraction
- 스칼라삼중곱,scalar_triple_product . . . . 5 matches
[[MathWorld:ScalarTripleProduct]] = https://mathworld.wolfram.com/ScalarTripleProduct.html
https://mathworld.wolfram.com/DotProduct.html
https://planetmath.org/DotProduct
https://mathworld.wolfram.com/InnerProduct.html
Cmp: [[벡터삼중곱,vector_triple_product]] { https://ko.wikipedia.org/wiki/삼중곱#벡터_삼중곱 MathWorld:VectorTripleProduct = https://mathworld.wolfram.com/VectorTripleProduct.html
- 연산자,operator . . . . 5 matches
[[bounded_linear_operator]] { bounded linear operator 유계선형작용소 via KmsE:"bounded linear operator" = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=bounded+linear+operator ..... Up: bounded_operator linear_operator ... https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=bounded+linear+operator }
https://planetmath.org/ParametricOperator - [[parametric_set]] , [[index_set]] 을 알아야
[[WpEn:Operator_(mathematics)]]
= https://en.wikipedia.org/wiki/Operator_(mathematics)
- 커널,kernel . . . . 5 matches
= math/stat/ML/... =
https://encyclopediaofmath.org/wiki/Dirichlet_kernel
https://mathworld.wolfram.com/Cokernel.html
https://encyclopediaofmath.org/wiki/Cokernel - ''of a morphism in a category''
(math) 아마도 [[핵,kernel]]으로 분리하게될듯
- 텐서,tensor . . . . 5 matches
[[MW:TorsionTensor]] = https://mathworld.wolfram.com/TorsionTensor.html
https://encyclopediaofmath.org/wiki/Torsion_tensor
[[MW:RiemannTensor]] = https://mathworld.wolfram.com/RiemannTensor.html
https://encyclopediaofmath.org/wiki/Riemann_tensor — ''Riemann curvature tensor''
https://mathworld.wolfram.com/MetricTensor.html
How to Conquer Tensorphobia – Math ∩ Programming
- 계단함수,step_function . . . . 4 matches
https://mathworld.wolfram.com/StepFunction.html
https://mathworld.wolfram.com/PiecewiseConstantFunction.html
cf. https://mathworld.wolfram.com/StaircaseFunction.html
https://encyclopediaofmath.org/wiki/Step_function (짧음)
MathWorld:StepFunction
- 계산,computation . . . . 4 matches
https://encyclopediaofmath.org/wiki/Computable_function
https://mathworld.wolfram.com/TagSystem.html
https://mathworld.wolfram.com/CyclicTagSystem.html
https://mathworld.wolfram.com/GeneralRecursiveFunction.html
- 공학수학1,engineering_mathematics_1 . . . . 4 matches
= mathematical models =
Moved to [[수학적모델,mathematical_model]]
$y=e^{x^2}(1+\sqrt{\pi}\mathrm{erf}(x))$
( defined on $\mathbb{R}-\left{\pm1\right}$ )
- 넓이,area . . . . 4 matches
KmsE:"volume element" = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=volume+element { [[Date(2023-11-14T10:50:02)]]: "volume element 부피요소, 체적요소" }
KmsK:넓이 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=넓이
KmsK:면적 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=면적
KmsE:area = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=area
- 대칭군,symmetric_group . . . . 4 matches
[[MathNote:대칭군_(symmetric_group)]]
= http://wiki.mathnt.net/index.php?title=대칭군_%28symmetric_group%29
mentions: 사다리타기와도 관련... [[MathNote:사다리타기의_수학]] = http://wiki.mathnt.net/index.php?title=사다리타기의_수학
https://mathworld.wolfram.com/SymmetricGroup.html
https://encyclopediaofmath.org/wiki/Symmetric_group
MathWorld:SymmetricGroup ?
- 딜레마,dilemma . . . . 4 matches
MathWorld:Dilemma = https://mathworld.wolfram.com/Dilemma.html
MathWorld:ConstructiveDilemma = https://mathworld.wolfram.com/ConstructiveDilemma.html
MathWorld:DestructiveDilemma = https://mathworld.wolfram.com/DestructiveDilemma.html
MathWorld:MontyHallProblem
MathWorld:PrisonersDilemma = https://mathworld.wolfram.com/PrisonersDilemma.html
- 매그니튜드,magnitude . . . . 4 matches
MathWorld:Magnitude ?
[[WpSp:Magnitude_(mathematics)]] = https://simple.wikipedia.org/wiki/Magnitude_(mathematics)
[[WpEn:Magnitude_(mathematics)]] = https://en.wikipedia.org/wiki/Magnitude_(mathematics)
- 명제식,propositional_formula . . . . 4 matches
: A canonical form for a '''propositional formula'''. ( https://encyclopediaofmath.org/wiki/Disjunctive_normal_form )
https://encyclopediaofmath.org/wiki/Propositional_formula
https://encyclopediaofmath.org/wiki/Propositional_connective
https://encyclopediaofmath.org/wiki/Propositional_variable
- 부분,part . . . . 4 matches
https://mathworld.wolfram.com/RealPart.html
https://mathworld.wolfram.com/ImaginaryPart.html
https://planetmath.org/fractionalpart
https://planetmath.org/integerpart
- 부분순서,partial_order . . . . 4 matches
https://mathworld.wolfram.com/AntisymmetricRelation.html
https://mathworld.wolfram.com/PartialOrder.html
https://planetmath.org/partialorder
KmsE:"partial order" = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=partial+order
MathWorld:PartialOrder
- 산술,arithmetic . . . . 4 matches
[[WpSp:Operation_(mathematics)#Modulation]] = [[https://simple.wikipedia.org/wiki/Operation_(mathematics)#Modulation]]
첫문장 "수론^^[[정수론,number_theory]]^^에서 '''모듈러 산술(영어: modular arithmetic) 또는 합동 산술(合同算術)'''은 정수의 합과 곱을 어떤 주어진 수의 나머지에 대하여 정의하는 방법이다. 정수환의 [[몫환,quotient_ring]] $\mathbb {Z} /(n)$ 의 [[환,ring]] 구조로 생각할 수 있다."
https://planetmath.org/cardinalarithmetic
- 상수,constant . . . . 4 matches
수학 상수 mathematical constant
KmsE:"mathematical constant"
Ggl:"mathematical constant"
Ndict:"mathematical constant"
WpSp:Mathematical_constant ?
WpEn:Mathematical_constant = https://en.wikipedia.org/wiki/Mathematical_constant
MathWorld:Constant
- 생성,generation . . . . 4 matches
https://mathworld.wolfram.com/Generation.html
https://mathworld.wolfram.com/FinitelyGenerated.html
mentions [[group_generator]] =,group_generator . group_generator { https://mathworld.wolfram.com/GroupGenerators.html }
https://planetmath.org/finitelygeneratedmodule
- 술어,predicate . . . . 4 matches
[[WpEn:Predicate_(mathematical_logic)]]
= https://en.wikipedia.org/wiki/Predicate_(mathematical_logic)
= https://en.wikipedia.org/wiki/Predicate_%28mathematical_logic%29
https://encyclopediaofmath.org/wiki/Predicate_variable
- 아핀공간,affine_space . . . . 4 matches
https://mathworld.wolfram.com/AffinePlane.html
[[계수체,coefficient_field]]? [[계수,coefficient]] [[체,field]] https://mathworld.wolfram.com/CoefficientField.html
https://mathworld.wolfram.com/AffineSpace.html
https://encyclopediaofmath.org/wiki/Affine_space - ''over a field $k$ ''
- 알고리듬,algorithm . . . . 4 matches
https://encyclopediaofmath.org/wiki/Normal_algorithm
[[계산가능수,computable_number]] - https://everything2.com/title/computable+number [[WpEn:Computable_number]] https://mathworld.wolfram.com/ComputableNumber.html
[[계산가능집합,computable_set]] - [[재귀집합,recursive_set]] { [[WpKo:재귀_집합]] https://mathworld.wolfram.com/RecursiveSet.html
https://mathworld.wolfram.com/ComplexityTheory.html
- 언어학,linguistics . . . . 4 matches
mathematical_linguistics
[[수학,math]]
https://encyclopediaofmath.org/wiki/Mathematical_linguistics
https://encyclopediaofmath.org/wiki/Structural_linguistics
- 역삼각함수,inverse_trigonometric_function . . . . 4 matches
||arctan ||$\mathbb{R}$ ||$(-\frac\pi2,\frac\pi2)$ ||arccot ||$\mathbb{R}$ ||$(0,\pi)$ ||
$\fbox{(\tan^{-1}x)'=\frac{1}{1+x^2}}\;\mathbb{R}\mapsto\left(-\frac{\pi}{2},\frac{\pi}{2}\right)$
$\tan(\tan^{-1}x)=x\quad\quad (x\in\mathbb{R})$
- 열거,enumeration . . . . 4 matches
https://encyclopediaofmath.org/wiki/Enumeration_operator
https://mathworld.wolfram.com/RecursivelyEnumerableSet.html
via partial recursive operator partial_recursive_operator https://encyclopediaofmath.org/wiki/Partial_recursive_operator
https://encyclopediaofmath.org/wiki/Enumeration
- 오차,error . . . . 4 matches
https://mathworld.wolfram.com/RoundoffError.html
rel: [[수치해석,numerical_analysis]] [[numerical_error]] [[부동소수점,floating_point]] { https://mathworld.wolfram.com/Floating-PointArithmetic.html https://mathworld.wolfram.com/Floating-PointNumber.html https://mathworld.wolfram.com/Floating-PointRepresentation.html }...
- 집합연산,set_operation . . . . 4 matches
https://encyclopediaofmath.org/wiki/Union_of_sets
https://encyclopediaofmath.org/wiki/Intersection_of_sets
https://encyclopediaofmath.org/wiki/Relative_complement
https://encyclopediaofmath.org/wiki/Complementation#Sets
- 최소 . . . . 4 matches
[[최소화,minimization]] - math, optimization, ... =최소화,minimization =,minimization .
https://encyclopediaofmath.org/wiki/Least-number_operator
(usage on logic, math, ....)
MathWorld:Minimum = https://mathworld.wolfram.com/Minimum.html
- 축전기,capacitor . . . . 4 matches
$V(t)=\mathcal{E}_0\cdot\left(1-e^{-\frac{t}{RC}}\right)$
$t=\infty:\; V(\infty)=\mathcal{E}_0$
$I(t)=\frac{\mathcal{E}_0}{R}e^{-\frac{t}{RC}}$
$t=0:\;I(0)=\frac{\mathcal{E}_0}{R}$
- 축전기,축전지,충전기 . . . . 4 matches
전류가 $I,$ 기전력(electromotive force, emf)은 $\mathcal{E},$ 내부저항 $r$ 임을 가정.
$V=\mathcal{E}-Ir$
$V=\mathcal{E}+Ir$
$V=\mathcal{E}$ (책에는 없지만 이렇겠지)
- 카디널,cardinal . . . . 4 matches
https://planetmath.org/cardinalnumber
https://planetmath.org/successorcardinal
https://planetmath.org/cardinalsuccessor
successor_cardinal 항목 참조: https://planetmath.org/successorcardinal
- 컬렉션,collection . . . . 4 matches
math에서:
Math에서
https://mathworld.wolfram.com/Collection.html
보통 multiset { https://mathworld.wolfram.com/Multiset.html } 즉 [[순서,order]]는 관계없지만 [[집합,set]]과는 달리 multiplicity 는 중요한.
https://planetmath.org/collection
- 콤마,comma . . . . 4 matches
https://mathworld.wolfram.com/CommaDerivative.html
WpEn:Comma_derivative redir to : WpEn:Covariant_derivative [[covariant_derivative]] WtEn:covariant_derivative https://mathworld.wolfram.com/CovariantDerivative.html ...mkl [[covariance]]
MathWorld:Comma = https://mathworld.wolfram.com/Comma.html
４. 유럽 본토(대륙) 쪽에선 소숫점 decimal_point { https://mathworld.wolfram.com/DecimalPoint.html } (.) 대신 comma(,)가 쓰임. ex. $\pi=3,14159\cdots$
- 탄젠트,tangent . . . . 4 matches
접선 (how about 접직선?) https://mathworld.wolfram.com/TangentLine.html
접평면 https://mathworld.wolfram.com/TangentPlane.html
접공간 https://mathworld.wolfram.com/TangentSpace.html
접벡터 https://mathworld.wolfram.com/TangentVector.html
- 테일러_다항식,Taylor_polynomial . . . . 4 matches
https://mathworld.wolfram.com/UnivariatePolynomial.html
KmsE:"Univariate Polynomial" = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=Univariate+Polynomial x [[Date(2023-11-08T21:03:55)]]
https://mathworld.wolfram.com/MultivariatePolynomial.html
||6 ||육차 ||sextic ? || || ||MathWorld:SexticCurve ||
[[https://math.stackexchange.com/questions/76533/types-of-polynomial-functions-quadratic-cubic-quartic-quintic algebra precalculus - Types of polynomial functions. Quadratic, cubic, quartic, quintic, ...,? - Mathematics Stack Exchange]]
- 평면그래프,planar_graph . . . . 4 matches
[[polyhedral_graph]] { polyhedral graph (번역참고 KmsE:polyhedr ) (MKL WtEn:Herschel_graph ) Twin: MathWorld:PolyhedralGraph WpEn:Polyhedral_graph WpJa:多面体グラフ "polyhedral graph" Ggl:"polyhedral graph" }
https://math.stackexchange.com/questions/3073581/formal-definition-of-planar-graph
http://discrete.openmathbooks.org/dmoi3/sec_planar.html
https://mathworld.wolfram.com/PlanarGraph.html
https://encyclopediaofmath.org/wiki/Graph,_planar
MathWorld:PlanarGraph ?
- 필드,field . . . . 4 matches
그 중 2D CFG 는 특이하며 rel. { https://en.wikipedia.org/wiki/Virasoro_algebra https://ko.wikipedia.org/wiki/비라소로_대수 https://encyclopediaofmath.org/wiki/Virasoro_algebra https://ncatlab.org/nlab/show/Virasoro+algebra }
= 체(field) ''(math, esp. algebra?)'' =
https://mathworld.wolfram.com/Subfield.html
math > algebra > field_theory : extension_field / field_extension etc. ''// later see [[체,field]] '''// curr see 아래([[필드,field]]의 체(field) section)'''''
- 환론,ring_theory . . . . 4 matches
환(ring)에서 체(field)까지 - 1. 환(ring) :: jjycjn's Math Storehouse
https://jjycjnmath.tistory.com/228
https://mathworld.wolfram.com/TrivialRing.html
https://planetmath.org/orderedring
https://mathworld.wolfram.com/CommutativeRing.html
- VideosWatching . . . . 3 matches
> Category thoery is the mathematics of mathematics.
''MKL [[metamathematics]]''
Mathematics is the logical study of how logical things work. // 만물에 대한 것을 다루진 않고 [[논리,logic]] [[논리학,logic]]인 것에 대한
- WebPagesReading . . . . 3 matches
주제: [[선형대수,linear_algebra]] [[수리물리]] mathematical_physics 였나? Ndict:수리물리학 - Yes.
= Introduction to Higher Mathematics =
Introduction to Higher Mathematics
https://www.whitman.edu/mathematics/higher_math_online/
by: Patrick Keef and David Guichard (Department of Mathematics, Whitman College)
- 가능성,possibility . . . . 3 matches
math에서
https://encyclopediaofmath.org/wiki/Modality
https://encyclopediaofmath.org/wiki/Modal_logic
- 가산집합,countable_set . . . . 3 matches
via https://planetmath.org/sorgenfreyline
https://planetmath.org/firstcountable
https://planetmath.org/secondcountable
- 가중값,weight . . . . 3 matches
$\bullet\;\vec{w}=\mathbb{1}$ (일벡터) 일 때, $\vec{w}\cdot\vec{v}$ 는 $\vec{v}$ 벡터의 원소들의 합
https://mathworld.wolfram.com/Weight.html - 이건 위와 약간 포인트가 다름
KmsE:weighted = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=weighted 보면 저기 아직 참고할 단어 없고 그냥 weighted- = 가중- 으로 덮어놓고 번역하면 됨.
- 가측집합,measurable_set . . . . 3 matches
MathWorld:MeasurableSet ?
https://encyclopediaofmath.org/wiki/Measurable_set
Page name via KMS. KmsE:"measurable set" = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=measurable+set
Wiener measurable set 위너 측도가능한 집합 // rel [[Wiener_measure]] =,Wiener_measure =,Wiener_measure . Wiener_measure { WtEn:Wiener_measure ? https://encyclopediaofmath.org/wiki/Wiener_measure "Wiener measure" Ggl:"Wiener measure" Naver:"Wiener measure" Bing:"Wiener measure" } // "Wiener measure"
- 갈루아_이론,Galois_theory . . . . 3 matches
https://mathworld.wolfram.com/GaloisTheory.html
[[MathNote:갈루아_이론]] = https://wiki.mathnt.net/index.php?title=갈루아_이론
https://encyclopediaofmath.org/wiki/Galois_theory
- 경우,case . . . . 3 matches
[[WpEn:Limiting_case_(mathematics)]]
= https://en.wikipedia.org/wiki/Limiting_case_%28mathematics%29
[[WpEn:Degeneracy_(mathematics)]]
- 곱집합,product_set . . . . 3 matches
https://mathworld.wolfram.com/CartesianProduct.html
https://planetmath.org/cartesianproduct
https://encyclopediaofmath.org/wiki/Cartesian_product
- 널,null . . . . 3 matches
수학에서 - [[WpEn:Null_(mathematics)]] = https://en.wikipedia.org/wiki/Null_%28mathematics%29
https://mathworld.wolfram.com/NullGraph.html
- 님,nim . . . . 3 matches
[[MathWorld:Nim]]
= https://mathworld.wolfram.com/Nim.html
https://mathworld.wolfram.com/Nim-Value.html
https://mathworld.wolfram.com/Nim-Heap.html
- 다각형,polygon . . . . 3 matches
https://mathworld.wolfram.com/SimplePolygon.html
https://mathworld.wolfram.com/PolygonEdge.html
https://mathworld.wolfram.com/PolygonVertex.html
- 동치,equivalence . . . . 3 matches
https://mathworld.wolfram.com/EquivalenceClass.html
// https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=equivalent
// https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=equivalence
- 래티스,lattice . . . . 3 matches
KmsE:"lattice theory" = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=lattice%20theory
https://encyclopediaofmath.org/wiki/Distributive_lattice
https://encyclopediaofmath.org/wiki/Completely_distributive_lattice
- 몫공간,quotient_space . . . . 3 matches
MathWorld:QuotientSpace = https://mathworld.wolfram.com/QuotientSpace.html
https://planetmath.org/quotientspace
https://encyclopediaofmath.org/wiki/Quotient_space
- 미분,derivative . . . . 3 matches
[[WpSp:Derivative_(mathematics)]] = https://simple.wikipedia.org/wiki/Derivative_(mathematics)
[[MW:Derivative]] = https://mathworld.wolfram.com/Derivative.html
- 벡터 . . . . 3 matches
||힐베르트 공간의 기저의 성질 ||$\langle \alpha_n | \alpha_{n'} \rangle = \delta_{n,n'}$ ||$\sum_{n=1}^N |\alpha_n \rangle \langle \alpha_n | = \mathbf{I}$ ||
https://mathworld.wolfram.com/RowVector.html
https://mathworld.wolfram.com/ColumnVector.html
- 부호,code . . . . 3 matches
● chord - [[코드,chord]](rr에 언급있음.) { KmsE:chord = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=chord - [[현,chord]]이었나? - Yes. \\ NdEn:chord WtEn:chord Ndict:chord \\ (wikiadmin > pagename) kornorms 에 따르면 chord -> 코드. }
https://encyclopediaofmath.org/wiki/Coding_and_decoding
[[MathWorld:Code]] = https://mathworld.wolfram.com/Code.html
- 분해,decomposition . . . . 3 matches
MathWorld:Decomposition
...and see also: https://mathworld.wolfram.com/search/?query=decomposition
https://mathworld.wolfram.com/LQDecomposition.html
https://mathworld.wolfram.com/MatrixDecomposition.html
- 섹터,sector . . . . 3 matches
= Sub (math) =
KmsE:sector = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=sector
KmsE:"hyperbolic sector" = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=hyperbolic+sector x [[Date(2023-11-06T11:36:37)]]
- 슈도,pseudo . . . . 3 matches
https://mathworld.wolfram.com/Pseudoscalar.html
https://mathworld.wolfram.com/Pseudovector.html
https://mathworld.wolfram.com/Pseudotensor.html
- 시퀀스,sequence . . . . 3 matches
각종 ordered- : [[순서,order]]있는 것들 ( mathematical_structure s )
https://encyclopediaofmath.org/wiki/Increasing_sequence
https://encyclopediaofmath.org/wiki/Decreasing_sequence
- 시퀀트,sequent . . . . 3 matches
https://encyclopediaofmath.org/wiki/Sequent_calculus
[[수리논리,mathematical_logic]] - curr [[VG:수리논리,mathematical_logic]]
- 쌍곡선,hyperbola . . . . 3 matches
KmsE:hyperbo = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=hyperbo
KmsK:쌍곡 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=쌍곡
KmsK:쌍곡선 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=쌍곡선
- 쌍대성,duality . . . . 3 matches
https://encyclopediaofmath.org/wiki/Poincaré_duality
https://encyclopediaofmath.org/wiki/Pontryagin_duality
https://encyclopediaofmath.org/wiki/Duality_principle
- 엡실론_델타_예제_01 . . . . 3 matches
이상 http://mathnmath.tistory.com/36 의
"This handout is available at: www.uvu.edu/mathlab/handouts.html"
- 원판,disk . . . . 3 matches
[[WpEn:Disk_(mathematics)]]
= https://en.wikipedia.org/wiki/Disk_(mathematics)
= https://en.wikipedia.org/wiki/Disk_%28mathematics%29
- 이미지,image . . . . 3 matches
https://mathworld.wolfram.com/Image.html
Sub: (math에서 말하는 '''image''')
https://planetmath.org/DirectImage
- 이항관계,binary_relation . . . . 3 matches
https://encyclopediaofmath.org/wiki/Functional_relation
https://mathworld.wolfram.com/BinaryRelation.html
https://encyclopediaofmath.org/wiki/Binary_relation
- 전건긍정,modus_ponens . . . . 3 matches
https://mathworld.wolfram.com/ModusPonens.html
https://encyclopediaofmath.org/wiki/Modus_ponens
https://planetmath.org/modusponens
- 정수,integer . . . . 3 matches
https://mathworld.wolfram.com/PositiveInteger.html
https://mathworld.wolfram.com/NonnegativeInteger.html
https://mathworld.wolfram.com/NonpositiveInteger.html
- 조합,combination . . . . 3 matches
discrete mathematics > combinatorics: 조합
[[WpSp:Combination_(mathematics)]] = https://simple.wikipedia.org/wiki/Combination_(mathematics)
- 조합론,combinatorics . . . . 3 matches
1924, On the building blocks of mathematical logic, Moses_Schonfinkel // Moses_Schoenfinkel ? https://en.wikipedia.org/wiki/Moses_Schönfinkel
Ggl:"1924, On the building blocks of mathematical logic, Moses_Schonfinkel"
2018, Combinatory Logic: From Philosophy and Mathematics to Computer Science, Alexander Farrugia
Ggl:"2018, Combinatory Logic: From Philosophy and Mathematics to Computer Science, Alexander Farrugia"
''Also known as: combinatorial mathematics''
- 중적분,multiple_integral . . . . 3 matches
MathWorld:RepeatedIntegral = https://mathworld.wolfram.com/RepeatedIntegral.html
MathWorld:MultipleIntegral = https://mathworld.wolfram.com/MultipleIntegral.html
https://encyclopediaofmath.org/wiki/Multiple_integral
- 추정,estimation . . . . 3 matches
tmp; [[http://www.kms.or.kr/mathdict/list.html?key=kname&keyword=%EC%B6%94%EC%A0%95 kms 추정 says]]:
http://www.aistudy.com/math/estimate.htm
KmsE:estimation = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=estimation
MathWorld:Estimation
- 텀,term . . . . 3 matches
[[WpSp:Term_(mathematics)]]
= https://simple.wikipedia.org/wiki/Term_(mathematics)
= https://simple.wikipedia.org/wiki/Term_%28mathematics%29
- 파울리_행렬,Pauli_matrix . . . . 3 matches
https://mathworld.wolfram.com/HermitianMatrix.html
https://mathworld.wolfram.com/search/?query=hermitian+matrix
MathWorld:PauliMatrix - "See https://mathworld.wolfram.com/PauliMatrices.html " [[Date(2023-11-13T23:14:41)]]
- 패리티,parity . . . . 3 matches
MathWorld:Parity = https://mathworld.wolfram.com/Parity.html
[[WpEn:Parity_(mathematics)]]
= https://en.wikipedia.org/wiki/Parity_(mathematics)
- 평면곡선,plane_curve . . . . 3 matches
KmsE:"osculating curve" = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=osculating+curve
https://mathworld.wolfram.com/PlaneCurve.html
평면곡선 via https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=plane+curve
- 프로덕트,product . . . . 3 matches
[[수학,math]]에서는 곱(순한글?), 적(한자: ) ... pagename
5. ([[수학,math]]) "Any operation or a result ''// 즉 [[연산,operation]]을 칭하기도 하고 연산의 [[결과,result]]를 칭하기도 한다는?''
[[MathWorld:MultiplicativeGroup]] = https://mathworld.wolfram.com/MultiplicativeGroup.html
- 함의,implication . . . . 3 matches
KmsE:extension = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=extension 보면 수학에선 확장으로 거의 통일한 듯, 그럼 [[확장,extension]]은 수학내용으로 채우고.. .... 저기에 [[expansion]]과의 차이도 서술.
"''"실질 함의문(material implication)"이라는 명칭을 제안하고 명시적인 정의를 제시한 것은 버트런드 러셀과 화이트헤드의 『수학 원리([[Principia_Mathematica]])』다. 『수학 원리』에서 실질 조건문은 다음과 같이 표현된다. ....''"
https://encyclopediaofmath.org/wiki/Implication
https://mathworld.wolfram.com/Implies.html
- 합,sum . . . . 3 matches
https://johngrib.github.io/wiki/study/concrete-math/02-sums-07/
https://encyclopediaofmath.org/wiki/Direct_sum
https://mathworld.wolfram.com/Sum.html
- 해석,interpretation . . . . 3 matches
https://mathworld.wolfram.com/Interpretation.html
satisfiability https://mathworld.wolfram.com/Satisfiable.html
unsatisfiability https://mathworld.wolfram.com/Unsatisfiable.html
- 형식언어,formal_language . . . . 3 matches
https://encyclopediaofmath.org/wiki/Formalization_method
https://encyclopediaofmath.org/wiki/Formal_language - ''in mathematical linguistics''
- 형태학,morphology . . . . 3 matches
== 수학적 형태학 mathematical morphology MM ==
mathematical_morphology
WtEn:mathematical_morphology ?
https://en.wikipedia.org/wiki/Mathematical_morphology
MathWorld:Morphology
- BooksReading . . . . 2 matches
https://artofproblemsolving.com/wiki/index.php/Math_books
https://artofproblemsolving.com/wiki/index.php/Math_textbooks ....[수학,math]
A Course of Pure Mathematics
"A Course of Pure Mathematics"
Ggl:"A Course of Pure Mathematics" by G. H. Hardy / Cambridge University Press / 1908
[[관심,interest]]이 수학에만 집중되지(primarily mathematical하지) 않은 사람을 위한 책은 아니다.
= Concrete Mathematics =
Concrete_Mathematics
[[Concrete_Mathematics]]
https://everything2.com/title/Concrete+Mathematics
https://en.wikipedia.org/wiki/Concrete_Mathematics
Implementing Programming Languages: An Introduction to Compilers and Interpreters - Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials
- C언어 . . . . 2 matches
[[math.h]] { https://everything2.com/title/math.h }
- GenPhyExercises . . . . 2 matches
$\mathcal{E}_2-i_1R_1=0$
$i_1=\frac{\mathcal{E}_2}{R_1}=\frac{5.0V}{100\Omega}=0.05A$
- LaTeX_basic_skel . . . . 2 matches
Intro to LaTeX : Learn to write beautiful math equations
\usepackage{amsmath}
- Principia_Mathematica . . . . 2 matches
'''''Principia Mathematica'''''
[[수리논리,mathematical_logic]]
[[수리논리학,mathematical_logic]]
WtEn:Principia_Mathematica x 2024-01
Ggl:"Principia Mathematica"
- complement . . . . 2 matches
[[Date(2023-09-08T21:09:40)]] 저건 연산이고 그 결과가 complement_set ? https://mathworld.wolfram.com/ComplementSet.html
https://encyclopediaofmath.org/wiki/Complementation
- 가부번집합,denumerable_set . . . . 2 matches
tmp kms denum => https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=denum : as of [[Date(2023-06-02T16:07:58)]]
https://mathworld.wolfram.com/DenumerableSet.html
- 가우스_함수,Gaussian_function . . . . 2 matches
https://mathworld.wolfram.com/GaussianFunction.html
가우스함수는 정규분포(바로아래줄)의 [[확률밀도함수,probability_density_function]](PDF){ https://mathworld.wolfram.com/ProbabilityDensityFunction.html }임.
- 가측함수,measurable_function . . . . 2 matches
https://mathworld.wolfram.com/MeasurableFunction.html
https://encyclopediaofmath.org/wiki/Measurable_function
- 결과,result . . . . 2 matches
https://mathworld.wolfram.com/Resultant.html
https://encyclopediaofmath.org/wiki/Resultant
- 경우의_수,number_of_cases . . . . 2 matches
https://mathworld.wolfram.com/OrdinalNumber.html
https://mathworld.wolfram.com/TransfiniteNumber.html
- 계량,metric . . . . 2 matches
https://mathworld.wolfram.com/search/?query=metric
[[MathWorld:Metric]] = https://mathworld.wolfram.com/Metric.html
- 곡면,surface . . . . 2 matches
https://en.wikipedia.org/wiki/Surface_(mathematics)
https://en.wikipedia.org/wiki/Surface_%28mathematics%29
- 곱셈,multiplication . . . . 2 matches
[[MathWorld:KaratsubaMultiplication]]
= https://mathworld.wolfram.com/KaratsubaMultiplication.html
https://planetmath.org/multiplication
- 곱의_법칙,rule_of_product . . . . 2 matches
https://planetmath.org/ruleofproduct
[[MathWorld:MultiplicationPrinciple]] = https://mathworld.wolfram.com/MultiplicationPrinciple.html
- 공역,codomain . . . . 2 matches
https://mathworld.wolfram.com/Codomain.html
KmsE:codomain = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=codomain {[[Date(2023-11-18T12:35:49)]] "codomain=공(변)역"}
- 극점,pole . . . . 2 matches
https://mathworld.wolfram.com/Pole.html
[[https://encyclopediaofmath.org/wiki/Pole_(of_a_function)]]
- 극한(limit) . . . . 2 matches
$\lim_{x\to\infty}f(x)=L$ 이고 $n\in\mathbb{N}$ 에 대하여 $a_n=f(n)$ 이면, $\lim_{n\to\infty}a_n=L$
Up: [[수학,math]]
- 극한점,limit_point . . . . 2 matches
https://encyclopediaofmath.org/wiki/Limit_point_of_a_set
https://mathworld.wolfram.com/LimitPoint.html
- 근사,approximation . . . . 2 matches
[[KmsK:근사]] = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=근사
[[KmsE:approx]] = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=approx
- 내적공간,inner_product_space . . . . 2 matches
Hypernym: [[노름벡터공간,normed_vector_space]] AKA[* 둘은 같은 단어. 참고: https://math.stackexchange.com/questions/4365339/normed-space-always-vector-space] [[노름공간,normed_space]] : [[벡터공간,vector_space]] equipped with a [[노름,norm]]
[[MathNote:내적공간]] = https://wiki.mathnt.net/index.php?title=내적공간
- 노멀폼,normal_form . . . . 2 matches
[[MathNote:스미스_표준형_(Smith_normal_form)]] = http://wiki.mathnt.net/index.php?title=스미스_표준형_(Smith_normal_form)
https://encyclopediaofmath.org/wiki/Disjunctive_normal_form
MathWorld:NormalForm
- 논리상수,logical_constant . . . . 2 matches
[[언어,language]] $\mathcal{L}$ 의 '''논리상수'''는, 모든 [[해석,interpretation]]에서 같은 [[의미값,semantic_value]]을 갖는 [[기호,symbol]].''(or [[심벌,symbol]])''
logical constant : not in kms... https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=logical+con
- 논리연결사,logical_connective . . . . 2 matches
https://planetmath.org/logicalconnective
[[MathWorld:Connective]]
= https://mathworld.wolfram.com/Connective.html
https://en.wikibooks.org/wiki/Mathematical_Proof_and_the_Principles_of_Mathematics/Logic/Logical_connectives
- 논증,argument . . . . 2 matches
AKA: 전산학 쪽에서는 도출(derivation) 𝔇, 𝕯, $\mathcal{D},\mathscr{D}$ 이라고 쓰기도 함.
- 높이,height . . . . 2 matches
pagename '''높이,height''' confirmed via KmsE:height = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=height at [[Date(2023-11-02T04:59:13)]] 결과 3개.
"수학적 객체의 복잡성을 수량화하는 함수"(구글 검색결과에 나오는 자동번역, 원문은 A height function is a function that quantifies the complexity of mathematical objects.)
- 다항함수,polynomial_function . . . . 2 matches
$n\in\mathbb{N}$ ([[자연수,natural_number]])
KmsK:다항함수 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=다항함수
- 단조함수,monotonic_function . . . . 2 matches
[[MathWorld:MonotonicFunction]] = https://mathworld.wolfram.com/MonotonicFunction.html
KmsE:단조 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=단조
- 닫힌집합,closed_set . . . . 2 matches
https://mathworld.wolfram.com/ClosedSet.html
https://encyclopediaofmath.org/wiki/Closed_set - ''in a topological space''
- 닫힘,closure . . . . 2 matches
[[WpEn:Closure_(mathematics)]]
= https://en.wikipedia.org/wiki/Closure_(mathematics)
- 덧셈기,adder . . . . 2 matches
https://mathworld.wolfram.com/Carry.html
https://mathworld.wolfram.com/Borrow.html
MathWorld:Adder ?
- 데리베이션,derivation . . . . 2 matches
esp mathematical_induction - 수학적귀납 ? curr. [[VG:수학적귀납법,mathematical_induction]]
- 동치관계,equivalence_relation . . . . 2 matches
https://mathworld.wolfram.com/EquivalenceRelation.html
https://encyclopediaofmath.org/wiki/Equivalence_relation
- 루트,root . . . . 2 matches
혹시나 해서 MathWorld:TreeRoot 보니, redir to: MathWorld:RootVertex
https://mathworld.wolfram.com/RootedGraph.html
https://mathworld.wolfram.com/RootedTree.html
[[접사,affix]] WtEn:affix MathWorld:Affix ([[Date(2023-11-11T13:47:01)]] 현재 archological meaning 하나만 있음)
[[prefix]] WtEn:prefix MathWorld:Prefix [[Date(2023-11-11T13:47:01)]]현재 내용은 없지만 MathWorld:Diafix 를 알게 됨
[[infix]]? WtEn:infix MathWorld:Infix ?
[[suffix]] WtEn:suffix MathWorld:Suffix ?
MathWorld:Root
- 리터럴,literal . . . . 2 matches
[[WpEn:Literal_(mathematical_logic)]]
= https://en.wikipedia.org/wiki/Literal_%28mathematical_logic%29
- 맞추기,fitting . . . . 2 matches
번역 via KmsE:fitting = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=fitting
least square(s) fitting - [[최소제곱,least_square]] 맞추기 - [[최소제곱맞추기,least_squares_fitting]] https://mathworld.wolfram.com/LeastSquaresFitting.html
- 매끄러운함수,smooth_function . . . . 2 matches
MathWorld:SmoothFunction
MathWorld:C-InfinityFunction = https://mathworld.wolfram.com/C-InfinityFunction.html
https://encyclopediaofmath.org/wiki/Smooth_function
- 멤버십,membership . . . . 2 matches
[[WpEn:Membership_function_(mathematics)]]
= https://en.wikipedia.org/wiki/Membership_function_(mathematics)
- 모듈로,modulo . . . . 2 matches
[[WpEn:Modulo_(mathematics)]]
= https://en.wikipedia.org/wiki/Modulo_%28mathematics%29
- 물리physics . . . . 2 matches
$\mathrm{(A)}\; m\frac{d\vec{v}}{dt}=\vec{F}$
$\mathrm{(B)}\; \frac{d\vec{p}}{dt}=\vec{F}$
- 바이너리,binary . . . . 2 matches
https://mathworld.wolfram.com/ExtendedBinaryTree.html
KmsE:binary = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=binary
- 변환 . . . . 2 matches
[[transform]], [[transformation]] (esp. in math) -> [[변환,transformation]] - [[VG:변환,transformation]]
https://mathworld.wolfram.com/LinearOperator.html
- 부분공간,subspace . . . . 2 matches
=> [[널공간,null_space]] =,null_space =,nullspace { null space / nullspace . WtEn:nullspace https://mathworld.wolfram.com/NullSpace.html MKL [[left_nullspace]] [[right_nullspace]] [[nullity]] =,nullity . nullity { 퇴화차수 WtEn:nullity "The difference between the rank of a matrix and the number of columns it has; the dimension of the nullspace of a matrix." Ndict:퇴화차수 Ggl:퇴화차수 Ndict:"nullity" Ggl:"nullity" } [[널,null]] [[공간,space]] [[벡터공간,vector_space]] }
https://mathworld.wolfram.com/Subspace.html
- 부피,volume . . . . 2 matches
esp $\mathbb{R}^3$
page name confirmed via KMS: [[KmsE:volume]] = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=volume
- 불변성,invariance . . . . 2 matches
... [[WpEn:Invariant_%28mathematics%29#Invariants_in_computer_science]]
... [[WpEn:Invariant_(mathematics)]]
- 브래킷,bracket . . . . 2 matches
[[WpEn:Bracket_(mathematics)]]
= https://en.wikipedia.org/wiki/Bracket_(mathematics)
- 삼단논법,syllogism . . . . 2 matches
https://mathworld.wolfram.com/DisjunctiveSyllogism.html
https://mathworld.wolfram.com/Syllogism.html
- 상등,equality . . . . 2 matches
pagename: kms는 상등이긴 한데 ( https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=equality ) '''동등 상등성 동등성''' 등도 후보임.
http://google.com/search?q=equivalence+vs+equality+in+mathematics
- 상태,state . . . . 2 matches
http://www.aistudy.com/math/finite_state_machine.htm
[[MathWorld:State]] = https://mathworld.wolfram.com/State.html
- 서로소,seoroso . . . . 2 matches
https://mathworld.wolfram.com/RelativelyPrime.html
최대공약수 https://mathworld.wolfram.com/GreatestCommonDivisor.html
- 소거,elimination . . . . 2 matches
[[MathWorld:GroebnerBasis]] = https://mathworld.wolfram.com/GroebnerBasis.html
https://encyclopediaofmath.org/wiki/Gröbner_basis
MathWorld:Elimination ? x 2023-11
- 수체,number_field . . . . 2 matches
KmsE:"number field" = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=number+field
KmsK:수체 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=수체
- 수학적모델,mathematical_model . . . . 2 matches
Up: [[공학수학1,engineering_mathematics_1]]
and [[수학,math]] [[모형,model]] = [[모델,model]]
- 스칼라,scalar . . . . 2 matches
MathWorld:Scalar = https://mathworld.wolfram.com/Scalar.html
https://mathworld.wolfram.com/Pseudoscalar.html
- 스킴,scheme . . . . 2 matches
https://encyclopediaofmath.org/wiki/Scheme
"A '''scheme''' is a [[공간,space]] that locally looks like a particularly simple [[ringed_space]] =,ringed_space =,ringed_space . ringed_space { https://encyclopediaofmath.org/wiki/Ringed_space https://ncatlab.org/nlab/show/ringed+space "ringed space" Ggl:"ringed space" https://en.wiktionary.org/wiki/ringed_space x 2023-11 }: an [[affine_scheme]] =,affine_scheme =,affine_scheme . affine_scheme { https://ncatlab.org/nlab/show/affine+scheme https://en.wiktionary.org/wiki/affine_scheme x 2023-11 Ggl:affine+scheme affine+scheme }. ..."
MathWorld:Scheme
- 스피어,sphere . . . . 2 matches
[[MathWorld:Sphere]] = https://mathworld.wolfram.com/Sphere.html
Extension? Generalization? : [[hypersphere]] 하이퍼구(면) or 초구(면) KmsE:hypersphere NdEn:hypersphere Ndict:hypersphere Ggl:hypersphere MathWorld:Hyperphere ?
KmsE:spher = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=spher 2023-11-06 현재 82개
- 신택스,syntax . . . . 2 matches
[[mathematical_linguistics]]
https://encyclopediaofmath.org/wiki/Syntactic_structure
- 쌍대,dual . . . . 2 matches
* 4.는 math에서의 뜻: ddddd
https://mathworld.wolfram.com/DualVectorSpace.html
- 알파벳,alphabet . . . . 2 matches
https://encyclopediaofmath.org/wiki/Alphabet
[[MathWorld:Alphabet]] = https://mathworld.wolfram.com/Alphabet.html
- 액션,action . . . . 2 matches
MathWorld:Action ? - 있음, [[앨지브라,algebra]]에서 말하는 action 언급.
cf. [[MathWorld:GroupAction]] = https://mathworld.wolfram.com/GroupAction.html
TBW [[클래스메소드,class_mathod]] [[정적메소드,static_method]]의 경우.
- 언어,language . . . . 2 matches
https://planetmath.org/logicallanguage
https://planetmath.org/firstorderlanguage
- 연결성,connectivity . . . . 2 matches
https://mathworld.wolfram.com/VertexConnectivity.html
https://mathworld.wolfram.com/EdgeConnectivity.html
MathWorld:adjacency MathWorld:Adjacency
MathWorld:AdjacencyMatrix
MathWorld:AdjacencyList
MathWorld:AdjacencyRelation .... [[관계,relation]] of [[그래프이론,graph_theory]]
MathWorld:Connectivity MathWorld:connectivity
- 연속,yeonsok . . . . 2 matches
https://sasamath.com/blog/articles/calculus-continuity/
https://mathworld.wolfram.com/ContinuousFunction.html
- 위계,hierarchy . . . . 2 matches
nested_function .... https://mathworld.wolfram.com/NestedFunction.html https://en.wikipedia.org/wiki/Nested_function
https://mathworld.wolfram.com/NestedLogarithm.html
- 위상공간,topological_space . . . . 2 matches
세 조건을 만족하는 집합족[[set_family]]이 '''[[위상,topology]]'''이고, $(\mathcal{T})$
''(tuple?)'' $(X,\mathcal{T})$ 가 '''위상공간'''이다
- 위상평면,phase_plane . . . . 2 matches
[[WpEn:Phase_line_(mathematics)]] = https://en.wikipedia.org/wiki/Phase_line_(mathematics)
MathWorld:PhasePlane ?
- 자기동형군,automorphism_group . . . . 2 matches
https://encyclopediaofmath.org/wiki/General_linear_group
https://mathworld.wolfram.com/GeneralLinearGroup.html
- 자연수,natural_number . . . . 2 matches
https://mathworld.wolfram.com/NaturalNumber.html
https://planetmath.org/naturalnumber
- 재귀,recursion . . . . 2 matches
mathematical_induction (VG: 수학적귀납법,mathematical_induction) 얘기할 땐, '''recursive''' = inductive 동의어.
https://en.wikipedia.org/wiki/Mathematical_logic#Recursion_theory
- 접다발,tangent_bundle . . . . 2 matches
https://mathworld.wolfram.com/TangentBundle.html
https://encyclopediaofmath.org/wiki/Tangent_bundle
- 정사각형,square . . . . 2 matches
KmsE:"unit square" = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=unit+square
https://mathworld.wolfram.com/UnitSquare.html
- 지너스,genus . . . . 2 matches
[[수학,math]]에선 [[종수,genus]] via KmsE:genus = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=genus
- 진리값,truth_value . . . . 2 matches
https://planetmath.org/truthfunction
https://encyclopediaofmath.org/wiki/Many-valued_logic
- 집적점,accumulation_point . . . . 2 matches
https://mathworld.wolfram.com/AccumulationPoint.html
https://encyclopediaofmath.org/wiki/Accumulation_point
- 책,book . . . . 2 matches
* (가장 중요?) topic - programming, math, philosophy, ...
= Principia Mathematica =
[[Principia_Mathematica]]
https://simple.wikipedia.org/wiki/Principia_Mathematica
https://plato.stanford.edu/entries/principia-mathematica/
= Philosophiæ Naturalis Principia Mathematica =
WpEn:Philosophiæ_Naturalis_Principia_Mathematica
- 최대화,maximization . . . . 2 matches
aka '''maximizing''' ... KmsK:최대화 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=최대화 [[Date(2023-11-13T02:01:47)]] 현재 한개 {maximizing 최대화 } ''But 더 중요한 표현인 maximization는 없는''
||[[최대점,maximum_point]] ||[[최소점,minimum_point]] ||[[점,point]] ... see https://encyclopediaofmath.org/wiki/Maximum_and_minimum_points ||
- 치역,range . . . . 2 matches
https://mathworld.wolfram.com/Image.html
https://mathworld.wolfram.com/Range.html
- 트랜지션,transition . . . . 2 matches
https://mathworld.wolfram.com/PhaseTransition.html
[[MathWorld:TransitionMatrix]] = https://mathworld.wolfram.com/TransitionMatrix.html
- 표본,sample . . . . 2 matches
수학적 확률표본, 수학적 우연표본,mathematical random sample // Ndict:"mathematical random sample"
- 프로그램,program . . . . 2 matches
"is the derivation of a program from its specification, by mathematical means."
https://mathworld.wolfram.com/Program.html
- 필터,filter . . . . 2 matches
에 대해: https://planetmath.org/comparisonoffilters
[[WpEn:Filter_(mathematics)]]
- 함수공간,function_space . . . . 2 matches
https://mathworld.wolfram.com/FunctionSpace.html
https://planetmath.org/functionspace
- 합동,congruence . . . . 2 matches
[[https://encyclopediaofmath.org/wiki/Congruence_(in_algebra)]]
https://planetmath.org/congruenceaxioms
- 합성,synthesis . . . . 2 matches
KmsE:synthesis = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=synthesis
KmsK:합성 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=합성
- 해,solution . . . . 2 matches
https://mathworld.wolfram.com/ExactSolution.html
https://mathworld.wolfram.com/Closed-FormSolution.html
[[MathWorld:Solution]] = jjjjjjj 이 없다(??) [[Date(2023-11-11T13:37:59)]]
- 해석공간,analytic_space . . . . 2 matches
https://encyclopediaofmath.org/wiki/Analytic_set
MathWorld:AnalyticSpace ? x 2023-11 ... auto-redir to: https://mathworld.wolfram.com/search/?q=Analytic+Space
- 행렬,matrix . . . . 2 matches
https://mathworld.wolfram.com/RotationMatrix.html
https://mathworld.wolfram.com/PayoffMatrix.html
- 후건부정,modus_tollens . . . . 2 matches
https://mathworld.wolfram.com/ModusTollens.html
https://planetmath.org/modustollens
- arcsinh_증명 . . . . 1 match
$x\in\mathbb{R}$
- arctanh_x_적분_증명 . . . . 1 match
확인: https://mathworld.wolfram.com/InverseHyperbolicTangent.html (여기엔 ln(1-x^2)인데??)
- denominator . . . . 1 match
([[수학,math]]에서 [[분수,fraction]]의) [[분모]] -> [[분모,denominator]]
- if_and_only_if . . . . 1 match
[[수학,math]] esp [[로직,logic]]([[논리,logic]]/[[논리학,logic]])
- 게임이론,game_theory . . . . 1 match
MathWorld:GameTheory
https://encyclopediaofmath.org/wiki/Games,_theory_of
- 결론,conclusion . . . . 1 match
https://mathworld.wolfram.com/Conclusion.html
- 결정이론,decision_theory . . . . 1 match
https://mathworld.wolfram.com/DecisionTheory.html
- 계수,coefficient . . . . 1 match
https://mathworld.wolfram.com/Coefficient.html
- 고유,eigen . . . . 1 match
// from https://www.samsungsds.com/kr/insights/mathematics_for_ML.html
- 고유값,eigenvalue . . . . 1 match
[[MathWorld:Eigenvalue]] = https://mathworld.wolfram.com/Eigenvalue.html
- 고유벡터,eigenvector . . . . 1 match
[[MathWorld:Eigenvector]] = https://mathworld.wolfram.com/Eigenvector.html
- 곡률,curvature . . . . 1 match
https://encyclopediaofmath.org/wiki/Gaussian_curvature
- 공분산,covariance . . . . 1 match
https://mathworld.wolfram.com/Covariance.html
- 구간 . . . . 1 match
n. (mathematics) [[interval]]
- 국소환,local_ring . . . . 1 match
pagename via kmsk 국소환 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=국소환
- 극벡터,polar_vector . . . . 1 match
MathWorld:PolarVector
= https://mathworld.wolfram.com/PolarVector.html
- 기계,machine . . . . 1 match
이것들은 mathematical model of computation([[computation_model]]).
- 기본_행_연산 . . . . 1 match
Up: [[수학,math]]
- 난수 . . . . 1 match
https://mathworld.wolfram.com/RandomNumber.html
- 너비,width . . . . 1 match
https://encyclopediaofmath.org/wiki/Width — ''of a set''
- 네스팅,nesting . . . . 1 match
[[수식,mathematical_expression]]
- 논리결과,logical_consequence . . . . 1 match
kms: logical consequence = 논리적 결과 - https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=consequence
- 논리식,logical_formula . . . . 1 match
https://encyclopediaofmath.org/wiki/Logical_formula
- 논리일관성,logical_consistency . . . . 1 match
https://mathworld.wolfram.com/Consistency.html
- 뉴머럴,numeral . . . . 1 match
= '''numeral''' (math/number) =
- 다양체,variety . . . . 1 match
https://encyclopediaofmath.org/wiki/Jacobi_variety
- 다포체,polytope . . . . 1 match
https://mathworld.wolfram.com/Polytope.html
- 다항계수,multinomial_coefficient . . . . 1 match
https://encyclopediaofmath.org/wiki/Multinomial_coefficient
- 다항식환,polynomial_ring . . . . 1 match
https://mathworld.wolfram.com/PolynomialRing.html
- 단사,injection . . . . 1 match
tmp see https://math.stackexchange.com/questions/319663/how-do-i-show-that-a-matrix-is-injective ... Ggl:"injective matrix definition"
MathWorld:Injection
- 단순성,simplicity . . . . 1 match
[[simplex]] =,simplex . simplex { 심플렉스 단체 WtEn:simplex NdEn:simplex Ndict:심플렉스 Ndict:simplex Ggl:심플렉스 Ggl:simplex Bing:심플렉스 .... https://encyclopediaofmath.org/wiki/Simplex 심플렉스 단체}
- 단위구간,unit_interval . . . . 1 match
https://mathworld.wolfram.com/UnitInterval.html
- 단조성,monotonicity . . . . 1 match
https://mathworld.wolfram.com/CountableMonotonicity.html
- 단항식,monomial . . . . 1 match
https://mathworld.wolfram.com/Monomial.html
[[monomial_order]] - curr see MathWorld:MonomialOrder
MathWorld:Monomial
- 대각,diagonal . . . . 1 match
## = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=diagonal
MathWorld:Diagonal ? ...tbw
- 대원 . . . . 1 match
kms 대원 ( https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=대원 ) => 'great circle'
- 대응,correspondence . . . . 1 match
https://encyclopediaofmath.org/wiki/Correspondence - ''relation''
- 대칭성,symmetry . . . . 1 match
pagename via KmsE:"symmetric matrix" = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=symmetric+matrix
? via [[계량,metric]] - Mathworld 인용.
- 덧셈,addition . . . . 1 match
분야는 [[수학,math]] > [[산술,arithmetic]].
MathWorld:Addition
- 독립변수,independent_variable . . . . 1 match
[[MathWorld:IndependentVariable]]
= https://mathworld.wolfram.com/IndependentVariable.html
- 동역학계,dynamical_system . . . . 1 match
MathWorld:DynamicalSystem
= https://mathworld.wolfram.com/DynamicalSystem.html
- 동형사상,isomorphism . . . . 1 match
https://planetmath.org/isomorphism
- 등방성,isotropy . . . . 1 match
MathWorld:Isotropy ? x ([[Date(2023-11-16T23:19:36)]]) ... Search instead: https://mathworld.wolfram.com/search/?query=isotropy
- 라인,line . . . . 1 match
https://mathworld.wolfram.com/Line.html
- 래딕스,radix . . . . 1 match
https://mathworld.wolfram.com/Radix.html
- 로런츠_변환,Lorentz_transformation . . . . 1 match
https://encyclopediaofmath.org/wiki/Lorentz_transformation
- 뤼카_수,Lucas_number . . . . 1 match
https://mathworld.wolfram.com/LucasPolynomial.html
- 르베그_적분,Lebesgue_integral . . . . 1 match
https://mathworld.wolfram.com/LebesgueIntegral.html
- 리만_적분,Riemann_integral . . . . 1 match
https://mathworld.wolfram.com/RiemannIntegral.html
- 리스크,risk . . . . 1 match
분야: mathematical_optimization decision_theory (we)
- 마르코프_연쇄,Markov_chain . . . . 1 match
https://mathworld.wolfram.com/StochasticMatrix.html
- 매개변수,parameter . . . . 1 match
https://planetmath.org/argument
- 매듭,knot . . . . 1 match
"매듭이론에서 매듭이란 [[원,circule]]을 3차원 유클리드 공간 $\mathbb{R}^3$ 에 매장( linked to [[WpKo:매장_(수학)]] ... [[매장,embedding]]? curr [[임베딩,embedding]] )한 것을 말한다. "
- 명제함수 . . . . 1 match
Ency. of Math. 에 의하면 A function whose arguments and values are truth values. [[https://encyclopediaofmath.org/wiki/Propositional_function src]]
- 모델,model . . . . 1 match
(wk){"'''행위자 모델''' 또는 '''액터 모델(actor model)'''은 CS에서 [[행위자,actor]]([[액터,actor]]를 병행 연산의 범용적 기본 단위로 취급하는 병행 컴퓨팅의 수학적 모델^^mathematical_model^^이다. 행위자가 받는 [[메시지,message]]에 대응하여, 행위자는 자체적인 [[결정,decision]]을 하고 더 많은 행위자를 만들며,''(영어? spawn?)'' 더 많은 메시지를 보내고, 다음에 받을 메시지에 대한 [[응답,response]] 행위를 결정할 수 있다. 행위자는 개인 상태''(linked to: encapsulation i.e. WpKo:캡슐화 )''를 수정할 수 있지만, 메시지를 통해서만 서로에게 영향을 줄 수 있다. (락([[lock]]... [[락,lock]]? )의 필요성을 제거함) ...''그럼 각종 Srch:lock-free 의 일종? chk'' 행위자 모델은 1973년에 기원..."}
- 모수,parameter . . . . 1 match
KmsK:모수 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=모수
- 모집단,population . . . . 1 match
Pagename via KmsE:population = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=population ... 저기 결과 17개, population관련. 2023-11-06
- 문법시스템,grammar_system . . . . 1 match
https://encyclopediaofmath.org/wiki/Grammar_system
- 문자열,string . . . . 1 match
[[MathWorld:String]] = https://mathworld.wolfram.com/String.html
- 미니맥스,minimax . . . . 1 match
MathWorld:Minimax [[Date(2023-11-18T08:11:06)]] - Oops! 한다음 다음으로 redirect: https://mathworld.wolfram.com/search/?q=Minimax
- 미분,differential . . . . 1 match
[[KmsE:differential]] = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=differential
- 미분가능성과_연속성의_관계 . . . . 1 match
Up: [[수학,math]]
- 미분형식,differential_form . . . . 1 match
[[MathNote:미분형식_(differential_forms)과_다변수_미적분학]] = https://wiki.mathnt.net/index.php?title=미분형식_(differential_forms)과_다변수_미적분학
- 반지름벡터,radius_vector . . . . 1 match
[[MathWorld:RadiusVector]]
= https://mathworld.wolfram.com/RadiusVector.html
- 발산,divergence . . . . 1 match
Up: [[수학,math]]
- 베르누이미분방정식 . . . . 1 match
$(n\in\mathbb{R})$
- 베르누이확률변수,Bernoulli_RV . . . . 1 match
즉 확률변수의 영역 $X:\lbrace\mathrm{success,fail}\rbrace\to\lbrace0,1\rbrace$
- 벡터삼중곱,vector_triple_product . . . . 1 match
[[MathWorld:VectorTripleProduct]]
= https://mathworld.wolfram.com/VectorTripleProduct.html
- 변량,variate . . . . 1 match
[[MathWorld:Variate]] = https://mathworld.wolfram.com/Variate.html
MathWorld:Covariate x [[Date(2023-11-18T13:08:59)]]
- 볼록성,convexity . . . . 1 match
https://encyclopediaofmath.org/wiki/Convex_analysis
- 볼록집합,convex_set . . . . 1 match
https://encyclopediaofmath.org/wiki/Convex_set
- 부등식 . . . . 1 match
https://mathworld.wolfram.com/AbelsInequality.html
- 부분집합,subset . . . . 1 match
[[MathWorld:Subset]] = https://mathworld.wolfram.com/Subset.html
- 분포,distribution . . . . 1 match
[[KmsE:distributive]] = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=distributive
- 분할,partition . . . . 1 match
집합의 분할 - JW MATHidea (easy)
https://jwmath.tistory.com/284
- 불_식,Boolean_expression . . . . 1 match
[[불_식,Boolean_expression]] - [[식,expression]] ...[[수식,mathematical_expression]]?
- 불_환,Boolean_ring . . . . 1 match
https://mathsci.kaist.ac.kr/~htjung/Boolean.pdf
- 비트,bit . . . . 1 match
MKL 원소 두 개인 [[집합,set]] [[Boolean_domain]] Boolean_domain { Boolean domain 불_도메인 ? 불_정의역 ?? 기호: $\{0,1\}$ 또는 $\mathbb{B}$ [[원소,element]]의 개수가 2이고[* rel. [[둘,two]] / [[two-valued_logic]] ]각각 [[거짓,false]] [[참,true]]으로 [[해석,interpretation]]되는 것을 포함한 [[집합,set]]. .... CS에서 한 [[불_변수,Boolean_variable]] Boolean_variable 는 '''Boolean_domain'''의 원소에서 [[값,value]]을 가질 수 있다. (rel. Boolean_type = Boolean_data_type = Boolean_datatype .... [[WpEn:Boolean_data_type]] = https://en.wikipedia.org/wiki/Boolean_data_type ) (we) [[WpEn:Boolean_domain]] = https://en.wikipedia.org/wiki/Boolean_domain Up: domain([[정의역,domain]] ? [[도메인,domain]]?), [[집합,set]] }
- 사영,projection . . . . 1 match
KmsK:사영 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=사영 - 2023-11-06 현재 80개.
- 사이드,side . . . . 1 match
'''equality sign''', is the mathematical symbol =, which is used to indicate [[equality]] in some well-defined sense.［１］
- 사이클,cycle . . . . 1 match
[[수학,math]], [[그래프이론,graph_theory]]에서는 순환으로 번역하면 ok?
- 산술평균,arithmetic_mean . . . . 1 match
[[MathWorld:ArithmeticMean]] = https://mathworld.wolfram.com/ArithmeticMean.html
- 삼각방정식,trigonometric_equation . . . . 1 match
* [[https://math.libretexts.org/Bookshelves/Precalculus/Elementary_Trigonometry_(Corral)/06%3A_Additional_Topics/6.01%3A_Solving_Trigonometric_Equations]]
- 삼각치환,trig_substitution . . . . 1 match
Up: [[수학,math]] [[삼각법,trigonometry]] [[삼각함수,trigonometric_function]] [[치환,substitution]]
- 상한,supremum . . . . 1 match
https://mathworld.wolfram.com/SupremumNorm.html
- 섀도,shadow . . . . 1 match
점원은 반지름이 0인 [[점,point]]과 마찬가지인 [[원,circle]] 즉 [[점원,point_circle]]과 한국어 번역이 같음. (cf. KmsK:점원 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=점원 : "point circle 점원" at [[Date(2023-11-01T18:38:28)]])
- 선분,line_segment . . . . 1 match
KmsK:반직선 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=반직선 ([[Date(2023-11-30T13:30:32)]] 현재 10개)
MathWorld:LineSegment ?
- 선형대수,linear_algebra . . . . 1 match
Up: [[수학,math]]
- 성분,component . . . . 1 match
https://mathworld.wolfram.com/WeaklyConnectedComponent.html
- 소체,prime_field . . . . 1 match
https://encyclopediaofmath.org/wiki/Prime_field
MathWorld:PrimeField ?
- 수 . . . . 1 match
[[수학]]: 수(number) + [[학]](study, -ology): mathematics
- 수렴,convergence . . . . 1 match
Up: [[수학,math]]
- 수열,sequence . . . . 1 match
https://mathworld.wolfram.com/IntegerSequence.html
MathWorld:Sequence
- 스칼라퍼텐셜,scalar_potential . . . . 1 match
MathWorld:ScalarPotential = https://mathworld.wolfram.com/ScalarPotential.html
- 스칼라함수,scalar_function . . . . 1 match
MathWorld:ScalarFunction
Page name via KmsE:"scalar function" = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=scalar+function {2023-10-14 "scalar function=스칼라함수"}
- 스케줄링,scheduling . . . . 1 match
MathWorld:Scheduling - [[Date(2023-11-18T03:41:19)]]에 없음, See instead: https://mathworld.wolfram.com/search/?query=Scheduling
- 시스템,system . . . . 1 match
시스템의 수학적 모형([[수학적모델,mathematical_model]])은
- 실린더,cylinder . . . . 1 match
https://mathworld.wolfram.com/Cylinder.html
- 실변수,real_variable . . . . 1 match
MathWorld:RealVariable
Page name via KmsE:"real variable" = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=real+variable
- 실함수,real_function . . . . 1 match
MathWorld:RealFunction ?
Page name via KmsE:"real function" = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=real+function {real function=실함수" 2023-11-19}
- 어정션,adjunction . . . . 1 match
Maths - Category Theory - Adjunction - Martin Baker
https://www.euclideanspace.com/maths/discrete/category/comparing/adjunction/index.htm
MathWorld:Adjunction 은 어떨까?
- 여러가지증명 . . . . 1 match
Up: [[수학,math]]
- 역설,paradox . . . . 1 match
KmsE:paradox = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=paradox
- 역쌍곡선함수,inverse_hyperbolic_function . . . . 1 match
||$\sinh^{-1}x=\ln\left(x+\sqrt{x^2+1}\right)$ ||$x\in(-\infty,\infty)$ ||$\mathbb{R}$ ||
- 연결사,connective . . . . 1 match
https://encyclopediaofmath.org/wiki/Propositional_connective
- 연립일차방정식과_행렬 . . . . 1 match
Up: [[수학,math]]
- 영점,zero . . . . 1 match
KmsK:영인자 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=영인자
- 오더,order . . . . 1 match
https://mathworld.wolfram.com/Ordering.html
- 오버헤드,overhead . . . . 1 match
MathWorld:Overhead x [[Date(2023-11-19T01:09:48)]] 당연히... See: https://mathworld.wolfram.com/search/?q=Overhead instead
- 오차함수,error_function . . . . 1 match
https://mathworld.wolfram.com/Erf.html
- 올바름,correctness . . . . 1 match
수학적증명 [[mathematical_proof]]
- 원상,preimage . . . . 1 match
MathWorld:Preimage
MathWorld:Pre-Image = https://mathworld.wolfram.com/Pre-Image.html
- 원핫,one-hot . . . . 1 match
* https://datascienceschool.net/02%20mathematics/08.03%20카테고리분포와%20다항분포.html 처음부분
- 위상,topology . . . . 1 match
https://encyclopediaofmath.org/wiki/Zariski_topology
- 위키,wiki . . . . 1 match
== mathematical equation/expression ==
- 유니버설,universal . . . . 1 match
("'''Universal algebra''' (sometimes called '''general algebra''') is the field of mathematics
- 유니터리,unitary . . . . 1 match
KmsE:unitary = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=unitary
- 이론,theory . . . . 1 match
적어도 학문 이름에서는 위의 말은 맞고. 이건 [[수학,math]]:과학, [[과학,science]]:[[공학,engineering]]과도 조금 비슷한 면이 있다. 대체로 전자는 이론/이상적/추상적/...쪽에, 후자는 현실/응용/실용/...쪽에 초점.
- 이름,name . . . . 1 match
수리논리학 mathematical_logic 에서
- 이중벡터,bivector . . . . 1 match
https://www.euclideanspace.com/maths/algebra/vectors/related/bivector/index.htm
MathWorld:Bivector
- 이항_뜻 . . . . 1 match
[[수학,math]]에서
- 이항계수,binomial_coefficient . . . . 1 match
https://encyclopediaofmath.org/wiki/Binomial_coefficients
- 인터섹션,intersection . . . . 1 match
[[intersection_theory]] (math)
- 임베딩,embedding . . . . 1 match
see also and merge: [[수학,math#s-1]]
- 임의의 . . . . 1 match
2. (mathematics) for all, for any (symbol ∀)
- 자기동형사상,automorphism . . . . 1 match
''....The sine function is a basic example of what we mathematicians more generally call an automorphic function: When we change (morph) a variable by some process (in this case, sliding over by 2π), the function turns back into itself (hence “auto” morphic)....''( via https://www.quantamagazine.org/what-is-the-langlands-program-20220601/ )
- 적형식,wff . . . . 1 match
https://planetmath.org/word (Synonym: well-formed formula, Defines: well formed formula)
- 전달함수,transfer_function . . . . 1 match
$H(\omega) \overset{\triangle}= \mathcal{F}\{ h(t) \} = \frac{Y(\omega)}{X(\omega)}$
- 전미분,total_derivative . . . . 1 match
## chan man, de kee, kaloni advanced math
- 전칭기호universal_quantifier . . . . 1 match
https://mathworld.wolfram.com/UniversalQuantifier.html
- 정규문법,regular_grammar . . . . 1 match
[[정규언어,regular_language]] is the set of strings generated by a '''regular grammar'''. '''Regular grammar'''s are also known as Type-3 grammars in the Chomsky hierarchy.[* https://planetmath.org/regularlanguage]
- 정규형normal_form . . . . 1 match
https://mathworld.wolfram.com/PrenexNormalForm.html
- 정리,theorem . . . . 1 match
"'''Theorems''' are important mathematical statements^^[[진술,statement]]^^ having valid^^[[validity]]{ KmsE:validity Ndict:validity Ggl:validity }^^ proofs^^[[증명,proof]]^^."
- 정수론,number_theory . . . . 1 match
http://xahlee.info/math/number_theory_w_edwin_clark.html
MathNote:초등정수론
- 제어이론,control_theory . . . . 1 match
https://encyclopediaofmath.org/wiki/Automatic_control_theory
- 존재기호existential_quantifier . . . . 1 match
https://mathworld.wolfram.com/ExistentialQuantifier.html
- 종속변수,dependent_variable . . . . 1 match
MathWorld:DependentVariable = https://mathworld.wolfram.com/DependentVariable.html
- 좌표계,coordinate_system . . . . 1 match
[[튜플,tuple]] ''CHK n차원 [[유클리드_공간,Euclidean_space]]의 [[점,point]]의 좌표는 항상 n-tuple of [[실수,real_number]] $\mathbb{R}^n$ ? 아닌 경우가 있다면 어떤?''
- 중첩,superposition . . . . 1 match
KmsE:superposition = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=superposition ([[Date(2023-11-05T10:40:03)]] 2개, 내용은 뻔함, 볼필요x)
- 증명,proof . . . . 1 match
elementary proof is a mathematical proof that only uses basic techniques. -- [user1] [[DateTime(2023-11-25T19:50:07)]]
- 진술,statement . . . . 1 match
https://planetmath.org/inversestatement
- 참조,reference . . . . 1 match
이것은 문제problem([[문제,problem]] = mathematical problem말고, problemantic situation... pagename? ). 제대로 detect하여 처리하지 않으면 [[무한루프,infinite_loop]]가 일어나는?
- 최근에읽은인터넷문서들 . . . . 1 match
https://people.engr.ncsu.edu/jwilson/files/mathsigns.pdf
- 최대 . . . . 1 match
https://mathworld.wolfram.com/Maximum.html
- 추론,inference . . . . 1 match
확실한(~logic기반, rule-based, [[mathematical_induction]]기반,... )추론과 확률적(data/observation/..에 의한) 추론을 구분해야 할 듯
- 추상기계,abstract_machine . . . . 1 match
It is similar to a mathematical function^^([[함수,function]])^^ in that it
- 추상대수,abstract_algebra . . . . 1 match
and [[체론,field_theory]] =체론,field_theory =,field_theory . field_theory WtEn:field_theory { field theory [[MathNote:체론(field_theory)]] ~~Ndict:"field theory"~~ 하면 장론만 거의 나옴. Ndict:"체 field" Ndict:"체론" Ggl:"field theory" "field theory" }
[[WpSp:Module_(mathematics)]]
- 충족가능성,satisfiability . . . . 1 match
[[수리논리,mathematical_logic]]학에서
- 치환적분,integration_by_substitution . . . . 1 match
Up: [[수학,math]] [[치환,substitution]] [[적분,integration]]
- 캐리,carry . . . . 1 match
https://mathworld.wolfram.com/Carry.html
- 캔슬레이션,cancellation . . . . 1 match
첫 문장 "In mathematics, the notion of '''cancellativity (or cancellability)''' is a generalization of the notion of invertibility."
- 컴퓨터,computer . . . . 1 match
https://mathworld.wolfram.com/AbstractMachine.html
- 콜레이션,collation . . . . 1 match
https://mathworld.wolfram.com/LabeledTree.html
- 타입이론,type_theory . . . . 1 match
https://encyclopediaofmath.org/wiki/Types,_theory_of
- 텍,TeX . . . . 1 match
역사적으로 (not important...) Knuth가 TAOCP [[책,book]]을 저술하다 당시 [[조판,typesetting]], 특히 [[수식,mathematical_expression]] 조판 방식/환경/...이 문제가 많음을 깨닫고 스스로 [[yak_shaving]]한 것이 $\TeX$ 의 시초 ... [[literate_programming]]도 TeX 만드는 과정에서 생겼던가? 아님 독립적인가? chk 그리고 저 문학적프로그래밍을 위한 언어인 WEB 까지도.
- 텍스트북,textbook . . . . 1 match
https://stacks.math.columbia.edu/
- 튜링_기계,Turing_machine . . . . 1 match
[[MathWorld:TuringMachine]] = https://mathworld.wolfram.com/TuringMachine.html
- 트레일,trail . . . . 1 match
https://mathworld.wolfram.com/Trail.html
- 판단,judgment . . . . 1 match
KmsE:judgment = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=judgment
- 패러독스,paradox . . . . 1 match
https://planetmath.org/lobstheorem
- 패밀리,family . . . . 1 match
* [[집합,set]] -> [[WpEn:Set_(mathematics)]]
- 팩터,factor . . . . 1 match
https://mathworld.wolfram.com/GraphFactor.html
- 퍼텐셜,potential . . . . 1 match
기호: $\vec{A}, \mathbf{A}$
- 페이저,phasor . . . . 1 match
MathWorld:Phasor
([[Date(2023-11-18T11:22:52)]] "A phasor is a tool in mathematics. It is used to show numbers in a different [[좌표계,coordinate_system|coordinate system]]. Certain [[electronic_component|electronic component]] s have models that can be described more easily by the use of phasors.
- 페이지랭크,PageRank . . . . 1 match
https://mathworld.wolfram.com/BundleRank.html - [[다발,bundle]]
- 평가,evaluation . . . . 1 match
수학의 evaluation은 평가 말고도 '''값매김, 부치'''로 번역 가능 .... kms evaluation : https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=evaluation
- 평균,mean . . . . 1 match
https://mathworld.wolfram.com/LehmerMean.html
- 평균변화율 . . . . 1 match
Up: [[수학,math]]
- 평행사변형,parallelogram . . . . 1 match
[[MathWorld:Parallelogram]]
##= https://mathworld.wolfram.com/Parallelogram.html
- 평행사변형_법칙,parallelogram_law . . . . 1 match
https://mathworld.wolfram.com/ParallelogramLaw.html
- 평행성,parallelism . . . . 1 match
평행공준 - kms. KmsE:postul = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=postul
- 폐포,pyepo . . . . 1 match
The notion of '''closure''' is in many ways dual^^[[WpEn:Duality_(mathematics)]]... [[쌍대,dual]] [[쌍대성,duality]]^^ to the notion of interior^^[[WpEn:Interior_(topology)]]^^.
- 푸아송확률변수,Poisson_RV . . . . 1 match
[[MathNote:포아송분포]] = https://wiki.mathnt.net/index.php?title=포아송분포
- 프리딕터,predictor . . . . 1 match
KmsE:predictor = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=predictor
- 피겨,figure . . . . 1 match
geometric figure = geometric_figure : https://www.mathwords.com/g/geometric_figure.htm
- 하이퍼,hyper . . . . 1 match
https://planetmath.org/hypergroup
- 합성,composition . . . . 1 match
https://mathworld.wolfram.com/Composition.html
- 허프만_코딩,Huffman_coding . . . . 1 match
https://mathworld.wolfram.com/HuffmanCoding.html
- 헐,hull . . . . 1 match
https://mathworld.wolfram.com/ConvexHull.html
- 호모토피,homotopy . . . . 1 match
https://encyclopediaofmath.org/wiki/Homotopy
- 확률론,probability_theory . . . . 1 match
이산적인 경우([[이산수학,discrete_math]]에 속하는 것들)를 다룰 경우 [[조합론,combinatorics]]과 밀접할텐데...? [[counting]] =,counting { KmsE:counting Ggl:counting Ndict:counting [[카운팅,counting]] or [[셈,counting]]? pagename TBD }이라던지 [[경우,case]]의 수라던지. chk
- 회귀,regression . . . . 1 match
Pagename via KmsK:회귀직선 = https://www.kms.or.kr/mathdict/list.html?key=kname&keyword=회귀직선
- 힐베르트_공간,Hilbert_space . . . . 1 match
https://encyclopediaofmath.org/wiki/Hilbert_space - 7개 조건?성질? 암튼 첨부터 1) 2) .... 7) 까지 나열함. (6개 아님!)
Found 450 matching pages out of 2026 total pages
You can also click here to search title.
