#noindex
Sub:
// 수학에서
[[수학적구조,mathematical_structure]]
 WpEn:Mathematical_structure
 REL [[수학,math]]
[[대수구조,algebraic_structure]]
 WpEn:Algebraic_structure
 REL [[대수학,algebra]] [[대수,algebra]]

// 수리논리학에서
Herbrand_structure
{
'''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"
[[WpEn:Structure_(mathematical_logic)]]

// CS에서
[[자료구조,data_structure]]

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

WpEn:Event_structure

Up: [[이벤트,event]] [[구조,structure]]
}

[[부분구조,substructure]]? [[substructure]]

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)

WpKo:띠구조

Up: [[띠,band]] [[구조,structure]]
} // NN:띠구조 Ggl:띠구조

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