VNU-HUS MAT3508: Nhập môn Trí tuệ nhân tạo

Đây là trang web cho môn “Nhập môn Trí tuệ nhân tạo (VNU-HUS MAT3508)” tôi tham gia giảng dạy ở Đại học KHTN, ĐHQG Hà Nội trong Học kỳ 1 năm học 2026-2027.

Thông báo

Thi giữa kỳ (dự kiến): 28/10/2026 (Thứ Tư), 07:00 -- 10:40 (4 nhóm), Phòng 508-T5.

  • 10/10/2026:
    • Cập nhật học liệu Tuần 5–7, gồm slide bài giảng, thảo luận và các liên kết chuẩn bị cho tuần tiếp theo.
    • Bổ sung liên kết nhận bài Classroom50 Tuần 5 và Tuần 6 trong bảng bài giảng, bài tập.
  • 09/10/2026:
    • Bảng topic tạm thời được archive, chỉ đọc; tạm ngừng tạo issue, chỉnh sửa và bình luận, kể cả FINAL SUBMISSION. Bảng sẽ được mở lại gần hạn nộp; chưa công bố ngày mở lại cụ thể. Các nhóm tiếp tục làm việc trong repository bài làm hiện có. Hạn nộp vẫn là 23:59 ngày 22/11/2026 (ICT, UTC+7); danh sách nhóm và lịch thuyết trình không đổi. Khi bảng mở lại, nộp theo quy trình bình luận trong issue cũ.
  • 08/10/2026:
    • Đã đóng đăng ký mini-project. Hạn chốt cuối cùng là 23:59 ngày 07/10/2026 (ICT, UTC+7). Quy trình FINAL SUBMISSION trong issue cũ được giữ nguyên, nhưng hiện tạm dừng theo thông báo ngày 09/10; không tiếp nhận đăng ký mới hoặc thay đổi danh sách nhóm. Danh sách cuối cùng gồm 20 nhóm thay thế các danh sách trước; áp dụng các mốc hoàn thành và lịch thuyết trình mới. Sau khi hết thời gian tạm khóa, bình luận nộp cuối được thực hiện trong issue đã có; làm theo quy trình nộp bài ban đầu đã được khôi phục.
    • Cập nhật mốc mini-project: hoàn thành và nộp sản phẩm trước 23:59 ngày 22/11/2026 (ICT, UTC+7) (hạn nộp cũ: 23:59 ngày 04/11/2026). Thuyết trình từ 25/11 đến 16/12/2026 (ngày bắt đầu dự kiến cũ: 06/11/2026), kết thúc lúc 10:40 ngày 16/12. Xem lịch cụ thể của 20 nhóm và quy định hoán đổi ca khi hai nhóm đồng ý, có xác nhận của giảng viên.
  • 29/09/2026:

Các thông tin cơ bản

  • Trường: Đại học KHTN, ĐHQG Hà Nội
  • Mã học phần: MAT3508
  • Mã lớp học phần: MAT3508 1, 2, 3, 4
  • Lớp: K69A5
  • Số tín chỉ: 3
  • Thời gian: Học kỳ 1 năm học 2026-2027
    • Lý thuyết: Thứ 6, 14:50 – 16:40 (Tiết 9–10), Phòng 502-T3
    • Bài tập, thực hành phòng máy: Thứ 4, Phòng 508-T5
      • MAT3508 1: 07:00 – 08:45 (Tiết 1–2)
      • MAT3508 2: 07:00 – 08:45 (Tiết 1–2)
      • MAT3508 3: 08:50 – 10:40 (Tiết 3–4)
      • MAT3508 4: 08:50 – 10:40 (Tiết 3–4)
  • Giảng viên:
    • Lý thuyết: Hoàng Anh Đức (Đại học KHTN, ĐHQG Hà Nội, hoanganhduc[at]hus.edu.vn (thay [at] bằng @), GitHub Username: hoanganhduc)
    • Bài tập, thực hành phòng máy:
      • MAT3508 1 và MAT3508 3: Hoàng Anh Đức (Đại học KHTN, ĐHQG Hà Nội, hoanganhduc[at]hus.edu.vn (thay [at] bằng @), GitHub Username: hoanganhduc)
      • MAT3508 2 và MAT3508 4: Lê Huy Hùng (Đại học KHTN, ĐHQG Hà Nội, lehuyhung94[at]gmail.com (thay [at] bằng @), GitHub Username: HuyHung0)
  • Nội dung: Học phần trang bị cho người học kiến thức về tri thức và thể hiện tri thức, cùng các kĩ thuật lập luận trên tri thức. Một số hệ thống trí tuệ nhân tạo được giới thiệu dưới dạng các hệ thống chuyên gia. Qua hệ thống đó, sinh viên thử nghiệm trên ngôn ngữ lập trình trí tuệ nhân tạo, hoặc thực hành với hệ thống mã nguồn mở, để thiết kế và xây dựng hệ thống xử lí tri thức.
  • Google Classroom và Classroom50:
    • Sinh viên phải đăng nhập bằng tài khoản Google, tốt nhất là tài khoản email HUS, và điền form đăng ký để cung cấp thông tin cần thiết cho việc tham gia môn học trên Google Classroom và Classroom50.
  • Kiểm tra, đánh giá:

Giáo trình, tài liệu tham khảo

Tài liệu từ các năm trước

  • Học kỳ 1, năm học 2025-2026: MAT3508
  • Học kỳ 1, năm học 2024-2025: MAT3508

Bài giảng, bài tập

Chú ý: Một phần nội dung bài giảng dựa trên các slides của GS. Wolfgang Ertel sử dụng trong các bài giảng ở Đại học Hochschule Ravensburg-Weingarten, Đức. Nội dung bài giảng được viết bằng tiếng Anh và do đó các mô tả sẽ để tiếng Anh.

Mini-project timeline: Students work from Week 0 until the common completion/submission deadline, November 22, 2026 at 23:59 ICT (UTC+7) (previous submission deadline: November 4, 2026 at 23:59). During Weeks 8–11, students may use both theory and exercise/lab class time to discuss and work on their mini-projects. The confirmed presentations run from November 25 to December 16, 2026.

Week Course activities Preparation for next week
0 Theory: Preliminaries
Exercise, Lab: Help students set up for the course
Classroom50: Week 0A — Individual Git and Classroom50 Practice; Week 0B — GitHub Collaboration Practice		 Introduction; Introduction: In-class Discussion
Chapter 1 of the textbook
1 Theory: Introduction: In-class Discussion; Introduction
Exercise, Lab: Exercises in Chapter 1 of the textbook
Classroom50: Week 1 — Introduction: Exercise 1.1		 Propositional Logic; Propositional Logic: In-class Discussion
Chapter 2 of the textbook
2 Theory: Propositional Logic: In-class Discussion; Propositional Logic
Exercise, Lab: Exercises in Chapter 2 of the textbook
Classroom50: Week 2 — Propositional Logic: Exercise 2.5		 First-order Predicate Logic; First-order Predicate Logic: In-class Discussion
Chapter 3 of the textbook
3 Theory: First-order Predicate Logic: In-class Discussion; First-order Predicate Logic
Exercise, Lab: Exercises in Chapter 3 of the textbook
Sample code for Chapter 3
Classroom50: Week 3 — First-Order Predicate Logic: Exercise 3.9		 Limitations of Logic; Limitations of Logic: In-class Discussion
Chapter 4 of the textbook
4 Theory: Limitations of Logic: In-class Discussion; Limitations of Logic
Exercise, Lab: Exercises in Chapter 4 of the textbook
Classroom50: Week 4 — Limitations of Logic: corrected Exercise 4.3		 Logic Programming with PROLOG; Logic Programming with PROLOG: In-class Discussion
Chapter 5 of the textbook
5 Theory: Logic Programming with PROLOG: In-class Discussion; Logic Programming with PROLOG
Exercise, Lab: Exercises in Chapter 5 of the textbook
Sample code for Chapter 5
Classroom50: Week 5 — Logic Programming with PROLOG: Exercises 5.2, 5.3, 5.5, 5.8		 Search, Games, and Problem Solving; Search, Games, and Problem Solving: In-class Discussion
Chapter 6 of the textbook
Prof. Ertel’s lectures: Introduction; Uninformed Search; Heuristic Search; Games with Opponents
6 Theory: Search, Games, and Problem Solving: In-class Discussion; Search, Games, and Problem Solving
Exercise, Lab: Exercises in Chapter 6 of the textbook
Classroom50: Week 6 — Search, Games and Problem Solving: Exercises 6.6 and 6.12		 Reasoning with Uncertainty; Reasoning with Uncertainty: In-class Discussion
Chapter 7 of the textbook
Prof. Ertel’s lectures: Computing with Probabilities; Maximum Entropy; LEXMED; Bayesian Networks
7 Theory: Reasoning with Uncertainty: In-class Discussion; Reasoning with Uncertainty
Exercise, Lab: Exercises in Chapter 7 of the textbook		  
8–11 Students may use both theory and exercise/lab class time to discuss and work on their mini-projects.  
12 onward (see dates) Complete and submit the mini-project by November 22, 2026 at 23:59. Presentations and evaluations: November 25 – December 16, 2026, according to the confirmed schedule.  

Kiểm tra, đánh giá

  • Giữa kỳ (dự kiến): 28/10/2026 (Thứ Tư), 07:00 – 10:40 (4 nhóm), Phòng 508-T5.

Các mốc mini-project cuối kỳ (ICT, UTC+7):

Các mốc thời gian và deadlines áp dụng theo website môn học, không theo hướng dẫn nộp bài ban đầu. Các phần khác vẫn thực hiện theo hướng dẫn nộp bài đã đăng.

  • Hoàn thành và nộp sản phẩm: 23:59 ngày 22/11/2026 (hạn nộp cũ: 23:59 ngày 04/11/2026).
  • Thuyết trình: từ 25/11 đến 16/12/2026 (ngày bắt đầu dự kiến cũ: 06/11/2026); kết thúc đánh giá lúc 10:40 ngày 16/12, hết tiết 4.

Lịch chi tiết theo ngày, tiết, phòng và Group. Mỗi nhóm một tiết, gồm minh họa sản phẩm và hỏi đáp. Hai nhóm cùng môn chỉ được hoán đổi ca khi cả hai đồng ý và giảng viên xác nhận; không thay đổi hạn nộp chung.

Lịch sử các thông báo