axiomatic

cơ sở của một hệ tiên đề

bases of an axiomatic system

hệ tiên đề

axiomatic system

hệ tiên đề hình thức

formal axiomatic

ngôn ngữ mô tả kiến trúc tiên đề

AADL (axiomaticarchitecture description language)

ngôn ngữ mô tả kiến trúc tiên đề

axiomatic architecture description language (AADL)

premise

axiom

precedence

hypothesis

axiom

tiền đề về tính chưa thỏa mãn địa phương

axiom of local nonsatiation

tiền đề về tính chuyển tiếp

axiom of transitivity

tiền đề về tính liên tục

axiom of continuity

tiền đề về tính lồi

axiom of convexity

tiền đề về tính mua nhiều

axiom of dominance

tiền đề về tính phản xạ

axiom of reflexibility

tiền đề về tính đầy đủ

axiom of completeness

hypothesis