-
(Khác biệt giữa các bản)
Dòng 2: Dòng 2: ===Toán & tin======Toán & tin========(toán logic ) phép lượng hoá==========(toán logic ) phép lượng hoá=====- + ::[[bounded]] [[quantifier]]- ::[[bounded]] [[quantifier]]+ ::phép lượng hoá bị chặn::phép lượng hoá bị chặn- ::[[existential]] [[quantifier]]+ ::[[existential]] [[quantifier]]::phép lượng hoá tồn tại::phép lượng hoá tồn tại- ::[[generality]] [[quantifier]]+ ::[[generality]] [[quantifier]]::phép lượng hoá phổ dụng::phép lượng hoá phổ dụng- ::[[universal]] [[quantifier]]+ ::[[universal]] [[quantifier]]::phép lượng hoá phổ dụng::phép lượng hoá phổ dụng=== Kỹ thuật chung ====== Kỹ thuật chung ===- =====lượng từ=====+ =====lượng từ=====- + - == Tham khảo chung==+ - *[http://mathworld.wolfram.com/search/?query=quantifier&x=0&y=0 quantifier] : Search MathWorld+ [[Thể_loại:Toán & tin ]][[Thể_loại:Kỹ thuật chung ]][[Thể_loại: Tham khảo chung ]]- *[http://www.eurochlor.org/search/index.asp?q=quantifier quantifier] : Chlorine Online+ - *[http://foldoc.org/?query=quantifier quantifier] : Foldoc+ - [[Category:Toán & tin ]][[Category:Kỹ thuật chung ]][[Category: Tham khảo chung ]]+ Hiện nay
Toán & tin
(toán logic ) phép lượng hoá
- bounded quantifier
- phép lượng hoá bị chặn
- existential quantifier
- phép lượng hoá tồn tại
- generality quantifier
- phép lượng hoá phổ dụng
- universal quantifier
- phép lượng hoá phổ dụng
tác giả
Tìm thêm với Google.com :
NHÀ TÀI TRỢ
