tailieunhanh - Bài giảng Toán rời rạc và lý thuyết đồ thị - Chương 1: Cơ sở Logic

Chương 1 của bài giảng Toán rời rạc và lý thuyết đồ thị trình bày các kiến thức cơ sở Logic như: Khái niệm mệnh đề và chân trị, các phép toán mệnh đề, biểu thức logic, các luật logic, logic vị từ, các lượng từ và các mệnh đề có lượng từ, qui tắc phủ định mệnh đề có lượng từ,. để nắm bắt các nội dung chi tiết. | MÔN TÓAN RỜI RẠC LÝ THUYẾT ĐỒ THỊ NỘI DUNG HỌC 45 TIẾT LÝ THUYẾT Chương 1 Cơ sở logic 6T Chương 2 Phép đếm 8T Chương 3 Hàm Boole và mạch tổ hợp 8T Chương 4 Đại cương về đồ thị 8T Chương 5 Bài tóan đường đi 8T Chương 6 Cây 7T Tài liệu tham khảo. 1. Đỗ Văn Nhơn - Giáo trình Tóan rời rạc - ĐHQG TpHCM. 2. Kenneth HH. Rosen - Tóan học rời rạc ứng dụng trong tin học bản dịch tiếng Việt - NXB Khoa học và Kỹ . 3. Nguyễn Đức Nghĩa - Lý thuyết đồ thị - NXB Giáo dục. 1998. Chương 1. Cơ sở Logic I. LOGIC MỆNH ĐÈ. NIỆM MỆNH ĐÈ VÀ CHÂN TRI. Mệnh đề tóan học là một phát biểu xác định rõ được tính đúng hay sai của phát biểu đó. Tính đúng hay sai gọi là chân trị của mệnh đề o Đúng ký hiệu là 1 o Sai ký hiệu là 0 Ví dụ Các phát biểu sau đây là các mệnh đề toán học . a 6 là một số nguyên tố. 0 b 5 là một số nguyên tố. 1 c 1 2 1 Ví dụ Các phát biểu sau đây không phải là các mệnh đề toán học vì tính đúng sai của chúng không xác định. a Ai đang đọc sách một câu hỏi b Cho x là một số nguyên dương. c x y z . 2. CÁC PHÉP TOÁN MỆNH ĐỀ . A. PHÉP PHỦ ĐỊNH. Cho p là một mệnh đề Phép phủ định của p được định nghĩa như sau đây Kí hiệu trong tóan học là p hoặc p hoặc p Kí hiệu trong ngôn ngữ lập trình C là p Trong tiếng Việt là không p Trong tiếng Anh là not p Bảng chân trị. p p 1 0 0 1 Ví dụ Cho các mệnh đề a 6 là một số nguyên tố. 0 b 5 là một số nguyên tố. 1 c 1 2 1 thì phủ định của chúng là a 6 không là một số nguyên tố. 1 b 5 không là một số nguyên tố. 0 -c 1 2 0

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.