- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Tìm hiểu ngữ nghĩa chương trình Datalog dạng tuyển và ứng dụng để biểu diễn tri thức
Tổng quan về chương trình Datalog; Chương trình Datalog dạng tuyển; Ứng dụng chương trình Datalog dạ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 11 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ếp nội dung phần 1, Cuốn sách "Toán rời rạc" phần 2 được biên soạn gồm các nội dung chính sau: mệnh đề và các phép toán mệnh đề; đại số boole. Mời các bạn cùng tham khảo!
95 p husc 19/04/2024 24 0
Từ khóa: Toán rời rạc, Thuật toán Prim, Thuật toán Dijkstra, Đại số logic, Đại số Boole, Cực tiểu hóa hàm logic
Tìm hiểu ngữ nghĩa và phướng pháp định giá truy vấn đối với chương trình Datalog mô tả
Tổng quan về chương trình datalog và logic mô tả; Ngữ nghĩa của chương trình datalog mô tả; Phương pháp trả lời câu truy vấn và ứng dụng của chương trình datalog mô tả. 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 31 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
Tìm hiểu ngôn ngữ Ontology Owl 2 và ứng dụng
Giới thiệu Logic mô tả; Web ngữ nghĩa và ngôn ngữ Ontology dành cho Web Owl 2; Xây dựng Ontology Owl 2 biểu diễn cơ sở tri thức về chương trình đào tạo đại học và ứng dụ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 47 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
Tìm hiểu hệ thống lập trình logic Clingo và ứng dụng
Tổng quan về lập trình trả lời; Hệ thống lập trình tập trả lời của Clingo; Một số bài toán ứng dụ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 55 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
Nối tiếp phần 1, "Bài giảng Kỹ thuật số: Phần 2" tiếp tục trình bày những nội dung về mạch logic tuần tự; mô hình toán học; phần tử nhớ của mạch tuần tự; đầu vào không đồng bộ của trigơ; chuyển đổi giữa các loại trigơ; phân tích mạch tuần tự; bộ đếm, phân tích và thiết kế bộ đếm; bộ ghi dịch (Shift Register); thanh chốt dữ liệu...
63 p husc 30/05/2022 89 0
Từ khóa: Bài giảng Kỹ thuật số, Kỹ thuật số, Mạch logic tuần tự, Mô hình toán học, Phân tích mạch tuần tự, Thiết kế bộ đếm, Bộ ghi dịch (Shift Register)
Bài giảng Toán rời rạc - ThS. Nguyễn Thị Thúy Hạnh
Bài giảng Toán rời rạc do ThS. Nguyễn Thị Thúy Hạnh biên soạn gồm 6 chương, với các nội dung chính như sau: Bài toán đếm; Các khái niệm cơ bản về đồ thị; Đồ thi euler, hamilton, đồ thị phân đôi, đồ thị phẳng; Cây và một số ứng dụng của cây; Một số bài toán tối ưu trên đồ thị; Đại cương về toán logic.
113 p husc 21/04/2022 101 1
Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Cây khung của đồ thị, Toán logic, Đồ thị Euler, Đồ thị phân đôi, Bài toán tối ưu trên đồ thị
Ebook Toán logic & kỹ thuật số: Phần 1
Cuốn sách "Toán logic & kỹ thuật số" được biên soạn để giúp các sinh viên, các cán bộ nghiên cứu hiểu biết sâu sắc về các hệ thống điện tử số hiện đại, làm cơ sở cho việc làm chủ và có thể sáng tạo ra các hệ thống điện tử số mới. Sách được viết dựa trên đề cương môn học Kỹ thuật số đã được thông qua và thống nhất trong cả...
258 p husc 28/12/2021 111 1
Từ khóa: Cấu trúc toán Logic, Kỹ thuật số, Cấu trúc toán logic, Cấu trúc đại số, Đại số Boole, Vi phân hàm boole
Ebook Toán logic & kỹ thuật số: Phần 2
Phần 2 của cuốn sách "Toán logic & kỹ thuật số" trình bày về các hệ thống số và mạch. Phần này đề cập đến các ôtômat không có nhớ và ôtômat có nhớ, các mạch điện của hệ thống điện tử số, trong đó đi sâu vào 2 bài toán chính là: Bài toán phân tích hệ thống số và bài toán tổng hợp hệ thống số. Mời các bạn cùng tham khảo để biết...
168 p husc 28/12/2021 146 1
Từ khóa: Cấu trúc toán Logic, Kỹ thuật số, Hệ thống số, Hệ thống điện tử số, Ôtômat không có nhớ, Ôtômat có nhớ
Bài giảng Toán rời rạc: Bài 1 - Vũ Thương Huyền
Bài giảng Toán rời rạc: Bài 1 - Vũ Thương Huyền cung cấp cho học viên các kiến thức cơ bản về logic; sự tương đương các mệnh đề; vị từ và lượng từ; các phép suy diễn; chuẩn tắc hội, chuẩn tắc tuyển; các phương pháp chứng minh;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!
80 p husc 28/12/2021 86 0
Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Toán tử logic, Chuẩn tắc hội, Chuẩn tắc tuyển, Bảng giá trị chân lí, Mệnh đề kéo theo, Phép suy diễn
Bài giảng Toán rời rạc: Phương pháp chứng minh - Trần Vĩnh Đức
Bài giảng Toán rời rạc: Phương pháp chứng minh cung cấp cho người học những nội dung kiến thức như: Mệnh đề, tiên đề, và suy luận logic; phương pháp chứng minh; nguyên lý sắp thứ tự tốt. Mời các bạn cùng tham khảo.
37 p husc 29/07/2021 131 0
Từ khóa: Toán rời rạc, Bài giảng Toán rời rạc, Phương pháp chứng minh, Suy luận logic, Nguyên lý sắp thứ tự tốt, Giả thuyết Euler
Bài giảng Toán rời rạc: Chương 1 - TS. Đặng Xuân Thọ
Bài giảng Toán rời rạc: Chương 1 Logic mệnh đề cung cấp cho người học những kiến thức như: Thế nào là một mệnh đề; Các toán tử logic; Phân tích mệnh đề logic phức hợp; Các phép toán logic với các bit. Mời các bạn cùng tham khảo!
36 p husc 30/06/2021 97 0
Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Logic mệnh đề, Mệnh đề logic phức hợp, Toán tử logic, Phép toán logic với các bit
Đăng nhập
Bộ sưu tập nổi bật
17 13597
Tuyển tập tác phẩm văn học hay
15 7856
Bộ sưu tập tài liệu Toán học hay
24 7802
Tin nhanh
Công bố quyết định bổ nhiệm Phó Hiệu trưởng nhiệm kỳ 2009 – 2014.
Hội Cựu giáo chức Trường Đại học Khoa học Huế: Gặp mặt đầu năm Xuân Nhâm Thìn 2012.
Lễ kỷ niệm 82 năm thành lập Đảng Cộng Sản Việt Nam (3/2/1930 – 3/2/2012)
Gặp mặt chúc Tết cán bộ của Trường nghỉ hưu tại Huế nhân dịp Tết Nhâm Thìn 2012.