Một số thuật toán chứng minh tự động trong logic mệnh đề /

QR Kodea

Một số thuật toán chứng minh tự động trong logic mệnh đề /

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Trần Ngọc Anh.
Formatua:	Artikulua
Hizkuntza:	Vietnamese
Gaiak:	Mệnh đề logic Thuật toán
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Antzeko izenburuak

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 /
nork: Nguyễn Văn Thuận, TS.

Mệnh đề = Clause /
nork: Ngọc Hà.
Argitaratua: (2011)

7 phương pháp giải các bài toán học logic
nork: Đặng Huy Ruận
Argitaratua: (2002)

Danh hóa mệnh đề trong tiếng Anh (đối chiếu với tiếng Việt) /
nork: Nguyễn Thị Bích Ngoan.

Logic vị từ trong trí tuệ nhân tạo
nork: Cao, Thị Bích Liên
Argitaratua: (2026)

Mệnh đề /
nork: Minh Đức
Argitaratua: (2011)

Minh mệnh chính yếu
Argitaratua: (1994)

Minh mệnh chính yếu
Argitaratua: (1994)

Minh mệnh chính yếu
Argitaratua: (1994)

Bảy phương pháp giải các bài toán logic
nork: Đặng Huy Ruận
Argitaratua: (2002)

Cách dịch mệnh đề phân từ tiếng Anh sang tiếng Việt /
nork: Hà Thành Chung

Phân tích đối chiếu mệnh đề phụ đảm nhiệm chức năng trạng ngữ chỉ sự so sánh trong tiếng Pháp và tiếng Việt : Những giải pháp chuyển dịch /
nork: Nguyễn Lân Trung, PGS.TS.

10 loại dược phẩm trong thơ Minh Mệnh /
nork: Nguyễn Huy Khuyến.

Toán Logic & Kỹ thuật số /
nork: Nguyễn Nam Quân
Argitaratua: (2006)

Vài suy về cách chuyển dịch mệnh đề phụ đảm nhiệm chức năng trạng ngữ chỉ thời gian trong hai ngôn ngữ Pháp - Việt /
nork: Nguyễn Lân Trung

Đường cách mệnh /
nork: Hồ Chí Minh,
Argitaratua: (1982)

Vua Minh Mệnh với việc áp dụng hình phạt /
nork: Bùi Xuân Đính, TS.

Nghiên Cứu Cách Dịch Mệnh Đề Quan Hệ Trong Câu Tiếng Anh Sang Tiếng Việt
nork: Tăng Đức
Argitaratua: (2024)

Phương pháp giải bài toán tìm nghiệm duy nhất của phương trình /
nork: Trần Văn Hạnh.

Bước đầu làm quen với logic toán
nork: Nguyễn, Mạnh Trinh
Argitaratua: (1999)

Thơ của Hoàng đế Minh Mệnh về vườn Thiệu Phương /
nork: Nguyễn Huy Khuyến

Đường cách mệnh - Giá trị lý luận và thực tiễn
nork: Phạm, Ngọc Anh
Argitaratua: (2018)

Lịch sử cách mệnh Việt Nam từ 1862 đến 1930
nork: Đào, Duy Anh
Argitaratua: (2020)

Lãnh đạo công - sứ mệnh và các giá trị then chốt /
nork: Trần Thị Thanh Thủy, PGS.TS.

Tư tưởng của Minh Mệnh về vấn đề kết hợp đức trị và pháp trị /
nork: Nguyễn Thu Nghĩa.

Logic toán
nork: Eđenman, S.L
Argitaratua: (1981)

Tìm hiểu tác phẩm đường cách mệnh của chủ tịch Hồ Chí Minh /
nork: Hồ Chí Minh,
Argitaratua: (1982)

Tư tưởng của Minh Mệnh về đào tạo, sử dụng nhân tài /
nork: Nguyễn Thị Hiếu.

Bảy phương pháp giải các bài toán logic
nork: Đặng, Huy Ruận
Argitaratua: (2002)

Tài liệu bồi dưỡng thường xuyên giáo viên trung học, sử dụng cho kỹ sư và sinh viên các ngành toán - toán tin - kỹ thuật Logic toán
nork: Nguyễn, Đức Đồng
Argitaratua: (2001)

Đường cách mệnh
nork: Nguyễn, Ái Quốc
Argitaratua: (2012)

Phương pháp đổi biến số và việc lấy tích phân nột số hàm số có dạng đặc biệt (Đặc trưng) /
nork: Hồ Quang Vinh.

Logic toán
nork: Eđenman, S.L.
Argitaratua: (1981)

Cơ sở lí thuyết tập hợp và logic toán
nork: Trần, Diên Hiển
Argitaratua: (2007)

Toán rời rạc /
nork: Đỗ Đức Giáo
Argitaratua: (2004)

Toán rời rạc /
nork: Đỗ Đức Giáo
Argitaratua: (2004)

Toán rời rạc /
nork: Đỗ Đức Giáo
Argitaratua: (2000)

Toán rời rạc /
nork: Đỗ Đức Giáo
Argitaratua: (2002)

Toán rời rạc /
nork: Đỗ Đức Giáo
Argitaratua: (2004)

Logic biện chứng
nork: Hồng Long
Argitaratua: (1983)