- 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
Giáo trình Các hệ thống thông minh: Phần 1
Phần 1 cuốn giáo trình "Các hệ thống thông minh" trình bày các nội dung của 3 chương đầu bao gồm: Giới thiệu về các hệ thống thông minh; biểu diễn tri thức, các phương pháp lập luận. Mời các bạn cùng tham khảo nội dung chi tiết.
96 p husc 25/07/2023 55 2
Từ khóa: Các hệ thống thông minh, Hệ thống thông tin, Biểu diễn tri thức, Phương pháp lập luận, Biểu diễn tri thức trong logic, Mạng ngữ nghĩa
Ebook Lôgích và tiếng Việt: Phần 1
Phần 1 cuốn sách "Lôgích và tiếng Việt" giới thiệu tới người đọc các nội dung: Quan hệ giữa ngôn ngữ và logic; logic truyền thống; logic mệnh đề; logic vị từ, logic tình thái, logic đa trị và logic mờ; giới thiệu logic phi hình thức, những nghịch lý ngữ nghĩa. Mời các bạn cùng tham khảo nội dung chi tiết.
264 p husc 23/07/2022 75 1
Từ khóa: Lôgích và tiếng Việt, Ngôn ngữ và logic, Logic truyền thống, Logic mệnh đề, Logic vị từ, Logic tình thái, Logic đa trị, Logic phi hình thức
Ebook Lôgích và tiếng Việt: Phần 2
Phần 2 cuốn sách "Lôgích và tiếng Việt" giới thiệu tới người đọc các nội dung: Phép suy luận ngôn ngữ và logic, logic của những hiện tượng “phi logic” trong tiếng Việt; logic và nhận thức không gian trong tiếng Việt; lôgích và nhận thức thời gian trong tiếng Việt. Mời các bạn cùng tham khảo nội dung chi tiết.
261 p husc 23/07/2022 71 1
Từ khóa: Lôgích và tiếng Việt, Phép suy luận ngôn ngữ, Hiện tượng phi logic, Lôgích và nhận thức thời gian, Nhận thức không gian trong tiếng Việt
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 92 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)
Ebook Câu chuyện về cơ thể con người: Tiến hóa, sức khỏe và bệnh tật - Phần 2
Ebook Câu chuyện về cơ thể con người: Tiến hóa, sức khỏe và bệnh tật - Phần 2 gồm có những nội dung chính sau: Cái vòng luẩn quẩn của quá dư thừa, không sử dụng, những nguy hiểm ẩn giấu của điều kiện lạ và tiện nghi, kẻ thích nghi hơn sẽ sống sót. Mời các bạn cùng tham khảo.
256 p husc 21/04/2022 79 1
Từ khóa: Cơ thể người, Tiến hóa con người, Câu chuyện về cơ thể con người, Sức khỏe con người, Logic tiến hóa, Ăn uống quá nhiều
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 107 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ị
Tìm hiểu ngữ nghĩa chương trình logic dạng tuyển có thứ tự
Chương trình logic dạng tuyển; Ngữ nghĩa chương trình logic dạng tuyển; Tập trả lời của Lpod; Tính các tập trả lời ưu tiên; Giới thiệu hệ thống Psmodels; Một số bài toán minh họa. 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
9 p husc 15/03/2022 64 0
Từ khóa: Khoa học máy tính, Chương trình logic, Logic dạng tuyển, Hệ thống Psmodels, Bào toán minh họa
Tìm hiểu ngữ nghĩa xác đáng của chương trình logic mô tả trong web ngữ nghĩa
Tổng quan về chương trình logic; Chương trình mô tả; Ứng dụng của chương trình logic 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
10 p husc 15/03/2022 64 0
Từ khóa: Khoa học máy tính, Chương trình logic, Logic mô tả, Hệ thống DLV, Vị từ xây dựng, Thực thi chương trình, Bài toán ứng dụng
Tìm hiểu việc mở rộng chương trình datalog cho web ngữ nghĩa
Tổng quan về chương trình datalog và web ngữ nghĩa; Chương trình datalog; Chuyển đổi logic mô tả DL- LITE về chươgn trình datalog. 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 15/03/2022 81 0
Từ khóa: Khoa học máy tính, Chương trình datalog, Lý thuyết mô hình, Điểm bất động, Web ngữ nghĩa, Logic mô tả
Bài giảng Logic học - Nguyễn Đình Tùng
Bài giảng Logic học cung cấp cho người học những kiến thức như: Phán đoán và các phép logic; tính chất của phép hội và phép tuyển; phép kéo theo; một số quy luật logic; logic vị từ; suy luận diễn dịch;... Mời các bạn cùng tham khảo!
62 p husc 28/02/2022 83 1
Từ khóa: Bài giảng Logic học, Logic học, Công thức De Morgan, Phán đoán phản đảo, Logic vị từ, Hình thức suy luận từ một tiền đề, Quy tắc bắc cầu của phép kéo theo
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 115 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 148 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ớ
Đăng nhập
Bộ sưu tập nổi bật
Bộ sưu tập tài liệu Toán học hay
24 7849
17 13661
Tuyển tập tác phẩm văn học hay
15 7885
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.