Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Khoa Học Tự Nhiên
Toán học
Bài giảng Toán rời rạc: Chương 1.3 - Dr. Ngô Hữu Phúc
Đang chuẩn bị liên kết để tải về tài liệu:
Bài giảng Toán rời rạc: Chương 1.3 - Dr. Ngô Hữu Phúc
Ánh Tuyết
9
20
pdf
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Bài giảng Toán rời rạc: Chương 1.3 Các phương pháp chứng minh, cung cấp cho người đọc những kiến thức như: Hàm mệnh đề; Các phương pháp chứng minh; Bài tập. Mời các bạn cùng tham khảo! | TOÁN RỜI RẠC CHƯƠNG I KHÁI NIỆM CƠ BẢN Các phương pháp chứng minh Lecturer PhD. Ngo Huu Phuc Tel 0438 326 077 Mob 098 5696 580 Email ngohuuphuc76@gmail.com 1 @Copyrights by Dr. Ngo Huu Phuc Le Quy Don Technical University CÁC PHƯƠNG PHÁP CHỨNG MINH NỘI DUNG 1. Hàm mệnh đề. 2. Các phương pháp chứng minh. 3. Bài tập. 2 @Copyrights by Dr. Ngo Huu Phuc Le Quy Don Technical University 1. Hàm mệnh đề 1 6 Khái niệm Thường gặp các mệnh đề không xác định như n là một số nguyên lẻ hay k là một số nguyên tố . Các mệnh đề này về bản chất không phải là một mệnh đề logic vì chúng có thể nhận giá trị 1 đúng hoặc 0 sai tuỳ vào giá trị của các đại lượng n k. Tuy nhiên chúng sẽ trở thành các mệnh đề logic nếu n k được xác định cụ thể. Ví dụ 103 là một số nguyên lẻ đây là mệnh đề logic có giá trị 1 8 là một số nguyên lẻ cũng là một mệnh đề logic nhận giá trị 0. 3 @Copyrights by Dr. Ngo Huu Phuc Le Quy Don Technical University 1. Hàm mệnh đề 2 6 Định nghĩa. Mệnh đề P n phụ thuộc vào đại lượng n để có thể trở thành mệnh đề logic ta gọi là hàm mệnh đề. Đại lượng n gọi là biến tập hợp D các giá trị của biến n để xác định mệnh đề logic P n gọi là miền xác định của hàm mệnh đề P n . Ví dụ theo định nghĩa vừa đưa ra ta có thể biểu diễn như sau P n n là một số nguyên lẻ Q k k là một số nguyên tố P n và Q k là những hàm mệnh đề có cùng miền xác định D là các số nguyên dương tập các số tự nhiên . 4 @Copyrights by Dr. Ngo Huu Phuc Le Quy Don Technical University 1. Hàm mệnh đề 3 6 Ví dụ về hàm mệnh đề F1 x x2 x 1 gt 0 khi đó miền xác định của F1 là R các số thực. F2 x x2 - x - 6 0 khi đó miền xác định của F2 là R các số thực. S n 2 1 2 . . . . . n n n 1 có miền xác định là tập các số nguyên dương. 5 @Copyrights by Dr. Ngo Huu Phuc Le Quy Don Technical University 1. Hàm mệnh đề 4 6 Với những giá trị nào của biến thì hàm cho giá trị là một mệnh đề logic đúng Trong các phương pháp suy diễn toán học người ta thường nghiên cứu trường hợp F n luôn đúng với mọi giá trị n nằm trong D. Biểu diễn mệnh .
TÀI LIỆU LIÊN QUAN
Giáo trình Toán rời rạc - Chương 6 Lý thuyết đồ thị - Cây
Giáo trình Toán rời rạc - Chương 1 Cơ sở Logic
Giáo trình Toán rời rạc - Chương 2 Phép đếm
Giáo trình Toán rời rạc - Chương 3 Quan hệ
Giáo trình Toán rời rạc - Chương 4 Hàm Bool
Giáo trình Toán rời rạc - Chương 5 Đồ thị
Bài giảng Toán rời rạc ứng dụng trong tin học - Chương 2: Các bài toán về đường đi
Bài giảng Toán rời rạc ứng dụng trong tin học - Chương 3: Đồ thị phẳng và bài toán tô màu đồ thị
Bài giảng Toán học rời rạc và cấu trúc rời rạc: Chương 2 - Đại học Khoa Học Tự Nhiên Tp. Hồ Chí Minh
Bài giảng Toán học rời rạc và cấu trúc rời rạc: Chương 3 - Đại học Khoa Học Tự Nhiên Tp. Hồ Chí Minh
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.