» Từ khóa: phu dinh mac dinh

Trình bày cú pháp và ngữ nghĩa của chương trình logic mở rộng theo tiếp cận ngữ nghĩa tập trả lời. Các chương trình này cho phép phủ định mạnh và phủ định mặc định được phép xuất hiện trong các mệnh đề. Cách tiếp cận ngữ nghĩa của lớp chương trình này là sự mở rộng của ngữ nghĩa mô hình bền vững. Ghi chú: Tài liệu toàn văn liên hệ...

 5 p husc 23/10/2017 277 1 Download

Từ khóa: Công nghệ thông tin, Chương trình Logic, Logic thông thường, Logic mở rộng, Ngữ nghĩa mô hình, Ngôn ngữ bậc nhất, Phủ định mạnh, Phủ định Mặc định.

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 250 1 Download

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.

Hệ thống hóa các quan niệm trong triết học về phủ định biện chứng, chỉ ra cơ chế phủ định của các mới đối với cái cũ. Phân tích để chỉ ra các yếu tố mới trong tư duy về chủ nghĩa xã hội của Đại hội VI so với thời kỳ trước đó cũng như những bước chuyển biến mới của tư duy lý luận của Đảng Cộng sản Việt Nam trong 1/4 thế kỷ...

 10 p husc 20/05/2015 205 1 Download

Từ khóa: Triết học, Triết học Mác-LêNin, Học thuyết Mác-LêNin, Phủ định biện chứng, Đổi mới tư duy, Công cuộc đổi mới, Thời kỳ đổi mới, Việt Nam

Nghiên cứu lý luận về nhận thức và khái niệm; những quy luật và phương thức hình thành khái niệm trong nhận 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

 9 p husc 24/04/2015 224 2 Download

Từ khóa: Triết học, Triết học Mác-LêNin, Nhận thức, Chủ nghĩa Mác-LêNin, Quy luật chuyển hóa, Quy luật phủ định, Quy luật thống nhất, Phương thức thống nhất,

Tìm hiểu cơ sở lý luận về phủ định biện chứng trong triết học Mác - Lênin; quan điểm của Đảng Cộng Sản Việt Nam về văn hóa truyền thống. Nghiên cứu vai trò của quan điểm phủ định biện chứng đối với hoạt động giữ gìn và phát huy bản sắc truyền thống và lối sống Huế; từ đó hình thành các quan điểm đúng đắn và xây dựng hệ thống...

 7 p husc 15/04/2015 212 1 Download

Từ khóa: Triêt học, Triết học Mác-LêNin, Phủ định biện chứng, Chủ nghĩa Mác-LêNin, Văn hóa truyền thống, Lối sống Huế, Phát triền lối sống, Van hóa Huế