Tài liệu Thư viện số

Danh mục TaiLieu.VN

» Từ khóa: thuat ngu mo

Kết quả 13-14 trong khoảng 14

Nghiên cứu việc mở rộng ngữ nghĩa xác đáng đối với chương trình logic dạng tuyển

Trình bày cú pháp và ngữ nghĩa mô hình cực tiểu của chương trình logic dạng tuyển dương; ngữ nghĩa xác đáng đối với chương trình logic dạng tuyển dựa trên logic ba trị; Giới thiệu hai hệ thống lập trình logic là Smodels và DLV, minh họa việc cài đặt và thực thi một số chương trình logic trên hai hệ thống này; Cài đặt thuật toán tính ngữ nghĩa xác...

5 p husc 17/03/2016 365 3

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic dạng tuyển, Ngôn ngữ bậc nhất, Thuật toán tính ngữ, Cài đặt thuật toán, Mô hình xác đáng
Sử dụng mô hình truyền thông báo để giải quyết một số bài toán có thời gian thực hiện lớn

Gồm 3 chương: 1. Tổng quan về thuật toán và lập trình song song; 2. Mã hóa thông tin; 3. Cài đặt. 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

4 p husc 27/11/2015 316 1

Từ khóa: Tin học, Công nghệ thông tin, Mô hình truyền thông, Ngôn ngữ lập trình, Lập trình song song, Mã hóa thông tin, Thuật toán song song, Mã khóa công khai, Lý thuyết mật mã

1
2

Đăng nhập

Hướng dẫn khai thác thư viện số

Bộ sưu tập nổi bật

Bộ sưu tập tài liệu Lập trình

17 13661
Tuyển tập Tư tưởng đạo đức Hồ Chí Minh

16 7700
Tuyển chọn ebook Huyền thoại Việt Nam

16 6869
Bộ sưu tập tài liệu hay về Công nghệ Kiến...

20 18867
Bộ sưu tập tài liệu Toán học hay

24 7849
Tuyển chọn tài liệu môi trường hay

13 7295
Tuyển tập tác phẩm văn học hay

15 7885

Tin nhanh

Trung tâm Thông tin Thư viện trường Đại học Khoa học Huế

Địa chỉ: 77 Nguyễn Huệ, Thành phố Huế
Email: thuviendhkh@husc.edu.vn
Điện thoại: 0234.3822440 ; 0234.3832447

Phát triển bởi Thư viện số