- 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
Bài giảng Vật lý đại cương 2: Chương 3 - GV. Nguyễn Như Xuân
Bài giảng Vật lý đại cương 2 - Chương 3: Nguyên lý II - Nhiệt động lực học trình bày hạn chế của nguyên lý, quá trình thuận nghịch, máy nhiệt, phát biểu Nguyên lý II, chu trình và định lý Carnot. Entrôpi, các hàm nhiệt động, bài tập Nguyên lý II.
31 p husc 25/04/2015 228 1
Từ khóa: Vật lý đại cương 2 Chương 3, Vật lý đại cương 2, Nhiệt động lực học, Quá trình thuận nghịch, Định lý Carnot, Hàm nhiệt động
Giáo trình Kỹ thuật chuyển mạch số - NXB Hà Nội
Mời các bạn tham khảo giáo trình Kỹ thuật chuyển mạch số với 9 chương trình bày nội dung về trường chuyển mạch số, chuyển mạch gói, chương trình xử lý cuộc gọi, phần mềm hệ thống, chuyển mạch ATM,... Tài liệu này giúp ích cho các sinh viên và giảng viên trong quá trình học tập và giảng dạy.
225 p husc 13/04/2015 232 3
Từ khóa: Kỹ thuật chuyển mạch số, Giáo trình Kỹ thuật chuyển mạch số, Phần mềm hệ thống, Chuyển mạch gói, Chương trình xử lý cuộc gọi, Thiết bị chuyển mạch
Nghiên cứu lập trình logic tập trả lời và ứng dụng
Tổng quan về chương trình logic. Cú pháp và ngữ nghĩa của chương trình logic mở rộng (ELP) theo tiếp cận ngữ nghĩa tập trả lời. Ngữ nghĩa tập trả lời của chương trình logic dạng tuyển mở rộng và ứng dụng biểu diễn tri thứ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 07/04/2015 369 2
Từ khóa: Tin học, chương trình logic, lập trình logic, chương trình logic dạng tuyển mở rộng
Nghiên cứu ngữ nghĩa của chương trình logic với các ràng buộc trọng số
Tổng quan về chương trình logic. Tìm hiểu chương trình logic với các ràng buộc trọng số. Cài đặt và thực thi một số bài toán bằng hệ thống Smodels. 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
6 p husc 07/04/2015 217 4
Từ khóa: Tin học, chương trình logic
Nghiên cứu ngữ nghĩa của chương trình logic mô tả xác suất
Tổng quan về ngữ nghĩa chương trình logic và logic mô tả. Chương trình logic mô tả xác suất. Phương pháp định giá truy vấn đối với chương trình logic mô tả xác suất phân tầ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
5 p husc 06/04/2015 209 1
Từ khóa: Tin học, Chương trình logic, logic mô tả, logic mô tả xác suất, mô tả xác suất phân tầng
Nghiên cứu ngữ nghĩa xác đáng của chương trình logic
Trình bày một số khái niệm: Ngôn ngữ bậc nhất, chương trình logic xác định, chương trình logic thông thường. Tìm hiểu về mô hình xác đáng của chương trình logic. Ngữ nghĩa xác đáng của chương trình logic với các hàm kết tập. 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 06/04/2015 199 2
Từ khóa: Tin học, Chương trình logic, mô hình xác đáng, hàm kết tập
Giới thiệu khái quát về cơ sở dữ liệu thời gian. Thiết kế cơ sở dữ liệu cho chương trình quản lý thời gian giao tác các thiết bị điện. Thiết kế và cài đặt chương trình quản lý thời gian giao tác của các thiết bị điệ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
6 p husc 06/04/2015 297 1
Từ khóa: Tin học, Cơ sở dữ liệu thời gian, chương trình quản lý thời gian, giao tác các thiết bị điện
Nghiên cứu việc định giá chương trình Datalog trên cơ sở dữ liệu vô hạn
Trình bày một số ký hiệu, khái niệm cơ sở. Giới thiệu chương trình Datalog an toàn và ràn buộc hữu hạn. Một số thuật toán định giá đối với chương trình Datalog trên cơ sở dữ liệu vô hạ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
6 p husc 01/04/2015 283 1
Từ khóa: Tin học, chương trình Datalog, thuật toán định giá, cơ sở dữ liệu vô hạn.
Nghiên cứu các kỹ thuật hợp giải đối với chương trình logic tổng quát
Nghiên cứu cơ sở lý luận về chương trình logic tổng quát; Ngữ nghĩa và phép hợp giải SLDNF; Các kỹ thuật hợp giải (SLG, SLT) được sử dụng trong các hệ thống trả lời truy vấn đối với chương trình logic tổng quát. 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 01/04/2015 219 1
Từ khóa: Tin học, logic tổng quát, kỹ thuật hợp giải, chương trình logic tổng quát
Nghiên cứu ngữ nghĩa của chương trình logic dạng tuyển với sự kế thừa
Trình bày những khái niệm cơ sở của chương trình logic dạng tuyển, ngữ nghĩa chương trình logic dạng tuyển. Trình bày cú pháp và ngữ nghĩa của chương trình logic dạng tuyển với sự kế thừa (DLP
5 p husc 01/04/2015 291 2
Từ khóa: Tin học, Chương trình logic, logic dạng tuyển
Nghiên cứu ngữ nghĩa của chương trình logic với các hàm kết tập
Tìm hiểu lý luận về chương trình logic và logic bậc nhất; Ngữ nghĩa của chương trình logic với các hàm kết tập; Cú pháp và ngữ nghĩa của các chương trình kết tập phân. Trình bày việc tìm hiểu ngôn ngữ Xsb Prolog, tiến hành cài đặt và thực thi một số chương trình kết tập bằng Xsb Prolog. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...
5 p husc 31/03/2015 167 1
Từ khóa: Tin học, Chương trình logic, hàm kết tập
Tìm hiểu kiểm thử đơn vị cho chương trình tương tranh
Tìm hiểu những kiến thức về lập trình tương tranh, kiểm thử phần mềm, kiểm thử đơn vị và giới thiệu một số công cụ kiểm thử mã nguồn mở vận dụng để kiểm thử mức đơn vị. Trình bày các vấn đề trong việc tiến hành kiểm thử đơn vị cho chương trình tương tranh và giải pháp tương ứng vấn đề. Ghi chú: Tài liệu toàn văn liên hệ theo...
5 p husc 27/03/2015 191 1
Từ khóa: Tin học, Chương trình tương tranh, Lập trình tương tranh, Kiểm thử phần mềm, Kiểm thử đơn vị
Đă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 7470
Tuyển tập tác phẩm văn học hay
15 7216
17 11933
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.