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

  • 01/09/2026:
    • Khởi tạo trang web.

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 máy
      • MAT3508 1: 07:00 – 08:45 (Tiết 1–2)
      • MAT3508 3: 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)
  • 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 cả tài khoản Google, tốt nhất là tài khoản email HUS, và tài khoản GitHub để điền form đăng ký và được thêm vào môn học trên cả 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.

Week Course activities Preparation for next week
0 Theory: Preliminaries
Exercise, Lab: Help students set up for the course
Introduction; Introduction: In-class Discussion
Chapter 1 of the textbook
1 Theory: In-class Discussion; Introduction
Exercise, Lab: Exercises in Chapter 1 of the textbook
Propositional Logic
Chapter 2 of the textbook
2 Theory: Discussion; Propositional Logic
Exercise, Lab: Exercises in Chapter 2 of the textbook
First-order Predicate Logic
Chapter 3 of the textbook
3 Theory: Discussion; First-order Predicate Logic
Exercise, Lab: Exercises in Chapter 3 of the textbook
Sample code for Chapter 3
Limitations of Logic
Chapter 4 of the textbook
4 Theory: Discussion; Limitations of Logic
Exercise, Lab: Exercises in Chapter 4 of the textbook
Logic Programming with PROLOG
Chapter 5 of the textbook
5 Theory: Discussion; Logic Programming with PROLOG
Exercise, Lab: Exercises in Chapter 5 of the textbook
Sample code for Chapter 5
Search, Games, and Problem Solving
Chapter 6 of the textbook
Prof. Ertel’s lectures: Introduction; Uninformed Search; Heuristic Search; Games with Opponents
6 Theory: Discussion; Search, Games, and Problem Solving
Exercise, Lab: Exercises in Chapter 6 of the textbook
Reasoning with Uncertainty
Chapter 7 of the textbook
Prof. Ertel’s lectures: Computing with Probabilities; Maximum Entropy; LEXMED; Bayesian Networks
7 Theory: Discussion; Reasoning with Uncertainty
Exercise, Lab: Exercises in Chapter 7 of the textbook
 
8–9 In-class time is used for students to work on their mini-projects.  
10–14 Mini-project presentations and evaluations.  

Kiểm tra, đánh giá


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