TAILIEUCHUNG - Giáo trình Lập trình lôgic học - Tổng cục dạy nghề

Nội dung chính của giáo trình sẽ giúp cho các bạn nắm được các khái niệm cơ bản về kiểu lập trình logic, biết phân biệt các đặc trưng khác nhau cơ bản của lập trình logic và lập trình thủ tục, thực hiện giải các bài toán logic trong hệ cơ sở tri thức, nắm được các phương pháp thế, hợp giải, cơ chế đệ quy, quay lui và nắm được ngôn ngữ lập trình logic Prolog để giải các bài toán cụ thể. Mời các bạn tham khảo! | BỘ LAO ĐỘNG - THƯƠNG BINH VÀ XÃ HỘI TỔNG CỤC DẠY NGHỀ GIÁO TRÌNH LẬP TRÌNH LÔGIC MÃ MÔN HỌC ITPRG3-01 TRÌNH ĐỘ CAO ĐẲNG NGHỀ NĂM 2012 Tuyên bố bản quyền Tài liệu này thuộc loại sách giáo trình Cho nên các nguồn thông tin có thể được phép dùng nguyên bản hoặc trích dùng cho các mục đích về đào tạo và tham khảo . Mọi mục đích khác có ý đồ lệch lạc hoặc sử dụng với mục đích kinh doanh thiếu lành mạnh sẽ bị nghiêm cấm. Tổng Cục Dạy nghề sẽ làm mọi cách để bảo vệ bản quyền của mình. Tổng Cục Dạy Nghề cám ơn và hoan nghênh các thông tin giúp cho việc tu sửa và hoàn thiện tốt hơn tàI liệu này. Địa chỉ liên hệ Dự án giáo dục kỹ thuật và nghề nghiệp Tiểu Ban Phát triển Chương trình Học liệu . 2 LỜI TỰA Đây là tài liệu được xây dựng theo chương trình của dự án giáo dục kỹ thuật và dạy nghề để có đươc giáo trình này dự án đã tiến hành theo hai giai đoạn. Giai đoạn 1 Xây dựng chương trình theo phương pháp DACUM kết quả của gian đoạn này là bộ khung chương trình gồm 230 trang cấp độ 2 và 170 trang cấp độ 3. Giai đoạn 2 29 giáo trình và 29 tài liệu hướng dẫn giáo viên cho nghề lập trình máy tính 2 cấp độ. Để có được khung chương trình chúng tôi đã mời các giáo viên các chuyên gia đang làm việc trong lĩnh vực công nghệ thông tin cùng xây dựng chương trình. Trong giai đoạn viết giáo trình chúng tôi cũng đã có những sự điều chỉnh để giáo trình có tính thiết thực và phù hợp hơn với sự phát triển của lĩnh vực công nghệ thông tin. Tài liệu này được thiết kế theo từng mô đun môn học thuộc hệ thống mô đun môn học của một chương trình để đào tạo hoàn chỉnh nghề Lập trình máy tính ở cấp trình độ bậc cao và được dùng làm Giáo trình cho học viên trong các khoá đào tạo cũng có thể được sử dụng cho đào tạo ngắn hạn hoặc cho các công nhân kỹ thuật các nhà quản lý và người sử dụng nhân lực tham khảo. Đây là tài liệu thử nghiệm sẽ được hoàn chỉnh để trở thành giáo trình chính thức trong hệ thống dạy nghề. 3 GIỚI THIỆU VỀ MÔN HỌC Vị trí ý nghĩa vai trò môn học là mô học chuyên ngành bắt buộc. .

• Ngôn ngữ học
• Giáo trình Lập trình lôgic học
• Lập trình lôgic học
• Ngôn ngữ lập trình
• Bài toán lập trình
• Lập trình logic Prolog
• Lập trình hàm
• Lập trình lôgic
• Ngôn ngữ prolog
• Luật trong prolog
• Cấu trúc của prolog
• Prolog và logic toán học
• Lập trình logic trong prolog
• Kỹ thuật lập trình lôgic
• Công nghệ xử lý tri thức
• Xử lý ngôn ngữ tự nhiên
• Hệ chuyên gia tin học
• Phép xử lý cơ bản trên prolog
• Ngôn ngữ lập trình SWI prolog
• Kỹ thuật lập trình nâng cao prolog
• Trí tuệ nhân tạo
• Kỹ thuật lập trình nâng cao với prolog
• Môi trường lập trình
• Kỹ thuật lập trình
• Lập trình logic và ràng buộc
• Bài giảng Lập trình logic và ràng buộc
• Lược sử Prolog
• Cài đặt SWI Prolog
• Cài đặt SWI Prolog editor
• Phương pháp lập trình
• Ngôn ngữ lập trình prolog
• Bài giảng Trí tuệ nhân tạo
• Kiểu dữ liệu cấu trúc của Prolog
• Chương trình Prolog
• Cấu trúc danh sách
• Biễu diễn cấu trúc danh sách
• Vị từ xử lí danh sách
• Programming languages
• Lecture Programming languages
• Logic programming
• Logic programming in prolog
• Prolog program elements
• Nguyên lý ngôn ngữ lập trình
• Bài giảng Nguyên lý ngôn ngữ lập trình
• Ngôn ngữ lập trình logic
• Lập trình logic
• Ngôn ngữ Turbo ProLog
• Mệnh đề lập trình
• biểu thức logic các vị từ
• Programing Language
• kiểu dữ liệu số
• miền của số nguyên
• Practical aspects of prolog
• Symbolic differentiation
• luận văn
• công nghệ thông tin
• mẫu thiết kế
• Bài giảng Nhập môn trí tuệ nhân tạo
• Nhập môn trí tuệ nhân tạo
• Logic vị từ
• Biểu diễn tri thức
• Lập luận tiến
• Lập trình Prolog