Sách

Đời sống - Gia đình Bí quyết dành cho phụ nữ Cẩm nang nuôi dạy trẻ Hạnh phúc gia đình Làm đẹp Làm vườn - Vật nuôi - Nông lâm nghiệp Mang thai & Nuôi con mới sinh & chăm sản phụ Nữ công gia chánh - Thực dưỡng Tâm lý - Giới tính Thể dục - Thể thao Giáo khoa - Giáo trình - Sách tham khảo Giáo trình Cao đẳng - Đại học Luyện thi Cao đẳng - Đại học SÁCH GIÁO KHOA BỘ Sách giáo khoa cấp I Sách giáo khoa cấp II Sách giáo khoa cấp III Tham khảo cấp I Tham khảo cấp II Tham khảo cấp III Ngoại ngữ - Từ điển Tiếng Anh Tiếng Hàn Tiếng Nhật Tiếng Pháp Tiếng Trung Tiếng Việt - Ngoại ngữ khác Từ điển Ngoại văn Children books Cooking - Science - Social - Economic Literature & Fiction Sách Chuyên ngành Khoa học kỹ thuật - Công nghệ Khoa học thường thức Khoa học tự nhiên Khoa học xã hội Ngoại giao - Vấn đề quốc tế Pháp luật - Văn bản hướng dẫn thi hành Luật Phong thủy - Kinh dịch - Nhân tướng học Tin học - CNTT Tôn giáo - Tín ngưỡng - Tâm Linh Triết - Chính trị - Quân sự - Nhà nước Xây dựng - Kiến trúc Y học - Sức khỏe Sách dành cho Thiếu nhi Kiến thức - Kỹ năng dành cho bé Sách tô màu thiếu nhi Truyện kể cho bé - Đồng thoại Truyện tranh Sách dành cho Thiếu niên - Tuổi mới lớn Kiến thức - Kỹ năng dành cho thiếu niên Manga - Comics Tủ sách teen Sách Kinh tế Đầu tư - Chứng khoán Kế toán - Kiểm toán Khởi nghiệp - Làm giàu Kinh tế học Nghệ thuật lãnh đạo - Nhân sự PR - Marketing - Sales - Brand Quản trị kinh doanh Tài chính - Ngân hàng Sách Rèn luyện bản thân Bài học thành công Bí quyết - Kĩ năng - Cẩm nang - Hướng nghiệp Nghệ thuật sống - Truyền cảm hứng Sách song ngữ Sách tô màu người lớn Văn hóa - Nghệ thuật - Du lịch Âm nhạc Danh nhân - Tác giả - Hồi ký - Tiểu sử - Tự truyện Lịch sử - Địa lý Mỹ thuật - Điện ảnh - Sân khấu - Nhiếp ảnh Phóng sự - Ký sự - Bút ký - Tùy bút - Truyện ký - Tạp bút - Ghi chép Văn hóa - Du lịch Văn học Tác phẩm kinh điển Thơ - Bình thơ - Nghiên cứu - Tiểu luận - Phê bình văn học Toàn tập - Tuyển tập - Hợp tuyển thơ văn - Biên khảo Truyện Chương hồi - Kiếm hiệp Truyện cười - Truyện tiếu lâm - Truyện dân gian - Truyện trào phúng Truyện dài - Tiểu thuyết Truyện ngôn tình - Light Novel Truyện Thần thoại - Dã sử - Truyền kỳ - Huyền bí - Giả tưởng Truyện trinh thám - kinh dị - điều tra - vụ án Truyện vừa - Truyện ngắn - Tản văn

 

THƯ VIỆN ẢNH

> <

ẢNH MINH KHAI

> <

BẢN TIN MINH KHAI

WEBSITE LIÊN KẾT







 

TÌM KIẾM

Sách > Tin học - CNTT

Lập Trình Lôgic Trong Prolog (Hết hàng)
PHAN HUY KHÁNH(Tác giả)

Thể loại: Tin học - CNTT
ISBN: 122474
Xuất bản: 10/2004
Trọng lượng: 310 gr
NXB: Đại học quốc gia Hà Nội
Số trang: 256 Trang-Kích thước 16x24
Giá bán: 28,000 đ

Prolog là ngôn ngữ lập trình lôgic (Programming in logic) do GS A.Colmerauer đưa ra lần đầu tiên vào năm 1972 tại trường Đại học Marseille, Pháp. Đến năm 1980, Prolog nhanh chóng được áp dụng rộng rãi, được người Nhật chọn làm ngôn ngữ phát triển máy tính thế hệ 5. Prolog đã được cài đặt trên hầu hết các dòng máy tính Unix/Linux, Macintosh, Windows.
Cuốn sách này nhằm cung cấp cơ sở lý thuyết và những phương pháp lập trình cơ bản nhất của môn học "Lập trình lôgic" (Programming in logic). Người đọc sẽ được làm quen với một số kỹ thuật lập trình lôgic được ứng dụng tương đối phổ biến và chủ yếu trong lĩnh vực trí tuệ nhân tạo như công nghệ xử lý tri thức, máy học, hệ chuyên gia, xử lý ngôn ngữ tự nhiên, trò chơi, v.v...
Cuốn sách gồm 5 chương, tác giả cố gắng đưa vào nhiều ví dụ minh họa. Nội dung các chương như sau:
  • Chương 1: Giới thiệu ngôn ngữ lập trình Prolog. Người đọc được làm quen với các kiểu dữ liệu của Prolog, khái niệm luật, sự kiện đích và viết được các chương trình Prolog đơn giản.
  • Chương 2: Trình bày các mức nghĩa khác nhau của một chương trình Prolog: nghĩa lôgic, nghĩa khai báo và nghĩa thủ tục, cách Prolog trả lời các câu hỏi, cách Prolog làm thỏa mãn các đích.
  • Chương 3: Trình bày các phép toán số học, phép so sánh các đối tượng và định nghĩa các hàm sử dụng phép đệ quy trong Prolog.
  • Chương 4: Trình bày cấu trúc danh sách và các phép xử lý cơ bản trên danh sách của Prolog.
  • Chương 5: Trình bày kỹ thuật lập trình nâng cao với cấu trúc danh sách và các phép xử lý cơ bản trên danh sách của Prolog.
    Phần phụ lục giới thiệu ngôn ngữ lập trình SWI-Prolog, hướng dẫn cách cài đặt sử dụng phần mềm này và một số chương trình ví dụ tiêu biểu viết trong SWI -Prolog đã chạy có kết quả.
    Xin giới thiệu cuốn sách cùng bạn.




  • Copyright @1999-2020 MINHKHAI.VN All rights Reserved.
    Công Ty TNHH Minh Khai S.G (Nhà sách Minh Khai)
    249 Nguyễn Thị Minh Khai, F. Nguyễn Cư Trinh, Q.1, Tp. Hồ Chí Minh
    Giấy chứng nhận đăng ký kinh doanh số: 4102019159
    Mã số doanh nghiệp 0303209716 - Đăng ký thay đổi lần 6 ngày 30/07/2010
    Ðiện Thoại (028)39250590 - (028)39250591 -Fax: (028)39257837
    Website: minhkhai.com.vn
    E-mail: [email protected]