Toán học rời rạc ứng dụng trong tin học

Toán học rời rạc ứng dụng trong tin học là một giáo trình về Toán học rời rạc, được dịch từ cuốn “Discrete Mathematics and Its Applications” của Kenneth H. Rosen, xuất bản năm 1994. Sách được xuất bản tại Hà Nội vào năm 2000 bởi Nhà xuất bản Khoa học và Kỹ thuật.

Tài liệu này giới thiệu các kiến thức cơ bản về logic, tập hợp và hàm, cũng như các ứng dụng của chúng trong tin học. Cụ thể:

• Chương 1: Các kiến thức cơ sở: Logic, Tập hợp và Hàm
  • Logic:
    • Giới thiệu khái niệm mệnh đề (câu đúng hoặc sai, không thể vừa đúng vừa sai).
    • Các toán tử logic cơ bản: phủ định (¬), hội (∧), tuyển (∨), tuyển loại (⊕), kéo theo (→), và tương đương (↔).
    • Bảng giá trị chân lý của các toán tử logic.
    • Ứng dụng của logic trong thiết kế mạng máy tính và xây dựng chương trình.
    • Các phép toán logic và các phép toán bit (biểu diễn đúng bằng 1, sai bằng 0).
    • Các phép toán bit trên xâu bit (OR bit, AND bit, XOR bit).
  • Sự tương đương của các mệnh đề:
    • Khái niệm hằng đúng (tautology), mâu thuẫn (contradiction), và tiếp liên (contingency).
    • Định nghĩa tương đương logic (hai mệnh đề p và q tương đương logic nếu p ↔ q là hằng đúng).
    • Giới thiệu các luật tương đương logic quan trọng như Luật De Morgan, Luật kết hợp, Luật giao hoán, Luật phân phối, Luật lũy đẳng, Luật phủ định kép, Luật đồng nhất, Luật nuốt.
  • Vị ngữ và lượng từ:
    • Khái niệm hàm mệnh đề (câu chứa biến, có giá trị chân lý khi biến được gán giá trị cụ thể).
    • Giới thiệu hai loại lượng từ: lượng từ phổ dụng (∀ – “với mọi”) và lượng từ tồn tại (∃ – “tồn tại”).
    • Cách biểu diễn các câu thông thường thành biểu thức logic sử dụng vị ngữ và lượng từ.
    • Thảo luận về thứ tự của các lượng từ và ý nghĩa của chúng khi có nhiều biến.
    • Ứng dụng trong việc định nghĩa các khái niệm toán học (ví dụ: giới hạn).
    • Phủ định của các biểu thức chứa lượng từ.

Tóm lại, giáo trình này cung cấp một nền tảng vững chắc về toán học rời rạc, đặc biệt là logic và các khái niệm liên quan, với nhiều ví dụ minh họa và bài tập thực hành, hướng tới ứng dụng trong tin học.