» Từ khóa: cai logic

Kết quả 1-2 trong khoảng 2

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
Mối quan hệ giữa cái logic và cái lịch sử trong sự vận động

Làm rõ mối quan hệ biện chứng giữa cái logíc và cái lịch sử trong sự vận động của khái niệm; Phân tích bản chất của khái niệm và cơ sở vận động của khái niệm; Phân tích mối tương quan giữa cái logíc và cái lịch sử trong sự vận động của khái niệm. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 -...

6 p husc 04/05/2015 536 2

Từ khóa: Triết học, Học thuyết Mác-LêNin, Duy vật biện chứng, Nghiên cứu, Cái logic, Cái lịch sử, Quan hệ biện chứng, Khái niệm, Duy vật, Vận động, Biện chứng

Đăng nhập

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

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

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

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

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

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

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

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

20 18873

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ố