VNU-HUS MAT3500: Toán rời rạc

---

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

• Trường: Đại học KHTN, ĐHQG Hà Nội
• Mã học phần: MAT3500
• Mã lớp học phần: MAT3500 2 (KHMT&TT)
• Số tín chỉ: 4
• Thời gian: Học kỳ 1 năm học 2024-2025
  • Lý thuyết: Thứ 5, 09:00 – 11:50 (Tiết 3-5), Phòng 107-T5
  • Bài tập: Thứ 3, 16:00 – 17:50 (Tiết 9–10), Phòng 105-T5
• Giảng viên (Lý thuyết + Bài tập): Hoàng Anh Đức (Đại học KHTN, ĐHQG Hà Nội, hoanganhduc[at]hus.edu.vn (thay [at] bằng @))
• Nội dung: Cung cấp các kiến thức toán học cơ sở cho ngành công nghệ thông tin bao gồm các cấu trúc toán học rời rạc và các nguyên lí toán học áp dụng cho các cấu trúc này (cơ sở của lô gíc toán học, lí thuyết tập hợp, hàm và quan hệ, lí thuyết số, lí thuyết đếm, lí thuyết đồ thị, phép tính xác suất, đại số Bool và mạch tổ hợp, ôtô mát, ngôn ngữ hình thức và khả năng tính toán)
• Trang web hỗ trợ: https://hoanganhduc.github.io/teaching/VNU-HUS/2024/winter/MAT3500-2/
• Canvas: BJYRBH
• Kiểm tra, đánh giá:
  • Phần tự học, tự nghiên cứu, bài tập: 20%
  • Thi giữa kỳ: 20%
  • Thi cuối kỳ: 60%

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

• Học liệu bắt buộc:
  • K. H. Rosen (2012), Discrete Mathematics and Its applications, 7th edition, Mc Graw-Hill, https://highered.mheducation.com/sites/0073383090 [Tài liệu giảng dạy chính]
    • Google Drive: bản tiếng Anh, bản dịch tiếng Việt phiên bản cũ (cần tài khoản với email đuôi @hus.edu.vn)
    • VNU-LIC: bản tiếng Anh 8th edition, bản dịch tiếng Việt phiên bản cũ, Student’s solutions guide (cần tài khoản VNU)
  • Tom Jenkyns, Ben Stephenson (2018), Fundamentals of Discrete Math for Computer Science: A Problem-Solving Primer, 2nd edition, Springer-Verlag London, doi:10.1007/978-3-319-70151-6
• Học liệu tham khảo thêm:
  • Nguyễn Hữu Điển (2019), Toán rời rạc và ứng dụng, NXB Đại học Quốc gia Hà Nội
    • Google Drive
  • Vũ Đình Hòa (2010), Toán rời rạc, NXB Đại học Sư Phạm Hà Nội
    • Bài giảng Toán rời rạc của cùng tác giả
  • Oscar Levin (2021), Discrete Mathematics: An Open Introduction, 3rd edition, https://discrete.openmathbooks.org/
  • Thomas VanDrunen (2013), Discrete Mathematics and Functional Programming, Franklin, Beedle and Associates, https://cs.wheaton.edu/~tvandrun/dmfp/
  • Harry Lewis and Rachel Zax (2019), Essential Discrete Mathematics for Computer Science, Princeton University Press
  • Mordechai Ben-Ari (2012), Mathematical Logic for Computer Science, 3rd edition, Springer, London, doi:10.1007/978-1-4471-4129-7
• Một số tài liệu khác
  • Math Study Tips, by Gary MacGillivray
  • Lời khuyên cho các sinh viên trong lớp Math 412, by Douglas B. West (Bản dịch tiếng Việt thực hiện bởi Hoàng Anh Đức)
    • 2024-05-27: Xem bản dịch khác của Nguyễn Trọng Đức, lớp K68A5 (KHDL), Đại học Khoa học Tự nhiên, ĐHQG Hà Nội.

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

• Học kỳ hè, năm học 2023-2024: MAT3500 1
• Học kỳ 2, năm học 2023-2024: MAT3500 1, MAT3500 2
• Học kỳ 2, năm học 2022-2023: MAT3500 2, MAT3500 3

Nội dung

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

• Chú ý: Một phần các bài giảng dựa trên các slides của Jan Stelovsky cho môn ICS141: Discrete Mathematics for Computer Science I ở Đại học Hawaii mùa thu năm 2011.

Chủ đề	Tài liệu	Ghi chú
Giới thiệu	slides
Lôgic và Chứng minh	slides	Chương 1, 1.1–1.5, 1.7 (Rosen)
Các cấu trúc cơ bản: Tập hợp, Hàm, Dãy, Tổng	slides, bài tập	Chương 2, 2.1–2.5 (Rosen)

Kiểm tra, đánh giá

---

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

---