tailieunhanh - Bài giảng Toán rời rạc 1 - Học viện Công nghệ Bưu chính Viễn thông

Bài giảng "Toán rời rạc 1" có cấu trúc gồm 5 chương trình bày các nội dung: Logic, tập hợp và ứng dụng; bài toán đếm; bài toán liệt kê; bài toán tối ưu; bài toán tồn tại. Cuối mỗi chương đều có các bài tập ôn tập giúp người học củng cố kiến thức. . | LỜI GIỚI THIỆU Toán rời rạc là lĩnh vực nghiên cứu và xử lý các đối tượng rời rạc. Toán rời rạc dùng để đếm quan sát và xử lý mối quan hệ giữa các đối tượng trong các tập hợp khác nhau. Bản chất tính toán trên máy tính là rời rạc. Chính vì vậy toán học rời rạc được xem là môn học kinh điển cho sinh viên các ngành Công nghệ thông tin và Điện tử Viễn thông. Tài liệu hướng dẫn môn học toán học rời rạc được xây dựng dựa trên cơ sở kinh nghiệm giảng dạy môn học và kế thừa những nội dung từ giáo trình Toán học rời rạc ứng dụng trong tin học của Kenneth Rossen. Tài liệu được trình bày thành hai phần Lý thuyết tổ hợp Toán rời rạc 1 và Lý thuyết đồ thị Toán rời rạc 2 . Phần I trình bày những kiến thức cơ bản về lý thuyết tổ hợp thông qua việc giải quyết bốn bài toán cơ bản đó là Bài toán đếm Bài toán tồn tại Bài toán liệt kê và Bài toán tối ưu. Phần II trình bày những kiến thức cơ bản về Lý thuyết đồ thị khái niệm định nghĩa các thuật toán trên đồ thị đồ thị Euler đồ thị Hamilton. Một số bài toán có ứng dụng thực tiễn quan trọng khác của lý thuyết đồ thị cũng được chú trọng giải quyết đó là Bài toán tô màu đồ thị Bài toán tìm đường đi ngăn nhất và Bài toán luồng cực đại trong mạng. Trong mỗi phần của tài liệu chúng tôi cố găng trình bày ngăn gọn trực tiếp vào bản chất của vấn đề. Các thuật toán được trình bày và cài bằng ngôn ngữ lập trình C . Mặc dù đã rất cẩn trọng trong quá trình biên soạn tuy nhiên tài liệu không tránh khỏi những thiếu sót và hạn chế. Chúng tôi rấ. ong được sự góp ý quí báu của tất cả đọc giả và các bạn đồng nghiệp. Hà nội tháng 10 năm 2013 2 MỤC LỤC CHƯƠNG 1. LOGIC TẬP HỢP VÀ ỨNG . Giới thiệu . Những kiến thức cơ bản về Logic mệnh . Định nghĩa phép . Sự tương đương giữa các mệnh . Dạng chuẩn . Vị từ và lượng . Một số ứng dụng trên máy . Những kiến thức cơ bản về lý thuyết tập . Khái niệm định . Các phép toán trên tập . Các hằng đẳng .