- 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 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 20 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ữ nghĩa chương trình datalog dạng tuyển có tính kế thừa và ứng dụng
Các khái niệm cơ sở về chương trình datalog dạng tuyển; Ngữ nghĩa chương trình datalog dạng tuyển có sự kế thừ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
11 p husc 04/04/2024 17 0
Từ khóa: Khoa học máy tính, Chương trình datalog, Hệ thống DLV, Thực thi chương trình, Datalog dạng tuyể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 32 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 42 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
Tính toán thiết kế và tối ưu hóa kết cấu khung máy in 3D bê tông kích thước lớn dạng cổng trục
Tính toán thiết kế và tối ưu hóa kết cấu khung máy in 3D bê tông kích thước lớn dạng cổng trục trình bày việc tính toán và tối ưu hóa kết cấu khung máy in 3D bê tông dạng cổng trục kích thước lớn ứng dụng trong ngành xây dựng. Mô hình phần tử hữu hạn của khung máy với các điều kiện làm việc khác nhau được xây dựng trong môi trường NX Nastran...
17 p husc 26/11/2023 30 0
Từ khóa: Máy in 3D bê tông, Chương trình tự động tính toán, Tối ưu hóa kết cấu, Giải thuật di truyền, Môi trường NX Nastran
Bài giảng Kiến trúc máy tính - Chương 4: Bộ vi xử lý
Bài giảng Kiến trúc máy tính - Chương 4: Bộ vi xử lý, chương này trình bày về tổ chức bộ vi xử lý (CPU); đơn vị xử lý; thanh ghi; tập lệnh; kỹ thuật ống dẫn Pipeline; siêu vô hướng (superscalar);... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!
82 p husc 25/09/2023 14 1
Từ khóa: Bài giảng Kiến trúc máy tính, Kiến trúc máy tính, Bộ vi xử lý, Tổ chức bộ vi xử lý, Kỹ thuật ống dẫn Pipeline, Đơn vị nối ghép bus, Bộ nhớ vi chương trình
Ebook Trình biên dịch: Nguyên lý, kỹ thuật và công cụ - Phần 2
Ebook Trình biên dịch: Nguyên lý, kỹ thuật và công cụ - Phần 2 trình bày một cách hệ thống những vấn đề cơ bản về phân tích từ vựng, phân tích cú pháp và phiên dịch tựa cú pháp. Các giải pháp được sử dụng cho việc thiết kế các trình biên dịch không những có ích cho nhưng ai quan tâm đến việc thiết kế các ngôn ngữ lập trình mà còn có ích cho...
39 p husc 31/03/2021 132 1
Từ khóa: Ebook Trình biên dịch, Trình biên dịch, Phân tích từ vựng, Phân tích cú pháp, Phiên dịch tựa cú pháp, Chương trình máy tính
Bài giảng Lập trình C: Bài 1 - Võ Đức Hoàng
Mục tiêu của bài giảng nhằm giúp người học hiểu được quá trình tổng quát để viết một chương trình trên máy tính, nắm được khái niệm cơ bản về tổ chức dữ liệu và giải thuật, biết được các phương pháp để mô tả giải thuật, đọc hiểu các giải thuật cơ bản,... Mời các bạn cùng tham khảo.
24 p husc 30/07/2020 176 2
Từ khóa: Bài giảng Lập trình C, Lập trình C, Kỹ thuật lập trình, Chương trình máy tính, Ngôn ngữ lập trình, Cấu trúc dữ liệu
Xác định độ cao Geoid và dị thường trọng lực từ các hệ số hàm điều hòa cầu
Bài viết Xác định độ cao Geoid và dị thường trọng lực từ các hệ số hàm điều hòa cầu trình bày chi tiết các công thức toán học, để tính độ cao Geoid và dị thường trọng lực trên cơ sở sử dụng các hệ số hàm điều hòa cầu của các mô hình thế trọng trường và được lập thành chương trình máy tính Geomat2015 bằng ngôn ngữ lập trình Matlab.
5 p husc 30/04/2017 255 2
Từ khóa: Độ cao Geoid, Dị thường trọng lực, Hệ số hàm điều hòa, Cách tính độ cao Geoid, Mô hình thế trọng trường, Chương trình máy tính Geomat2015, Công thức tính độ cao
Tìm hiểu việc biểu diễn tri thức trong A-PROLOG.
Trình bày một mở rộng của A-Prolog, gọi là DA-Prolog, trong đó phần đầu của các mệnh đề trong chương trình A-Prolog có chứa phép tuyển logic. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447
11 p husc 30/12/2016 236 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic xác định, Phủ định mặc định, Phủ định mạnh, Chương trình A-PROLOG, Phần mềm SMODELS, Chạy ứng dụng.
Tìm hiểu chương trình Datalog và ứng dụng.
Giới thiệu về hệ thống lập trình logic DLV , đưa ra một số ứng dụng của 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: 0543. 822440 - 0543. 832447
11 p husc 27/09/2016 427 6
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Datalog dạng tuyển, Hệ thống DLV, Cấu trúc chương trình, Thực thi chương trình.
Tìm hiểu thủ tục chứng minh SLDNFA và IFF đối với chương trình logic phỏng đoán.
Trình bày thủ tục chứng minh IFF đối với các chương trình logic phỏng đoán. Thủ tục này đã được chứng minh là hiệu quả hơn thủ tục SLDNFA. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447
12 p husc 26/09/2016 222 3
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Logic thông thường, Logic phỏng đoán, Lập trình logic, Phỏng đoán sldnfa.
Đăng nhập
Bộ sưu tập nổi bật
17 11501
Bộ sưu tập tài liệu Toán học hay
24 7289
Tuyển tập tác phẩm văn học hay
15 7021
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.