Tài liệu Thư viện số

Danh mục TaiLieu.VN

» Từ khóa: Logic toán

Kết quả 1-12 trong khoảng 48

Bài giảng Đại số tuyến tính: Chương 1 - PGS. TS Trần Tuấn Nam

Chương 1 của bài giảng "Đại số tuyến tính" của PGS.TS Trần Tuấn Nam, trình bày các nội dung:Lý thuyết tập hợp, ánh xạ, logic và logic mệnh đề, logic vị từ.

91 p husc 25/06/2026 6 0

Từ khóa: Bài giảng, Đại số tuyến tính, Logic mệnh đề, Lý thuyết tập hợp, Toán ma trận
Bài giảng Toán rời rạc: Chương 1 - Lê Thị Tuyết Nhung

Bài giảng chương 1 giới thiệu cơ sở logic gồm có vị từ, lượng từ, quy tắc suy luận, phương pháp chứng minh và nguyên lý quy nạp.

31 p husc 25/04/2026 11 1

Từ khóa: Bài giảng, Toán rời rạc, Cơ sở logic, Vị từ và lượng từ, Quy tắc suy luận, Phương pháp chứng minh
Bài giảng Đại số tuyến tính: Chương 1 - PGS.TS Trần Tuấn Nam

Bài giảng chương 1 của PGS.TS Trần Tuấn Nam trình bày lý thuyết tập hợp, ánh xạ, logic mệnh đề, ma trận, định thức và hệ phương trình tuyến tính.

91 p husc 25/02/2026 17 0

Từ khóa: Bài giảng, Đại số tuyến tính, Logic mệnh đề, Lý thuyết tập hợp, Phép toán logic, Biểu thức mệnh đề
Bài giảng Cơ sở lập trình: Chương 3 - Trần Thị Thu Thảo

Nội dung chương 3 trình bày cấu trúc điều khiển, gồm cấu trúc điều kiện if, cấu trúc lặp while, cấu trúc lặp for, câu lệnh nhảy break, continue, return.

76 p husc 25/02/2026 14 0

Từ khóa: Bài giảng, Tin học quản lý, Cơ sở lập trình, Cấu trúc điều khiển, Giá trị boolean, Toán tử so sánh, Toán tử logic
Bài giảng Toán rời rạc 2A: Chương 5 - Lê Thị Tuyết Nhung

Bài giảng chương 5 trình bày về Hàm Boole như đại số Boole, hàm Boole, bảng chân trị, phép toán, và dạng nối rời chính tắc.

46 p husc 25/02/2026 13 0

Từ khóa: Bài giảng, Toán rời rạc 2A, Hàm boole, Đại số boole, Bảng chân trị, Biểu đồ Karnaugh, Mạng logic
Nghiên cứu thuật toán suy luận Tableuax trong logic mô tả ALC sử dụng bộ nhớ đệm toàn cục

Tổng quan về logic mô tả; Các thuật toán suy luận trong logic mô tả; Thuật toán suy luận Tableaux trong logic mô tả ALC sử dụng bộ nhớ đệm toàn cục. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447

11 p husc 18/03/2025 94 0

Từ khóa: Khoa học máy tính, Logic mô tả, Biểu diễn tri thức, Hệ thống suy luận, Vai trò nghịch đảo, Thuật toán suy luận, Bảng phân giải, Thuật toán tableuax, Bộ nhớ đệm.,
Bài giảng Toán rời rạc: Đại số Boole - TS. Đỗ Đức Đông

Bài giảng Toán rời rạc: Đại số Boole, cung cấp cho người học những kiến thức như đại số Boole; biểu diễn Hàm Boole; cổng logic; cực tiểu hóa các mạch. Mời các bạn cùng tham khảo!

30 p husc 27/12/2024 90 0

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Đại số Boole, Biểu diễn Hàm Boole, Cực tiểu hóa các mạch, Quy tắc của đại số Boole, Thiết kế mạch logic
Chương trình Logic tập trả lời (ASP) và ứng dụng để biểu diễn tri thức.

Các khái niệm cơ sở; Chương trình Logic tập trả lời; Ứng dụng của chương trình logic tập trả lời để biểu diễn tri thức. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447

13 p husc 17/12/2024 93 0

Từ khóa: Khoa học máy tính, Ngôn ngữ bậc nhất, Ngôn ngữ logic, Chương trình logic, Hệ thống Clingo, Thuật ngữ xây dựng, Bài toán ứng dụng.
Tìm hiểu ngữ nghĩa chương trình Datalog dạng tuyển và ứng dụng để biểu diễn tri thức

Tổng quan về chương trình Datalog; Chương trình Datalog dạng tuyển; Ứng dụng chương trình Datalog dạng tuyển. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

11 p husc 06/05/2024 107 0

Từ khóa: Khoa học máy tính, Ngôn ngữ logic, chương trình datalog, Datalog dạng tuyển, Ràng buộc mạnh, Ràng buộc yếu, Hệ thống DLV, Bài toán tìm đường, Bài toán tô màu
Tìm hiểu ngữ nghĩa và phướng pháp định giá truy vấn đối với chương trình Datalog mô tả

Tổng quan về chương trình datalog và logic mô tả; Ngữ nghĩa của chương trình datalog mô tả; Phương pháp trả lời câu truy vấn và ứng dụng của chương trình datalog mô tả. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

11 p husc 04/04/2024 116 0

Từ khóa: Khoa học máy tính, Chương trình datalog, Logic mô tả, Ứng dụng chương trình, Cài đặt bài toán
Tìm hiểu ngôn ngữ Ontology Owl 2 và ứng dụng

Giới thiệu Logic mô tả; Web ngữ nghĩa và ngôn ngữ Ontology dành cho Web Owl 2; Xây dựng Ontology Owl 2 biểu diễn cơ sở tri thức về chương trình đào tạo đại học và ứng dụng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

11 p husc 27/02/2024 131 0

Từ khóa: Khoa học máy tính, Logic mô tả, Web ngữ nghĩa, Ngôn ngữ Ontology, Cây phân lớp, Định nghĩa lớp phức, Kiểu dữ liệu, Bài toán xây dựng, Chương trình java
Tìm hiểu hệ thống lập trình logic Clingo và ứng dụng

Tổng quan về lập trình trả lời; Hệ thống lập trình tập trả lời của Clingo; Một số bài toán ứng dụng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

12 p husc 28/12/2023 143 0

Từ khóa: Khoa học máy tính, Chương trình logic, Hệ thống clingo, Hệ thống lập trình, Bài toán ứng dụng

1
2
3
4

Đăng nhập

Hướng dẫn khai thác thư viện số

Bộ sưu tập nổi bật

Tin nhanh

Thư viện Trường Đại học Khoa học Huế

Địa chỉ: 77 Nguyễn Huệ, Phường Thuận Hoá, Thành phố Huế
Email: thuviendhkh@husc.edu.vn
Điện thoại: 0234.3822440 ; 0234.3832447

Phát triển bởi Thư viện số