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
Link tải Free download cho anh em Ket-noi:
V_L0_00783_Noi_dung.pdf

---