TAILIEUCHUNG - Đề cương môn học THNNLT (First draft) PHẦN I: PROLOG

Sinh viên cần nắm các nội dung sau: Cách biểu diễn một danh sách. Các thao tác trên danh sách . quan hệ last(Item, List) biểu diễn quan hệ Item là phần tử . | Đề cương môn học THNNLT (First draft) PHẦN I: PROLOG Tiết 1: GIỚI THIỆU NGÔN NGỮ LẬP TRÌNH PROLOG (lý thuyết) Tiết 2: Giới thiệu tổng quan về PROLOG Sinh viên cần nắm được các nội dung sau: • Môi trường làm việc của PROLOG • Cách định nghĩa vấn đề trong PROLOG: vị từ • Cách biểu diễn vấn đề trong PROLOG: các sự kiện, luật • Các chương trình ví dụ • Cách đặt câu hỏi và nhận câu trả lời trong PROLOG • Phân biệt Goal nội và goal ngoại Bài tập / bài thực hành: 1/ Làm quen với môi trường làm việc của PROLOG 2/Định nghĩa một số khái niệm, sự kiện và luật trong PROLOG: a/Socrates là người. Socrates là người Hy Lạp. Aristottle là người. Xeda là người. Xeda là vua. John là vua của nước Pháp. b/John likes Mary. Mary likes John. Joe likes fish. Joe likes Mary. Mary likes book. John likes book. Mary is female. c/ Xây dựng quan hệ gia đình(parent, child, grandparent, aunt) theo sơ đồ sau: - pam tom + Ghi chú: +:nam + - -:nữ bob liz - + ann pat + jim d/Nếu có mưa thì tôi sẽ sử dụng dù. Nếu X là người thì X sẽ chết. X là chim nếu X là sinh vật(aninal) và X có lông vũ. X là chị(em gái) của Y nếu X là phụ nữ và X và Y có cùng cha mẹ. X là ông của Y nếu cha của Y là Z và cha của Z là X (X, Z đều là nam) 3/Đặt câu hỏi và nhận câu trả lời. a/Socrates có phải là người Hy Lạp không? Aristotle có phải là người Hy Lạp không? Socrates có phải là người Việt Nam không? Ai chết? Ai là vua? Socrates có chết không? b/Does John like Mary? What does John like? Is there an object that likes Mary? Is there anything that John and Mary both like? c/ Ai là cha của Pat? Mẹ của Bob là ai? Ai là ông của Pat? Ai là chị(em gái) của Pat? Ai là con của Tom? atom Tiết 3: Cú pháp và ngữ nghĩa của các chương trình PROLOG Sinh viên cần nắm các nội dung sau: • Các đối tượng dữ liệu: atom, numbers, variables, structes • Phép so trùng(matching) • Ý nghĩa của các khai báo trong Prolog • Prolog trả lời các câu hỏi như thế nào Bài tập / bài thực hành: 1/Trong những đối tượng sau, đối tượng nào đúng theo ngữ pháp .

• Sân khấu điện ảnh
• tin học
• công nghệ thông tin
• ngôn ngữ lập trình Prolog
• Prolog
• Bài giảng Tin học 6 bài 1
• Bài giảng môn Tin học lớp 6
• Bài giảng điện tử Tin học 6
• Bài giảng điện tử lớp 6
• Thông tin và tin học
• Hoạt động thông tin và tin học
• Nhiệm vụ chính của tin học
• Thông tin là gì
• tin học trong hoạt động thông tin thư viên
• bài giảng tin học trong hoạt động thông tin thư viên
• tài liệu tin học trong hoạt động thông tin thư viên
• giáo trình tin học trong hoạt động thông tin thư viên
• đề cương tin học trong hoạt động thông tin thư viên
• Bài giảng Tin học 6 bài 2
• Bài giảng lớp 6 môn Tin học
• Thông tin và biểu diễn thông tin
• Biểu diễn thông tin trong máy tính
• Các dạng thông tin trong tin học
• Hoạt động thông tin là gì
• Bài giảng Tin học đại cương
• Tin học đại cương
• Tin học căn bản
• Khái niệm thông tin
• Biểu diễn thông tin
• Xử lý thông tin
• Máy tính điện tử
• Tin học và công nghệ thông tin
• Vai trò của Tin học
• Vai trò của công nghệ thông tin
• Phân biệt Tin học – Công nghệ thông tin
• Giáo án Tin học 6 bài 2
• Giáo án điện tử Tin học 6
• Giáo án lớp 6 môn Tin học
• Giáo án điện tử lớp 6
• Đề thi học sinh giỏi Tin học 8
• Đề thi HSG môn Tin học lớp 8
• Đề thi học sinh giỏi môn Tin
• Đề thi học sinh giỏi Tin học
• Đề thi học sinh giỏi lớp 8
• Đề thi học sinh giỏi môn Tin học
• Ôn thi Tin học
• Bài tập Tin học
• Luyện thi HSG Tin học 8
• Đề thi HSG cấp huyện Tin học 8
• Đề thi học sinh giỏi môn Tin học cấp huyện
• Đề kiểm tra 1 tiết Tin học 6
• Đề kiểm tra 1 tiết môn Tin lớp 6
• Kiểm tra Tin học lớp 6
• Thực hành tin học lớp 6
• Ôn tập Tin Học 6
• Đề kiểm tra giữa kì môn Tin 6
• Đề kiểm tra 1 tiết HK1 môn Tin học 6
• Đề kiểm tra 1 tiết HK2 môn Tin học 6
• Đề thi giữa kì Tin học lớp 6
• Giáo án Tin học 6 bài 1
• Giáo án môn Tin học lớp 6
• Đề thi học kỳ 1 Tin học 11
• Đề thi HK1 Tin học 11
• Đề thi môn Tin học
• Đề thi HK1 môn Tin học lớp 11
• Kiểm tra HK1 Tin học 11
• Kiểm tra Tin học 11 cuối HK1
• Ôn tập Tin học 11
• Ôn thi Tin học 11