Sub:
// 수학에서
수학적구조,mathematical_structure
대수구조,algebraic_structure
// 수리논리학에서
Herbrand_structure
{
Herbrand structure
MKL
Herbrand_universe
Herbrand_base
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
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.
}
Retrieved from http://tomoyo.ivyro.net/123/wiki.php/구조,structure
last modified 2024-04-30 11:22:38