Bản mẫu:Toán học rời rạc xtsToán học rời rạcCơ sở LogicLogic mệnh đề Mệnh đề Giá trị chân trị Phép toán trên mệnh đề Toán tử logic Biểu thức logic Luật logic Dạng chuẩn tắc tuyển Dạng chuẩn tắc hội Quy tắc suy diễn Logic vị từ Vị từ Phép toán trên vị từ Lượng từ Phương pháp chứng minh cơ bản Chứng minh trực tiếp Chứng minh phản chứng Chứng minh bằng cách chia trường hợp Phản ví dụ Phương pháp quy nạp Các phương pháp đếm Tập hợp Phép toán trên tập hợp Lực lượng của tập hợp Tích Decartes của các tập hợp Phép đếm Nguyên lí cộng Nguyên lí nhân Nguyên lí bù trừ Nguyên lí Dirichlet tổng quát Chỉnh hợp có lặp Tổ hợp lặp Hoán vị của tập hợp có lặp Sinh các hoán vị Sinh các tổ hợp Hệ thức truy hồi Quan hệ chia để trị Hệ thức chia để trị Quan hệ Quan hệ hai ngôi Quan hệ ngược Quan hệ hợp thành Quan hệ tương đương Quan hệ thứ tự Thuật toán Thuật toán Thuật toán tìm kiếm Thuật toán tìm kiếm tuyến tính Thuật toán tìm kiếm nhị phân Độ phức tạp của thuật toán Thuật toán đệ quy Đại số Boole Hàm Boole Biểu thức Boole Hằng đẳng thức của Đại số Boole Cổng logic Tổ hợp các cổng logic Tối thiểu hóa hàm Boole Phương pháp biến đổi đại số (Đại số Boole Phương pháp bảng Karnaugh Phương pháp Quine - Mc.Klushkey Lý thuyết đồ thị Đồ thị Đơn đồ thị Đồ thị đầy đủ Đồ thị vòng Đồ thị bánh xe Đồ thị lập phuơng Đồ thị hai phần Đa đồ thị Giả đồ thị Đồ thị có hướng Bậc của đỉnh đồ thị Biểu diễn đồ thị bằng ma trận Sự đẳng cấu đồ thị Đồ thị con Đồ thị bao trùm Thuật toán duyệt đồ thị Đường đi Đường đi Euler Đồ thị Euler Đường đi Hamilton Đồ thị Hamilton Chu số của đồ thị Sắc số của đồ thị Đồ thị phẳng Đồ thị không phẳng Tô màu đồ thị Cây và ứng dụng Cây Cây bao trùm của đồ thị Cây bao trùm nhỏ nhất Cây bao trùm lớn nhất Cây phân cấp Cây nhị phân Cây biểu thức Cây mã tiền tố Cây mã Huffman Thuật toán Huffman