TAILIEUCHUNG - Bài giảng Toán rời rạc - Trường Đại học Hàng Hải

Cùng nắm kiến thức trong bài giảng Toán rời rạc thông qua việc tìm hiểu nội dung các chương sau: Đại cương về logic, các phương pháp chứng minh, phương pháp đếm, quan hệ, đại số Bool. . | BỘ GIAO THÔNG VẬN TẢI TRƯỜNG ĐẠI HỌC HÀNG HẢI BỘ MÔN KHOA HỌC MÁY TÍNH KHOA CÔNG NGHỆ THÔNG TIN BÀI GIẢNG TOÁN RỜI RẠC TÊN HỌC PHẦN MÃ HỌC PHẦN TRÌNH ĐỘ ĐÀO TẠO DÙNG CHO SV NGÀNH TOÁN RỜI RẠC 17203 ĐẠI HỌC CHÍNH QUY CÔNG NGHỆ THÔNG TIN HẢI PHÒNG - 2010 MỤC LỤC NỘI DUNG TRANG Chương 1. Đại cương về logic 1 . Phép tính mệnh đề 1 . Khái niệm về mệnh đề và chân trị 1 . Các phép toán trên mệnh đề 2 . Biểu thức logic 5 . Định nghĩa và bảng chân trị của biểu thức logic 5 . Sự tương đương logic 8 . Giá trị của biểu thức logic 8 . Các luật logic 8 . Các luật logic 8 . Các quy tắc thay thế 10 . Ví dụ áp dụng 11 . Các dạng chuẩn tắc 12 . Chuẩn tắc tuyển 12 . Chuẩn tắc hội 13 . Quy tắc suy diễn 14 . Đại cương về quy tắc suy diễn 14 . Kiểm tra một quy tắc suy diễn 16 . Các quy tắc suy diễn cơ bản 17 . Các ví dụ áp dụng 18 . Vị từ lượng từ 20 . Định nghĩa vị từ và ví dụ 20 . Các phép toán trên vị từ 21 . Lượng từ và mệnh đề có lượng từ 21 . Quy tắc phủ định mệnh đề có lượng từ 23 . Một số quy tắc dùng trong suy luận 25 Chương 2. Các phương pháp chứng minh 29 . Các phương pháp chứng minh cơ bản 29 . Khái niệm về chứng minh 29 . Chứng minh trực tiếp 29 . Chứng minh phản chứng 31 . Chứng minh bằng cách phân chia trường hợp 33 NỘI DUNG TRANG . Phản ví dụ 34 . Nguyên lý quy nạp 35 . Đại cương về quy nạp 35 . Các nguyên lý quy nạp thường dùng 36 . Các ví dụ 38 Chương 3. Phương pháp đếm 41 . Tập hợp 41 . Khái niệm tập hợp 41 . Quan hệ bao hàm trong và tập hợp con 42 . Các phép toán trên tập hợp 43 . Tích Decartes của các tập hợp 45 . Các nguyên lý đếm 45 . Phép đếm 45 . Nguyên lý cộng 46 . Nguyên lý nhân 48 . Nguyên lý bù trừ 52 . Nguyên lý Dirichlet 53 Chương 4. Quan hệ 56 . Quan hệ hai ngôi 56 . Định nghĩa quan hệ và ví dụ 56 . Các tính chất của quan hệ 57 . .

• Kinh tế học
• Bài giảng Toán rời rạc
• Toán rời rạc
• Đại cương về logic
• Các phương pháp chứng minh
• Phương pháp đếm
• Đại số Bool
• Giáo trình toán rời rạc
• Tài liệu toán rời rạc
• Học toán rời rạc
• Lý thuyết về toán rời rạc
• Câu hỏi Toán rời rạc
• Bài tập Toán rời rạc
• Hệ thức truy hồi
• Quan hệ chia để trị Toán rời rạc
• Nguyên lý toán rời rạc
• Cấu hình tổ hợp
• Cấu hình toán rời rạc
• Bài giảng môn học Toán học rời rạc
• Toán học rời rạc
• Môn Toán học rời rạc
• Tập hợp và logic mệnh đề
• lý thuyết toán rời rạc
• đề cương Toán rời rạc