Tiểu Luận Ngữ nghĩa của Horn và các chương trình logic dạng tuyến

MỤC LỤC
1. LỜI MỞ ĐẦU: 3
2. NỘI DUNG 5
2.1. Mở đầu. 5
2.1.1. Chương Trình logic. 5
2.1.2. Nguyên lí Điểm bất động. 6
2.2. Khai báo ngữ nghĩa: 7
2.2.1. Mô hình trạng thái ngữ nghĩa: 7
2.2.2. Ngữ nghĩa Điểm bất động : 10
2.3. Ngữ nghĩa thủ tục: 13
2.4. Kết luận 19
Lời cảm ơn : 21
Tài liệu tham khảo: 21