- 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
Nghiên cứu ngữ nghĩa tập trả lời của chương trình logic ưu tiên
Trình bày những khái niệm cơ sở của chương trình logic, ngữ nghĩa của chương trình logic dương; ngữ nghĩa mô hình bền vững của chương trình logic thông thường. Nghiên cứu cú pháp và ngữ nghĩa của chương trình logic ưu tiên theo tiếp cận tập trả lời cùng với các tính chất ngữ nghĩa của lớp chương trình này. Trình bày thuật toán để tính tập trả...
5 p husc 17/03/2016 269 2
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phần mềm Eclipse, Thuật toán, Logic thông thường
Nghiên cứu ngữ nghĩa của chương trình logic nói chung, Datalog và Prolog nói riêng; chuyển đổi chương trình lập trình truyền thống thành các quy tắc Datalog; Ứng dụng biểu đồ cây nhị phân quyết định trong phân tích chương trình (Ứng dụng phân tích chương trình Java thành chương trình Datalog và tìm mô hình bằng Cây nhị phân quyết định). Ghi chú: Tài...
5 p husc 17/03/2016 374 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Nhị phân quyết định, Chương trình logic, Chương trình datalog, Đại số quan hệ, Phép toán trên BDD, Chương trình Java, Biến đổi mã nguồn
Nghiên cứu tính toán lưới và ứng dụng trong đấu giá bán cổ phần
Nghiên cứu tính toán lưới: bản chất, phân loại, kiến trúc, ích lợi, các chuẩn liên quan và cơ sở hạ tầng Grid, công cụ GridBus Enterprise Grid Infrastructure (Alchemi). Thiết kế ứng dụng để triển khai trên lưới. Xây dựng ứng dụng demo để triển khai vào thực tế. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440...
9 p husc 16/03/2016 263 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Hệ thống tính toán, Tính toán phân tán, Lưới tính toán, Lưới dữ liệu, Lưới kết hợp, Thiết kế chương trình, Phân tích hệ thống
Tìm hiểu một số phương pháp luận xấp xỉ và ứng dụng hỗ trợ chuẩn đoán bệnh phổi tắc nghẽn mạn tính
Tìm hiểu lý thuyết về tập mờ, logic mờ Đại số gia tử. Nghiên cứu phương pháp lập luận xấp xỉ theo cách tiếp cận lý thuyết tập mờ, phương pháp lập luận xấp xỉ theo cách tiếp cận Đại số gia tử; Đánh giá hiệu quả các cách tiếp cận lập luận xấp xỉ. Ứng dụng kết quả nghiên cứu vào chuẩn đoán bệnh phổi tắc nghẽn mạn tính. Ghi...
6 p husc 16/03/2016 259 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quan hệ mờ, Phép khử mờ, Mạnh đề mờ, Lập luận xấp xỉ, Quy trình chuẩn đoán, Mô phỏng chương trình
Nghiên cứu việc tích hợp ngữ nghĩa của logic mô tả và các quy tắc logic
Nghiên cứu việc tích hợp ngữ nghĩa của chương trình logic mô tả và các quy tắc logic dạng tuyển để xây dựn neencacs chương trình logic dạng tuyển; Cú pháp và ngữ nghĩa của logic mô tả ALC và logic mô tả SHOIN(D). Trình bày một sự hợp tích giữa chương trình logic dưới ngữ nghĩa tập trả lời với logic mô tả SHOIN(D); Xác định đượcngữ nghĩa tập trả...
6 p husc 16/03/2016 327 3
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Logic mô tả, Logic dạng tuyển, Hệ thống DLV
Nghiên cứu một số vấn đề về ngữ nghĩa mô hình của chương trình logic và mở rộng của nó
Nghiên cứu việc mở rộng về ngữ nghĩa chương trình logic theo các cách tiếp cận trên xuống (top-down) và dưới lên (bottom-up) khi cho phép các quy tắc có chứa ký hiệu tuyển, ký hiệu phủ định và có chứa các ràng buộc. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447
5 p husc 18/02/2016 222 1
Từ khóa: Tin học, chương trình logic, ngữ nghĩa của chương trình logic
Tin học hóa công tác quản lý và đào tạo trường Đại học Khoa học Huế
Xây dựng mộ hệ chương trình quản lý: tự động hóa một số công tác quản lý. Xây dựng một hệ truyền thông tin trên mạng trong phạm vi toàn trường. Phân cấp quản lý và chia sẻ tài nguyên thông tin trên mạng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447
3 p husc 18/02/2016 334 1
Từ khóa: Tin học, xây dựng chương trình quản lý, công tác quản lý trường Đại học Khoa học, tin học hóa công tác quản lý
Bài giảng Nhập môn các loại hình báo chí truyền hình
Nội dung bài giảng trình bày những vấn đề chung của loại hình báo chí truyền hình như khái niệm, phân loại, nguyên lý; trình bày đặc trưng của từng loại hình; ê kíp sản xuất chương trình; truyền hình thực tế và xu thế phát triển truyền hình.
42 p husc 28/01/2016 285 5
Từ khóa: Báo chí truyền hình, Truyền hình thực tế, Chương trình truyền hình, Phân loại truyền hình, Phân loại truyền hình, Đặc trưng truyền hình
Nêu sơ bộ về tình hình học tiếng Anh của các lớp không chuyên giai đoạn đại cương. Đề xuất một số giải pháp có tính định hướng trong việc dạy và học tiếng Anh đối với các lớp không chuyên. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447
5 p husc 30/12/2015 299 1
Từ khóa: Tiếng Anh, chương trình giảng dạy, học tiếng Anh
Bài giảng Cơ sở lập trình 1: Chương 1 - Lê Quý Tài
Bài giảng Cơ sở lập trình 1 - Chương 1 giới thiệu các khái niệm cơ bản về lập trình. Trong chương này sẽ trình bày lần lượt các nội dung cụ thể như: Các khái niệm cơ bản, các bước xây dựng chương trình, thuật toán và chương trình, giới thiệu ngôn ngữ lập trình C. Mời các bạn cùng tham khảo.
27 p husc 25/12/2015 355 3
Từ khóa: Cơ sở lập trình, Bài giảng Cơ sở lập trình 1, Thuật toán ngôn ngữ lập trình, Ngôn ngữ lập trình C, Xây dựng chương trình, Môi trường lập trình
Bài giảng Cơ sở lập trình 1: Chương 2 - Lê Quý Tài
Chương 2 trang bị cho người học những hiểu biết về các phần tử cơ bản của ngôn ngữ C. Chương này gồm có các nội dung chính sau: Các thành phần cơ bản, cấu trúc chương trình C, các kiểu liệu cơ sở, câu lệnh-biểu thức, thứ tự ưu tiên các phép toán, sử dụng môi trường làm việc C, vào – ra dữ liệu trong C. Mời các bạn cùng tham khảo.
59 p husc 25/12/2015 265 1
Từ khóa: Cơ sở lập trình, Bài giảng Cơ sở lập trình 1, Ngôn ngữ C, Cấu trúc chương trình C, Chương trình C, Kiểu số nguyên
Bài giảng Cơ sở lập trình 1: Chương 4 - Lê Quý Tài
Chương trình con là một đoạn chương trình có tên, đầu vào và đầu ra, có chức năng giải quyết một số vấn đề chuyên biệt cho chương trình chính. Trong chương 4 này sẽ cung cấp cho người học những kiến thức về chương trình con, mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.
42 p husc 25/12/2015 197 1
Từ khóa: Cơ sở lập trình, Bài giảng Cơ sở lập trình 1, Chương trình con, Tầm tác dụng của biến, Xây dựng hàm, Hàm đệ quy
Đăng nhập
Bộ sưu tập nổi bật
17 11924
Tuyển tập tác phẩm văn học hay
15 7211
Bộ sưu tập tài liệu Toán học hay
24 7464
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.