TÊN CHỦ ĐỀ BÁO CÁO cáo báo cáo Chương 2. Đại cương về đồ thị và cây 2.2. Biểu diễn đồ thị 2.2.1. Danh sách kề 3 Nhóm 1 2.2.2. Ma trận kề 2.2.3. Ma trận trọng số 2.3. Đẳng cấu Chương 3. Các bài toán về đồ thị và cây 3.1. Các khái niệm 3.1.1. Đường đi Nhóm 2 3.1.2. Chu trình 4 3.1.3. Đồ thị liên thông 3.2. Giải thuật kiểm tra tính liên thông của đồ thị 3.3. Đồ thị Euler và đồ thị Hamilton 3.3.1 Đồ thị Euler 3.3.2 Thuật toán Fleury tìm chu trình Euler 5 Nhóm 3 3.3.3. Định nghĩa 3.3.4. Các định lý 3.3.5. Qui tắc tìm chu trình Hamilton 3.4. Bài toán đường đi ngắn nhất Nhóm 4 3.4.1. Bài toán 6 3.4.2. Thuật toán tìm đường đi ngắn nhất Dijkstra
Nhóm 5 F3.4.3. Thuật toán tìm đường đi ngắn nhất Floyd 6
3.5. Cây khung 3.5.1. Bài toán Nhóm 6 7 3.5.2. Các thuật toán tìm cây khung Chương 4. Cơ sở logic 4.1. Phép tính mệnh đề 4.1.1. Mệnh đề 8 Nhóm 7 4.1.2. Các phép nối 4.2. Dạng mệnh đề 4.2.1. Dạng mệnh đề tương đương logic 4.2.2. Các quy tắc thay thế 4.3. Qui tắc suy diễn 4.3.1. Qui tắc Modus Ponens 4.3.2. Qui tắc Modus Tollens Nhóm 8 4.3.3. Tam đoạn luận 4.3.4. Tam đoạn luận rời 9 4.3.5. Qui tắc mâu thuẫn 4.3.6. Qui tắc chứng minh theo trường hợp 4.4. Vị từ và lượng từ 4.4.1. Vị từ 4.4.2. Lượng từ Nhóm 9 4.4.3. Qui tắc đặc biệt hoá phổ dụng 10 4.4.4. Qui tắc tổng quát hoá phổ dụng 4.5. Nguyên lý quy nạp
Chương 5. Phương pháp đếm
5.1. Phép đếm 5.1.1. Lực lượng Nhóm 10 5.1.2. Các nguyên lý 11 5.2. Giải tích tổ hợp 5.2.1. Chỉnh hợp lặp 5.2.2. Tổ hợp lặp
Nhóm 11 5.3. Công thức truy hồi 12
Chương 6. Quan hệ 6.1. Quan hệ hai ngôi Nhóm 12 6.1.1. Định nghĩa 13 6.1.2. Các tính chất 6.1.3. Biểu diễn quan hệ 6.2. Quan hệ tương đương Nhóm 13 6.2.1. Định nghĩa 13 6.2.2. Lớp tương đương 6.3. Quan hệ thứ tự 6.3.1. Định nghĩa Nhóm 14 14 6.3.2. Biểu đồ Hasse