Tập luyện cho học sinh sử dụng thuật ngữ, kí hiệu của logic toán để diễn đạt mệnh đề toán học /
Đã lưu trong:
| Príomhúdar: | Nguyễn Văn Thuận, TS. |
|---|---|
| Údair Eile: | Đỗ Văn Hùng, ThS., Nguyến Trần Lâm, ThS., Phạm Sỹ Nam, ThS. |
| Formáid: | Bài viết |
| Teanga: | Vietnamese |
| Ábhair: | |
| Clibeanna: |
Cuir Clib Leis
Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Míreanna Comhchosúla
-
Một số thuật toán chứng minh tự động trong logic mệnh đề /
le: Trần Ngọc Anh. -
7 phương pháp giải các bài toán học logic
le: Đặng Huy Ruận
Foilsithe: (2002) -
Mệnh đề = Clause /
le: Ngọc Hà.
Foilsithe: (2011) -
Danh hóa mệnh đề trong tiếng Anh (đối chiếu với tiếng Việt) /
le: Nguyễn Thị Bích Ngoan. -
Mệnh đề /
le: Minh Đức
Foilsithe: (2011)