구조,structure

Difference between r1.6 and the current

@@ -14,10 +14,22 @@
'''Herbrand structure'''
MKL
Herbrand_universe
MathWorld:HerbrandUniverse
Herbrand_base
MathWorld:HerbrandBase

MKL
[[일차논리,first-order_logic]]
[[ground_atom]] ... see MW:GroundAtom
[[Skolemized_form]] ... MathWorld:SkolemizedForm WpEn:Skolemized_form
[[Skolemization]] ... WtEn:Skolemization
https://planetmath.org/skolemization
(formula를 Skolemized_form으로 만드는 과정? - MathWorld:SkolemizedForm 마지막)
Skolem_term w - [[항,term]]
Skolem_function w - [[함수,function]]
MathWorld:SkolemFunction
https://encyclopediaofmath.org/wiki/Skolem_function
Skolem_constant w - [[상수,constant]]

WpEn:Herbrand_structure
} // Ggl:"Herbrand structure" Naver:"Herbrand structure" Bing:"Herbrand structure"
@@ -67,5 +79,4 @@
'''syntactic structure'''
WpEn:Syntactic_structure redir. to syntax.
}





이벤트구조,event_structure w
{
event structure
사건구조? 사건,event?




esp.

optimal_substructure
{
optimal substructure
최적부분구조?
대충: global 최적해가 부분문제의 최적해를 모은 것? (합, 조합, ...중에 최선의 표현?)
Rel
제약조건 문제,problem
최적해,optimal_solution dynamic_programming (optimality_principle or principle_of_optimality) // Rel 최적화,optimization
overlapping_subproblem // Rel 부분문제,subproblem (or 하위문제?)
} // optimal substructure ... Ggl:optimal substructure

// 반도체, 물리, etc.에서
띠구조,band_structure
{
띠구조, band structure (KPS)



// 언어학,linguistics에서
syntactic_structure w
{
syntactic structure
WpEn:Syntactic_structure redir. to syntax.
}