Đâ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.
hoanganhduc[at]hus.edu.vn (thay [at] bằng @), GitHub Username: hoanganhduc)hoanganhduc[at]hus.edu.vn (thay [at] bằng @), GitHub Username: hoanganhduc)lehuyhung94[at]gmail.com (thay [at] bằng @), GitHub Username: HuyHung0)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 on their mini-projects throughout Weeks 0–9, starting in Week 0. During Weeks 8–9, students may use both theory and exercise/lab class time to discuss and work on their mini-projects.
| 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: 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 | Students may use both theory and exercise/lab class time to discuss and work on their mini-projects. | |
| 10–14 | Mini-project presentations and evaluations. |