Luận Văn Thạc Sĩ Nghiên Cứu Một Số Khía Cạnh Lý Thuyết Của Lập Trình Logic Và Lập Trình Logic Modal

Nghiên Cứu Một Số Khía Cạnh Lý Thuyết Của Lập Trình Logic Và Lập Trình Logic Modal ​

Giới thiệu về lập trình logic, các hướng mở rộng của lập trình logic. Hệ thống các nguyên lý cơ sở trong lập trình logic: đó là lý thuyết các mô hình, lý thuyết điểm bất động, thuật giải SLD. Trình bày ngôn ngữ Prolog trong mối quan hệ với lập trình logic. Giới thiệu về lập trình logic modal - mở rộng của lập trình logic cổ điển với việc thêm vào các toán tử modal. Lịch sử lập trình logic được bắt đầu từ logic ký hiệu (symbolic logic). Sau đó, logic vị từ cấp một ra đời trên cơ sở logic ký hiệu và là một nhánh nghiên cứu của logic ký hiệu. Logic vị từ cấp một đã trở thành nền tảng của lập trình logic và có những bước phát triển mạnh trong thế kỷ 20.

• Luận văn thạc sĩ
• Chuyên ngành Công nghệ thông tin
• Người hướng dẫn khoa học: PGS. TS. Hồ Thuần
• Tác giả: Đỗ Thanh Thủy
• Số trang: 75
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại học Quốc gia Hà Nội 2005

Link Download
http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1007759
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1