- 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 việc kết hợp ngữ nghĩa lập trình logic với logic mô tả
Trình bày tổng quan về logic mô tả và tập trung vào cú pháp, ngữ nghĩa của logic mô tả thông qua một số bài toán và sử dụng hệ thống lập trình logic DLV kết hợp với hệ thống lập luận OWL RACER để thực thi các bài toá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
10 p husc 10/01/2018 294 1
Từ khóa: Công nghệ thông tin, Chương trình logic, Logic thông thường, Logic mô tả, Bài toán ứng dụng, Mô hình bền vững
Tìm hiểu một số kỹ thuật truyền lại thuần trong mạng chuyển mạch chùm quang
Tìm hiểu và phân tích một số kỹ thuật truyền lại thuần trong mạng chuyển mạch chùm quang. Phân loại các kỹ thuật truyền lại thuần cơ bản, về cấu trúc và nguyên tắc hoạt động của phần mềm Matlab. 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 10/01/2018 220 1
Từ khóa: Công nghệ thông tin, Chuyển mạch chùm quang, Tập hợp chùm, Lập lịch chùm, Chương trình Matlab
Bài giảng Tin học đại cương: Chương 4 - ThS. Trần Quang Hải Bằng
Bài giảng "Tin học đại cương - Chương 4: Tổng quan về Visual Basic 6.0" cung cấp cho người đọc các kiến thức: Giới thiệu Visiual Basic 6.0, cài đặt VB 6.0, làm quen với IDE, biên dịch chương trình VB6. Mời các bạn cùng tham khảo nội dung chi tiết.
15 p husc 31/10/2017 220 1
Từ khóa: Tin học đại cương, Bài giảng Tin học đại cương, Visual Basic 6.0, Cài đặt VB 6.0, Làm quen với IDE, Biên dịch chương trình VB6
Bài giảng Tin học đại cương: Chương 6 - ThS. Trần Quang Hải Bằng
Bài giảng "Tin học đại cương - Chương 6: Lập trình với Visual Basic 6.0" cung cấp cho người đọc các kiến thức: Soạn thảo chương trình, các kiểu dữ liệu cơ bản của VB, các toán tử thông dụng trong VB 6.0, các cấu trúc điều khiển,... Mời các bạn cùng tham khảo.
36 p husc 31/10/2017 233 1
Từ khóa: Tin học đại cương, Bài giảng Tin học đại cương, Lập trình với Visual Basic 6.0, Soạn thảo chương trình, Kiểu dữ liệu cơ bản của VB, Toán tử thông dụng trong VB 6.0, Cấu trúc điều khiển
Bài giảng Tin học đại cương: Chương 8 - ThS. Trần Quang Hải Bằng
Bài giảng "Tin học đại cương - Chương 8: Tổ chức chương trình trong Visual Basic 6.0" cung cấp cho người học các kiến thức: Tổ chức chương trình trong VB, chương trình con, Module. Mời các bạn cùng tham khảo nội dung chi tiết.
8 p husc 31/10/2017 207 1
Từ khóa: Tin học đại cương, Bài giảng Tin học đại cương, Tổ chức chương trình trong Visual Basic 6.0, Visual Basic 6.0
Tìm hiểu việc biểu diễn tri thức bằng các chương trình logic.
Trình bày cú pháp và ngữ nghĩa của chương trình logic mở rộng theo tiếp cận ngữ nghĩa tập trả lời. Các chương trình này cho phép phủ định mạnh và phủ định mặc định được phép xuất hiện trong các mệnh đề. Cách tiếp cận ngữ nghĩa của lớp chương trình này là sự mở rộng của ngữ nghĩa mô hình bền vững. Ghi chú: Tài liệu toàn văn liên hệ...
5 p husc 23/10/2017 260 1
Từ khóa: Công nghệ thông tin, Chương trình Logic, Logic thông thường, Logic mở rộng, Ngữ nghĩa mô hình, Ngôn ngữ bậc nhất, Phủ định mạnh, Phủ định Mặc định.
Tìm hiểu ngôn ngữ AnsProlog * và ứng dụng.
Trình bày một ngôn ngữ của lập trình logic theo ngữ nghĩa tập trả lời được gọi là AnsProlog*. Trong AnsProlog* ta cố định ngữ nghĩa tập trả lời và chỉ tập trung vào đó.Ứng dụng của ngôn ngữ AnsProlog* thông qua một số bài toán trong lý thuyết đồ thị và tiến hành mã hóa, thực thi trên hệ thống lập trình logic DLV. Ghi chú: Tài liệu toàn văn liên...
5 p husc 23/10/2017 254 1
Từ khóa: Công nghệ thông tin, Chương trình Logic, Logic xác định, Ngôn ngữ AnsProlog, Hệ thống DLV, Biên dịch hệ thống, Bài toán hệ thống, Bài toán biểu diễn, Bài toán chu trình, Bài toán tập định, Bài toán phủ định.
Tìm hiểu về ngữ nghĩa chương trình logic với các ràng buộc bản số, trọng số và ứng dụng.
Trình bày cú pháp và ngữ nghĩa của chương trình logic với rang buộc bản số và trọng số. Cách tiếp cận ngữ nghĩa của lớp chương trình này là sự mở rộng của ngữ nghĩa mô hình bền vững, ứng dụng của chương trình logic với các ràng buộc bản số, trọng số vào một số bài toán cụ thể và thực thi chương trình bằng phần mềm hệ thống Smodels....
5 p husc 23/10/2017 264 1
Từ khóa: Công nghệ thông tin, Chương trình logic, Ràng buộc bản số, Ràng buộc trọng số, Hệ thống Smodels, Logic bậc nhất, Ngôn ngữ Logic.
Tìm hiểu chương trình Datalog dạng tuyển với các ràng buộc toàn vẹn và ứng dụng.
Trình bày việc mở rộng chương trình Datalog dạng tuyển bởi các ràng buộc toàn vẹn. Đặc biệt, ngoài các ràng buộc toàn vẹn cổ điển (còn gọi là ràng buộc mạnh) biểu diễn các điều kiện cần phải được thỏa mãn, biểu diễn một số bài toán bằng chương trình Datalog dạng tuyển với các ràng buộc toàn vẹn. Ghi chú: Tài liệu toàn văn liên hệ theo...
4 p husc 23/10/2017 240 1
Từ khóa: Công nghệ thông tin, Chương trình Datalog, Datalog dạng tuyển, Ràng buộc toàn vẹn, Hệ thống DLV, Bài toán minh họa.
Nghiên cứu mạng nơ ron đa lớp truyền thẳng và ứng dụng.
Trình bày kiến thức về mạng nơ ron, nơ ron nhân tạo và nơ ron sinh học, các kiểu mô hình mạng. Mô phỏng ứng dụng mạng nơ ron đa lớp truyền thẳng trình bày mô hình bài toán nhận dạng chữ Hán nôm và cách giải quyết bài toán dựa trên mạng nơ ron đa lớp truyền thẳng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343....
5 p husc 23/10/2017 250 2
Từ khóa: Công nghệ thông tin, Mạng nơ ron, Nơ ron sinh học, Nơ ron nhân tạo, Mạng nhiều tầng, Lớp truyền thẳng, Thuật toán lan truyền, Chọn hàng truyền, Nhận dạng chữ Hán Nôm, Thuật toán lan truyền ngược, Giao diện chương trình.
Tìm hiểu về định giá truy vấn chương trình datalog bằng phương pháp ma tập.
Tìm hiểu phương pháp ma tập để định giá truy vấn đối với chương trình Datalog, chiến lược truyền thông tin sang ngang và thuật toán ma tập đối với chương trình Datalog dạng tuyển. về việc thực thi thuật toán ma tập đối với các chương trình Datalog và Datalog dạng tuyển bằng hệ thống lập trình logic DLV. Ghi chú: Tài liệu toàn văn liên hệ theo địa...
5 p husc 13/10/2017 238 1
Từ khóa: Công nghệ thông tin, Chương trình Datalog, Ngôn ngữ bậc nhất, Thuật toán ma tập, Datalog dạng tuyển, Hệ thống DLV.
Tìm hiểu chương trình datalog và ứng dụng phân tích chương trình C bằng sơ đồ nhị phân quyết định.
Trình bày việc ứng dụng phân tích một đoạn chương trình C sang chương trình Datalog, biểu diễn các vị từ của chương trình Datalog bằng Sơ đồ nhị phân quyết định, dùng các phép toán trên Sơ đồ nhị phân quyết định để tìm mô hình của chương 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 -...
6 p husc 13/10/2017 332 1
Từ khóa: Công nghệ thông tin, Chương trình logic, Chương trình Datalog, Sơ đồ nhị phân, Đại số quan hệ, Hàm logic, Nhị phân quyết định, Miền giá trị, Đồ thị phụ thuộc.
Đăng nhập
Bộ sưu tập nổi bật
17 11819
Bộ sưu tập tài liệu Toán học hay
24 7387
Tuyển tập tác phẩm văn học hay
15 7105
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.