| Tin học -> Lập trình ứng dụng |
|
|
Tiêu đề: LẬP TRÌNH LOGIC TRONG PROLOG
Mã hàng: TH-LT01
Tác giả:
NXB:
Số trang:188
KT: 16x24 cm
TL: 190 g
Xuất bản:
2004
Giá bán: 28,000đ
Giá gốc:28,000đ
| |
XBOOK đơn giản chỉ là "ĐẶT MUA "
|
Khi nhấn vào nút ĐẶT MUA hệ thống sẽ giao tiếp với quý khách hướng dẫn:Thời gian nhận hàng, cách thanh toán, và nhận hóa đơn hoàn chỉnh nhất.
|
|
|
|
Prolog là ngôn ngữ lập trình logic( programming in logic) do GS A.Colmerauer đưa ra lần đầu tiên vào năm 1972 tại trường ĐH Maseille, Pháp. Đến năm 1980, prolog nhanh chóng được áp dụng rộng rãi, đựoc người Nhật chọn làm ngôn ngữ phát triển máy tính thế hệ 5. Prolog đã dược cài đặt trên hầu hết các dòng máy tính unix/lunix, Macintosh, Windows. Nguyên lý của prlog dựa trên phép suy diễn logic, liên quan đến những khái niệm toán học như phép hợp nhất herbran, hợp giả Robinson, logic vị từ bậc một,...Prolog rất thích hợp để giải quyết các bài toán liên quan tới các đối tượng và mối quan hệ giữa chúng. Prolog được ứng dụng chủ yếu trong lĩnh vực trí tuệ nhân tạo như công nghệ xử lý tri thức, hệ chuyên gia, máy móc, xử lý ngông ngữ, trò chơi,...Nội dung cuốn sách tập trung trình bầy cơ sở lý thuyết và những kỹ thuật lập trình cơ bản trong prolog, rất cần cho sinh viên các ngành tin học và các bạn đọc muốn tìm hiểu về kỹ thuật lập trình ứng dụng trong lĩnh vực trí tuệ nhân tạo. MỤC LỤC Lời nói đầu Chương 1: Mở đầu về ngôn ngữ Prolog Chương 2: Ngữ nghĩa của chương trình Prolog Chương3: Các phép toàn và số học Chương 4: Cấu trúc danh sách Chương 5: Kỹ thuật lập trình Prolog Phụ lục A: Một số chương trình Prolog Phụ lục B: Hướng dẫn sử dụng SWI-Prolog Tài liệu tham khảo Xin được giới thiệu tới bạn đọc!
| Gửi ý kiến của bạn về bài này: |
Lưu ý : Khi than gia đóng góp ý kiến, mỗi ý kiến nếu được hiển thị quý khách được hưởng 500đ vào tài khoản, để được hưởng điều kiện này, quý khách chỉ cần đăng ký thành viên và đăng nhập để có thể tích lũy tiền trong tài khoản điện tử tại XBOOK |
|
|
| CÙNG THỂ LOẠI |
Nhà xuất bản:
Tác giả:,
Giá:70,000đ
|
|
|
|
Nhà xuất bản:
Tác giả:,
Giá:70,000đ
|
|
|
|
Nhà xuất bản:
Tác giả:, ,
Giá:72,000đ
|
|
|
|
Nhà xuất bản:
Tác giả:
Giá:90,000đ
|
|
|
|
Nhà xuất bản:
Tác giả:,
Giá:72,000đ
|
|
|
|
Nhà xuất bản:
Tác giả:
Giá:54,000đ
|
|
|
|
Xem thêm
|
|
|
|
|
| Top ý kiến mới nhất |
yeu thich truyen helen kylo
Trong bài:
nguyen viet chinh 18h - 15/6/2012
helen kylo la mot nguoi vi dai ba da mang anh sang vinh hang cho tat ca ngug nguoi tan tat toi rat cam dong khi doc chuen ve co helen kylo
|
tim hieu
Trong bài:
nguyen van tinh 8h - 14/6/2012
tim hieu ve day cap thep
|
Sách cầm tìm
Trong bài:
Lê Phú Phong 22h - 13/6/2012
Chào bạn Bạn cho mình hỏi bạn có sách giáo trình tự học và bài tập có lời giải mastercam 9.0 không bạn nhỉ? Xin cảm ơn bạn nhìu nhé
|
Thuat Tuong So
Trong bài:
Nguyen Van Ngoc 8h - 13/6/2012
Rõ ràng, thuật tướng số từ lâu đã có sức lôi cuốn mạnh mẽ đối với nhiều người, nhiều giới trên một phạm vi hết sức rộng lớn. Dù muốn hay không, chúng ta cũng không thể phủ nhận đây là một hiện tượng văn hoá đã cắm rễ rất sâu vào đời sống con người. Và chúng ta cũng không thể phê phán nó một cách đơn giản, một chiều. Suy cho cùng, thuật tướng số giống như một thứ khoa học dự báo có pha chút thần bí duy tâm. Chính vì lẽ đó mà nó luôn là vấn đề nóng của xã hội suốt hàng ngàn năm nay.
|
Nhan Luan Dai Thong Phu
Trong bài:
Nguyen Van Ngoc 7h - 13/6/2012
day la sach co net tuong dong voi dien cam tam the,cuon sach rat co gia tri nhieu mat,vua xem tuong mao vua bat hinh dung,biet nguoi -biet minh,qua nhien huu dung huu muu.
|
tải nội dung
Trong bài:
trần thị ngọc sang 20h - 10/6/2012
quy hoach du lich vung bien
|
hoi dap nguyen li2
Trong bài:
nguyen van dong 8h - 9/6/2012
bieu hien cua gia tri thang du, quy luat gia tri thang du va gia tri hang hoa, quy luat gia tri trong 2 giai doan phat trien cua chu nghia tu ban
|
thuy nghiep
Trong bài:
mr 15h - 8/6/2012
tim hieu
|
|
|
|