Suplementary courses

arbitrary (adj)

bất kỳ

Symmetrical (adj)

đối xứng

invariant (adj)

bất biến/ không đổi

symmetric (adj)

đối xứng

Propagate (v)

lan truyền

posterior probability

xác suất hậu nghiệm

interval (n)

khoảng thời gian

identical (adj)

giống hệt nhau

integral (n)

tích phân

derivative (n)

đạo hàm

equation

phương trình

diagonal (adj/n)

đường chéo

equisatisfiable (adj)

bán thỏa mãn

premise (n)

tiền đề/ giả thuyết

derived (adj)

có nguồn gốc

derivable (adj)

có thể suy luận

corollary (n)

hệ quả (suy ra từ theorem, không cần chứng minh)

theorem (n)

định lý

terminating (adj)

kết thúc

sound (adj)

hợp lệ (valid + premise đúng thì conclusion cũng đúng)

lemma (n)

bổ đề (mệnh đề trung gian dùng để chứng minh mệnh đề chính)

resolution (n)

quy tắc suy luận triệt tiêu

derive from something (x is derived from y)

suy luận từ

convention

quy ước (theo 1 chuẩn nào đó chung)

parenthesis (n)

dấu ngoặc đơn

decompose (v)

phân tách

entailment (n)

sự kéo theo

semantic (n)

ngữ nghĩa

decidable (adj)

có thể giải quyết được (Một bài toán / ngôn ngữ / mệnh đề được gọi là decidable nếu: Tồn tại một thuật toán luôn dừng và cho kết quả đúng)

complementary (adj)

bù nhau/ có thể kết hợp

propositional (adj)

mệnh đề (relating to statements or problems that must be solved or proved to be true or not true)

idle (adj)

nhàn rỗi

precede (v)

đi trước

constraint (n)

sự rằng buộc

Parallelize (v) (Parallelization - n)

song song hóa

mimic (n/v/adj)

bắt trước

trivial (adj)

tầm thường

remainder (n)

phần còn lại

hierarchical (adj) (hierarchy - n)

theo phân cấp

Variance

Phương sai (Mức độ phân tán của dữ liệu)

Covariance

Hiệp phương sai (mức độ gắn kết giữa 2 biến)

Correlation

Độ tương quan

Eigenvector

vector riêng (vector không đổi hướng sau khi biến đổi)

Eigenvalue

giá trị riêng (Hệ số mà vector bị co giãn)

magnitude

kích thước ma trận