- 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 của chương trình Logic mô tả mờ.
Trình bày một số khái niệm cơ sở và ngữ nghĩa của chương trình logic, cú pháp và ngữ nghĩa 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
11 p husc 19/05/2017 244 1
Từ khóa: Công nghệ thông tin, Chương trình logic, Logic mô tả mờ, Tập mờ, Ngữ Nghĩa.
Ebook Tin - Sinh học - TS. Nguyễn Văn Cách
Ebook "Tin - Sinh học" do TS. Nguyễn Văn Cách biên soạn nhằm cung cấp cho cán bộ và sinh viên ngành Công nghệ sinh học và cho các đối tượng khác có liên quan những kiến thức cơ bản về tin sinh học và điểm qua một vài ứng dụng của lĩnh vực khoa học này.
144 p husc 30/04/2017 300 3
Từ khóa: Tin sinh học, Công nghệ sinh học, Cơ sở dữ liệu, Chương trình phân tích cấu trúc chuỗi, Tra cứu dữ liệu, Đại cương về internet
Giáo trình Công nghệ sản xuất chương trình truyền hình - ThS. Phạm Thị Sao Băng
Giáo trình Công nghệ sản xuất chương trình truyền hình do ThS. Phạm Thị Sao Băng biên soạn trình bày về: giới thiệu chung về chương trình truyền hình, quy trình sản xuất một chương trình truyền hình, công nghệ sản xuất các chương trình truyền hình, công nghệ phân phối các chương trình truyền hình, một số thiết bị tiền kỳ và hậu kỳ trong công nghệ...
81 p husc 30/04/2017 289 3
Từ khóa: Công nghệ sản xuất chương trình truyền hình, Giáo trình Kỹ thuật truyền hình, Quy trình sản xuất chương trình truyền hình, Phân phối chương trình truyền hình, Kết cấu báo hình, Thể loại báo chí truyền hình
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 256 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
Bài giảng Tin học đại cương: Bài 1 - ThS. Đinh Phú Hùng
Bài giảng "Tin học đại cương - Bài 1: Cấu trúc một chương trình C++" giới thiệu tới người học các ví dụ minh họa một chương trình C++, cấu trúc chương trình C++. Đây là một tài liệu hữu ích dành cho các bạn sinh viên ngành Công nghệ thông tin và những ai quan tâm dùng làm tài liệu học tập nghiên cứu.
10 p husc 24/02/2017 238 1
Từ khóa: Bài giảng Tin học đại cương, Tin học đại cương, Cấu trúc một chương trình C++, Chương trình C++, Cấu trúc chương trình C++
Bài giảng Tin học đại cương: Bài 3 - ThS. Đinh Phú Hùng
Bài giảng "Tin học đại cương - Bài 3: Chương trình con (hàm)" cung cấp cho người học các kiến thức: Đặt vấn đề, giới thiệu về chương trình con, cách viết và gọi chương trình con. Mời các bạn cùng tham khảo nội dung chi tiết.
19 p husc 24/02/2017 190 1
Từ khóa: Bài giảng Tin học đại cương, Tin học đại cương, Chương trình con, Gọi chương trình con, Viết chương trình con
Bài giảng Kỹ thuật vi xử lý: Chương 3 - Phạm Ngọc Nam
Chương 3 trình bày về lập trình hợp ngữ cho 8086. Trong chương này giới thiệu về khung của chương trình hợp ngữ, trình bày cách tạo và chạy một chương trình hợp ngữ trên máy IBM PC, trình bày các cấu trúc lập trình cơ bản thực hiện bằng hợp ngữ và một số chương trình cụ thể.
35 p husc 20/01/2017 256 1
Từ khóa: Kỹ thuật vi xử lý, Bài giảng Kỹ thuật vi xử lý, Lập trình hợp ngữ cho 8086, Chương trình hợp ngữ, Khung của một chương trình hợp ngữ, Cấu trúc lập trình
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 237 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.
Vai trò của truyền thông đại chúng trong hoạt động của cơ quan lập pháp các nước phương Tây
Trong lĩnh vực chính trị, truyền thông đại chúng có vai trò rất to lớn: cung cấp thông tin, định hướng tư tưởng chính trị; xác lập chương trình nghị sự, là diễn đàn giao tiếp chính trị;... Bài viết này đề cập đến vai trò của truyền thông đại chúng trong hoạt động của cơ quan lập pháp các nước phương Tây, đặc biệt là đối với hoạt động...
11 p husc 22/12/2016 269 1
Từ khóa: Truyền thông đại chúng, Cơ quan lập pháp, Nguồn cung cấp thông, Xác lập chương trình nghị sự, Diễn đàn giao tiếp chính trị, Định hướng dư luận
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 431 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 225 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.
Tìm hiểu phương pháp hợp giải tuyến tính để định giá truy vấn đối với chương trình logic.
Trình bày hai phương pháp để định giá câu truy vấn đối với chương trình logic xác định là SLD và OLDT. Phép hợp giải OLDT khắc phục các nhược điểm của phép hợp giải SLD và tính dừng cũng được cải thiện đối với các chương trình logic xác định. 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
13 p husc 26/09/2016 234 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Phép hợp giải, Phần mềm Swi-Prolog, Hợp giải tuyến tính, Dẫn xuất SLD, Chương trình logic, Logic xác định.
Đăng nhập
Bộ sưu tập nổi bật
17 11923
Bộ sưu tập tài liệu Toán học hay
24 7460
Tuyển tập tác phẩm văn học hay
15 7209
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.