tailieunhanh - Bài giảng nhập môn Toán cao cấp

Bài giảng nhập môn Toán cao cấp trình bày hai nội dung lớn: Lí thuyết tập hợp, logic. Nội dung phần lí thuyết tập hợp sẽ giúp sinh viên nắm vững những kiến thức cơ bản về tập hợp, quan hệ, ánh xạ, giải tích tổ hợp; xác định được mối liên hệ giữa những nội dung kiến thức này. Nội dung phần logic giúp sinh viên nắm vững những kiến thức cơ bản về mệnh đề, các kiến thức liên quan đến mệnh đề, vị từ, các kiến thức liên quan đến vị từ; xác định được mối liên hệ giữa những nội dung kiến thức này. | TRƯỜNG ĐẠI HỌC ĐồNG THÁP KHOA TOÁN NGUYỄN DƯƠNG HOÀNG BÀI GIẢNG NHẬP MÔN TOÁN CAO CẤP ĐỒNG THÁP -2011 Mục lục I LÍ THUYẾT TẬP HỢP 3 1 KHÁI NIỆM VỀ TẬP HỢP. 3 Tập hợp- Phần tử- Biểu diễn tập hợp. 3 Quan hệ bao hàm- Tập con . 4 Các phép toán về tập hợp. 5 2 QUAN HỆ. 8 Tích Đề các . 8 Quan hệ 2 ngôi. 8 Quan hệ tương đương. 9 Quan hệ thứ tự. 10 3 ÁNH XẠ. 11 Định nghĩa và ví dụ. 11 4 GIẢI TÍCH TỔ HỢP. 12 Quy tắc cộng và quy tắc nhân. 12 Chỉnh hợp. 12 Chỉnh hợp lạp. 13 Hoán vị . 13 Tổ hợp. 13 Nhị thức Niu-tơn. 14 II LOGIC 18 1 LOGIC MỆNH ĐỀ. 18 Mệnh đề. 18 Các phép toán về mệnh đề các kí hiệu quan hệ . . . 19 Lượng từ. 21 Công thức . 21 Các công thức tương đương . 21 1 Nhập môn toán cao cấp TS Nguyễn Dưong Hoàng Các công thức tương đương logic cơ bản. 22 Các công thức tương đương khác. 23 Luật logic. 23 Hệ quả logic. 24 Các bài toán giải bằng công cụ logic mệnh đề . . 24 Ung dụng của logic mệnh đề trong các hệ thống tìm tin tự động hóa. 27 2 VỊ TỪ. 29 Ví dụ . 29 Định nghĩa . 30 Hàm mệnh đề một biến . 33 Hàm mệnh đề hai biến. 33 3 CÁC PHÉP TOÁN LOGIC TRÊN CÁC HÀM MỆNH ĐỀ . 34 Phép phủ định . 34 Phép tuyển. 34 Phép hội. 35 Phép kéo theo. 35 Phép tương đương . 35 4 ĐẠI SỐ BOOLE. 35 Sơ lược về đại số Boole. 35 Hệ đếm nhị phân. 37 DANH MỤC TÀI LIỆU THAM KHẢO 47