- 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
Điểm bất động đối với chương trình logic diễn giải
Bài báo này trình bày ngữ nghĩa điểm bất động đối với chương trình logic diễn giải. Đầu tiên, nghiên cứu ngữ nghĩa điểm bất động đối với chương trình logic dạng tuyển dương, trên cơ sở đó xây dựng các phép chuyển đổi chương trình logic, chương trình Horn diễn giải và chương trình logic diễn giải về chương trình logic dạng tuyển không chứa...
8 p itc 27/07/2020 218 1
Từ khóa: Ngữ nghĩa điểm bất động, Chương trình logic diễn giải, Chương trình logic dạng tuyển dương, Chương trình Horn diễn giải, Ký hiệu phủ định
Thuật ngữ “Lôgíc” được phiên âm từ tiếng nước ngoài (Logic : Tiếng Anh ; Logique : Tiếng Pháp) thuật ngữ này có nguồn gốc từ tiếng Hilạp là Logos, có nghĩa là lời nói, tư tưởng, lý tính, qui luật v.v… Ngày nay, người ta thường sử dụng thuật ngữ “Lôgíc” với những nghĩa sau : - Tính qui luật trong sự vận động và phát triển của thế giới...
78 p itc 11/12/2012 359 1
Từ khóa: đại cương lôgíc học, khái niệm lôgíc, vận động khách quan, đặc điểm lôgíc, định nghĩa lôgíc, phân loại phán đoán, suy luận, lôgíc hình thức
Đăng nhập
Bộ sưu tập nổi bật