Học phần "Toán rời rạc ứng dụng cho tin học" bao gồm các nội dung chính sau: Các phép toán suy diễn, các phương pháp chứng minh; các thuật toán tìm kiếm trên đồ thị, đồ thị Euler và đồ thị Hamilton, tím đường đi ngắn nhất trên đồ thị; ngôn ngữ chính quy, automat hữu hạn, văn phạm phi ngữ cảnh và automat đẩy xuống. Mời các bạn cùng tham khảo!

Bài giảng Toán học rời rạc trình bày những kiến thức cơ bản như: Logic mệnh đề, phương pháp chứng minh, quy nạp, đồ thị, cây, tô màu, ghép cặp, đếm, hàm sinh, truy hồi, và ứng dụng.

Bài giảng Toán rời rạc chương 1 giới thiệu lý thuyết tổ hợp, những kiến thức cơ bản về lý thuyết tổ hợp, tập hợp, các phép toán và phương pháp chứng minh toán học.

Chương 2 về bài toán đếm, bao gồm nguyên lý cộng, nhân, bù trừ; ví dụ về xếp người, số không chia hết; bài toán Lucas, bổ đề đếm phần tử trên đường.

Chương 3 giới thiệu bài toán tồn tại, phân biệt với bài toán đếm. Trình bày các ví dụ (36 sĩ quan, 4 màu, lục giác thần bí), phương pháp giải (chứng minh trực tiếp, phản chứng), và nguyên lý Dirichlet.

Bài giảng chương 4 về bài toán liệt kê, bao gồm thuật toán, độ phức tạp, phương pháp sinh (hoán vị); đảm bảo không lặp, không sót cấu hình kèm ví dụ minh họa.

Bài giảng chương 1 giới thiệu cơ sở logic gồm có vị từ, lượng từ, quy tắc suy luận, phương pháp chứng minh và nguyên lý quy nạp.

Bài giảng chương 2 trình bày về tập hợp (định nghĩa, phép toán, quan hệ) và ánh xạ (định nghĩa, các loại, ánh xạ ngược).

Bài giảng chương 3 trình bày về quan hệ hai ngôi, tính chất (phản xạ, đối xứng, bắc cầu), quan hệ tương đương, thứ tự.

Bài giảng chương 4 giới thiệu về Hàm Boole, đại số Boole, các phép toán (AND, OR, NOT), bảng chân trị, và dạng nối rời chính tắc. Mục tiêu: nền tảng vững chắc.

Bài giảng chương 5 trình bày về Đại cương về đồ thị, bao gồm khái niệm, phân loại đồ thị (vô hướng, có hướng) và thuật ngữ.

Nội dung chương 6 trình bày về đường đi, chu trình, và tính liên thông trên đồ thị, các khái niệm và ví dụ minh họa.