Tập Hợp Và Lô Gic | |
Phụ đề: | Giáo trình đào tạo giáo viên Trung học cơ sở hệ Cao đẳng sư phạm |
Tác giả: | Hoàng Xuân Sính - Nguyễn Mạnh Trinh |
Ký hiệu tác giả: |
HO-S |
DDC: | 160 - Logic học |
Ngôn ngữ: | Việt |
Số cuốn: | 1 |
Hiện trạng các bản sách
|
Lời nói đầu | 3 |
Chương I - TẬP HỢP | |
Bài 1 - Tập hợp | 5 |
1. Khái niệm tập hợp | 5 |
2. Bộ phận của một tập hợp | 5 |
Bài 2 - Các phép tính trên tập hợp | 7 |
1. Hiệu của hai tập hợp | 7 |
2. Tập hợp rỗng | 7 |
3. Tập hợp một, hai phần tử | 8 |
4. Tập hợp các bộ phận của một tập hơpj | 8 |
5. Tích Descartes (đề các) của hai tập hợp | 9 |
6. Hợp và giao của hai tập hợp | 10 |
7. Sự chia lớp trên một tập hợp | 13 |
Bài 3 - Quan hệ | 14 |
1. Quan hệ hai ngôi | 14 |
2. Quan hệ tư tưởng | 17 |
3. Quan hệ thứ tự | 19 |
Bài 4 - Ánh xạ | 23 |
1. Định nghĩa ánh xạ | 23 |
2. Ánh xạ và tạo ảnh | 24 |
3. Đơn ánh - Toàn ánh - Song ánh | 25 |
4. Tích ánh xạ | 26 |
5. Tập hợp đẳng lực | 29 |
6. Thu hẹp và mở rộng ánh xạ | 29 |
7. Tập hợp chỉ số | 29 |
8. Hợp, giao, tích Descartes một họ tập hợp | 30 |
Bài 5 - Sơ lược về giải tích tổ hợp | 34 |
1. Chỉnh hợp | 35 |
2. Hoán vị | 36 |
3. Tổ hợp | 36 |
Bài 6 - Sơ lược về các tiên đề của lí thuyết tập hợp | 37 |
1. Mở đầu | 37 |
2. Khái niệm nguyên thuỷ | 38 |
3. Tiên đề quảng tính | 39 |
4. Tiên đề tuyển lựa hay nội hàm | 39 |
5. Tiên đề cặp | 40 |
6. Tiên đề hợp | 41 |
7. Tiên đề tập hợp các bộ phận | 41 |
8. Tiên đề chọn | 41 |
9. Tiên đề vô hạn | 42 |
10. Tiên đề thay thế | 43 |
Hướng dẫn giải bài tập | 43 |
Chương II - ĐẠI CƯƠNG VỀ LOGIC TOÁN | |
Bài 1 - Logic mệnh đề | 46 |
1. Mệnh đề | 46 |
2. Các phép liên kết logic | 47 |
3. Công thức | 50 |
4. Giá trị công thức | 51 |
5. Công thức hằng đúng | 53 |
6. Công thức tương đương | 54 |
7. Hàm đại số logic và ứng dụng | 56 |
Bài 2 - Logic vị từ | 65 |
1. Vị từ | 66 |
2. Các phép liên kết logic | 67 |
3. Các lượng từ | 69 |
4. Công thức và các công thức tương đương thường gặp | 71 |
Bài 3 - Hệ quả logic | 75 |
1. Định nghĩa và ví dụ | 75 |
2. Một số tính chất của hệ quả logic | 76 |
3. Khái niệm chứng minh | 79 |
Bài 4 - Ứng dụng logic vào một số vấn đề toán học | 85 |
1. Biểu thị một mệnh đề toán học | 85 |
2. Một số phương pháp chứng minh toán học | 89 |
3. Ứng dụng tương đương logic để chứng minh các đẳng thức tập hợp | 95 |
Hướng dẫn giải bài tập | 104 |