Học phần này giới thiệu các ý tưởng và phương pháp cơ bản trong toán học rời rạc cũng như những công cụ toán học cần thiết trong ngành Tin học. Học phần minh họa tầm quan trọng của các khái niệm toán rời rạc đồng thời cung cấp các công cụ giải quyết vấn đề liên quan cho các chuyên gia tin học, đặc biệt chú trọng vào việc giải quyết vấn đề bằng phương pháp toán học. 

Học phần sẽ trang bị những kiến thức sau:

˗       Logic và các phương pháp chứng minh

˗       Những khái niệm, tính chất và các loại quan hệ

˗       Những khái niệm, tính chất và các loại đồ thị. Bài toán kinh điển đường đi Euler – đường đi Hamilton và thuật toán tìm đường đi ngắn nhất Dijkstra

˗       Những khái niệm, tính chất và các loại cây. Cây bao trùm và các thuật toán tìm kiếm cần thiết. 

˗       Cấu trúc đại số Boole và phương pháp cực tiểu hóa các hàm Boole