Bài giảng Toán ứng dụng: Bài 1 - Cơ sở logic

TRƯỜNG CAO ĐẲNG NGHỀ CNTT iSPACE<br /> <br /> Website: http://www.ispace.edu.vn<br /> <br /> TRƯỜNG CAO ĐẲNG NGHỀ CÔNG NGHỆ THÔNG TIN<br /> <br /> MH/MĐ: TOÁN ỨNG DỤNG<br /> <br /> Tài liệu dạy và học<br /> TS. Võ Văn Tuấn Dũng, Giáo trình Toán rời rạc. Nhà xuất bản Lao động-Xã hội, 2009<br /> Kenneth H. Rossen, Toán học rời rạc ứng dụng trong Tin học. Nhà xuất bản Giáo dục, 2007<br /> <br /> TRƯỜNG CAO ĐẲNG NGHỀ CNTT iSPACE<br /> <br /> Website: http://www.ispace.edu.vn<br /> <br /> KẾ HOẠCH BÀI GIẢNG<br /> THỜI GIAN (G)<br /> TÊN BÀI HỌC<br /> STT<br /> <br /> TỔNG<br /> <br /> LT<br /> <br /> TH<br /> <br /> 1<br /> <br /> CƠ SỞ LÔGIC<br /> <br /> 5<br /> <br /> 3<br /> <br /> 2<br /> <br /> 2<br /> <br /> BÀI TOÁN ĐẾM VÀ BÀI TOÁN TỒN TẠI<br /> <br /> 10<br /> <br /> 6.5<br /> <br /> 3.5<br /> <br /> 3<br /> <br /> LÝ THUYẾT ĐỒ THỊ<br /> <br /> 7.5<br /> <br /> 5.5<br /> <br /> 2<br /> <br /> 4<br /> <br /> BIỂU DIỄN ĐỒ THỊ VÀ CÁC THUẬT TOÁN<br /> TÌM KIẾM<br /> <br /> 12.5<br /> <br /> 8.5<br /> <br /> 4<br /> <br /> 5<br /> <br /> CÂY VÀ CÁC ỨNG DỤNG<br /> <br /> 7.5<br /> <br /> 5.5<br /> <br /> 2<br /> <br /> ÔN TẬP<br /> <br /> 2.5<br /> <br /> 1<br /> <br /> 1.5<br /> <br /> 45<br /> <br /> 30<br /> <br /> 15<br /> <br /> GHI CHÚ<br /> <br /> TỔNG CỘNG<br /> <br /> CƠ SỞ LOGIC<br /> <br /> Kiểm tra định kỳ lần 1<br /> <br /> Kiểm tra định kỳ lần 2<br /> <br /> TRƯỜNG CAO ĐẲNG NGHỀ CNTT iSPACE<br /> <br /> Website: http://www.ispace.edu.vn<br /> <br /> MÔN HỌC: TOÁN ỨNG DỤNG<br /> Bài 1: CƠ SỞ LOGIC<br /> Bài<br /> Bài<br /> Bài<br /> Bài<br /> <br /> CƠ SỞ LOGIC<br /> <br /> 2:<br /> 3:<br /> 4:<br /> 5:<br /> <br /> BÀI TOÁN ĐẾM VÀ BÀI TOÁN TỒN TẠI<br /> LÝ THUYẾT ĐỒ THỊ<br /> BIỂU DIỄN ĐỒ THỊ VÀ CÁC THUẬT TOÁN TÌM KIẾM<br /> CÂY VÀ CÁC ỨNG DỤNG<br /> <br /> TRƯỜNG CAO ĐẲNG NGHỀ CNTT iSPACE<br /> <br /> Website: http://www.ispace.edu.vn<br /> <br /> Bài 1: CƠ SỞ LOGIC<br /> 1.<br /> <br /> 2.<br /> <br /> CÁC QUI LUẬT LOGIC<br /> 2.1 Một số qui luật logic thường dùng<br /> 2.2 Ví dụ minh họa<br /> <br /> 3.<br /> <br /> CƠ SỞ LOGIC<br /> <br /> MỆNH ĐỀ<br /> 1.1 Khái niệm<br /> 1.2 Các phép toán trên mệnh đề<br /> 1.3 Mệnh đề phức hợp và tương đương logic<br /> 1.4 Độ ưu tiên của các phép tóan<br /> <br /> SUY LUẬN TOÁN HỌC<br /> 3.1 Suy luận và chứng minh<br /> 3.2 Qui tắc suy diễn<br /> <br /> TRƯỜNG CAO ĐẲNG NGHỀ CNTT iSPACE<br /> <br /> Website: http://www.ispace.edu.vn<br /> <br /> 1. MỆNH ĐỀ<br /> 1.1. Khái niệm về mệnh đề: Mệnh đề toán học là khái niệm cơ bản của<br /> toán học không được định nghĩa mà chỉ được mô tả.<br /> Mệnh đề toán học (gọi tắt là mệnh đề) là một khẳng định có giá<br /> trị chân lý xác định (đúng hoặc sai, nhưng không thể vừa đúng<br /> vừa sai).<br /> <br />  Chúng ta ký hiệu các mệnh đề bởi các chữ cái P, Q, R,...<br />  Chân trị của mệnh đề<br /> - Khi mệnh đề P đúng ta nói P có chân trị đúng, ngược lại ta nói<br /> P có chân trị sai.<br /> - Chân trị đúng và chân trị sai sẽ được ký hiệu lần lượt là 1(hay<br /> T, True) và 0(hay F, False)<br /> CƠ SỞ LOGIC<br /> <br />