Luận văn: | 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 : Luận văn ThS. Công nghệ thông tin: 1.01.10 |
Nhà xuất bản: | ĐHCN |
Ngày: | 2005 |
Chủ đề: | Công nghệ thông tin Lập trình Lập trình logic Lập trình logic modal |
Miêu tả: | 75 tr. + CD-ROM 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 Luận văn ThS. Công nghệ thông tin -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2005 Electronic Resources |
Kiểu: | text |
Định dạng: | text/pdf |
You must be registered for see links