Tìm hiểu thủ tục chứng minh SLDNFA và IFF đối với chương trình logic phỏng đoán.

Trình bày thủ tục chứng minh IFF đối với các chương trình logic phỏng đoán. Thủ tục này đã được chứng minh là hiệu quả hơn thủ tục SLDNFA.

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

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Logic thông thường, Logic phỏng đoán, Lập trình logic, Phỏng đoán sldnfa.