Dưới đây là một số ý kiến mà em rút ra được sau khi cơ bản học xong Môn Toán rời rạc và Lý thuyết đồ thị. Bài viết này không có chuẩn bị từ trước mà chỉ viết theo suy nghĩ tức thời. Mong mọi người nhẹ tay
Toán rời rạc (ở bậc Đại học) cung cấp kiến thức nền tảng về Logic và Chứng minh. Nghĩa là môn học sẽ phần nào giúp bạn suy nghĩ logic và “toán học” hơn.
Logic hay những quy tắc logic cho ta hiểu rõ “ý nghĩa (meaning)” của các mệnh đề toán học.
Ứng dụng thực tế của logic có thể kể đến việc thiết kế cấu trúc máy tính, trí tuệ nhân tạo, lập trình…
Để biết được tại sao một suy luận Toán học là đúng đắn thì ta cần một thứ khá quan trọng là Chứng minh.
Trong thực tế, việc chứng minh giúp ta xác minh được một chương trình máy tính có chạy đúng với mọi giá trị đầu vào hay không (output có chính xác không), để chỉ ra giải thuật của bạn là đúng, để củng cố sự bảo mật cho hệ thống, để phát triển trí tuệ nhân tạo.
Học Toán rời rạc thì bạn có thể tiếp cận dễ dàng hơn với:
- Giải thuật
- Mã hóa, giải mã
- Đồ thị
- …