Sub:
// 수학에서
수학적구조,mathematical_structure
Mathematical_structure
REL
수학,math
대수구조,algebraic_structure
Algebraic_structure
REL
대수학,algebra
대수,algebra
// 수리논리학에서
Herbrand_structure
{
Herbrand structure
MKL
Herbrand_universe
HerbrandUniverse
Herbrand_base
HerbrandBase
MKL
일차논리,first-order_logic
ground_atom
... see
GroundAtom
Skolemized_form
...
SkolemizedForm
Skolemized_form
Skolemization
...
Skolemization
https://planetmath.org/skolemization
(formula를 Skolemized_form으로 만드는 과정? -
SkolemizedForm
마지막)
Skolem_term w -
항,term
Skolem_function w -
함수,function
SkolemFunction
https://encyclopediaofmath.org/wiki/Skolem_function
Skolem_constant w -
상수,constant
Herbrand_structure
} //
Herbrand structure
Herbrand structure
Herbrand structure
Structure_(mathematical_logic)
// CS에서
자료구조,data_structure
이벤트구조,event_structure
w
{
event structure
사건구조?
사건,event
?
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 ...
optimal substructure
// 반도체, 물리, etc.에서
띠구조,band_structure
{
띠구조, band structure (KPS)
띠구조
Up:
띠,band
구조,structure
} //
띠구조
띠구조
//
언어학,linguistics
에서
syntactic_structure
w
{
syntactic structure
Syntactic_structure
redir. to syntax.
}
Retrieved from http://tomoyo.ivyro.net/123/wiki.php/구조,structure
last modified 2024-04-30 11:22:38