Các kết quả từ suy luận lôgic, chứa các bước tính tỉ mỉ, không được xếp vào hàng các cách chứng minh thanh nhã, mà gọi là các chứng minh khó coi hay thô kệch. Ví dụ những cách chứng minh phụ thuộc vào việc giới hạn các trường hợp riêng biệt, như phương pháp vét cạn được sử dụng trong chứng minh Định lý bốn màu.
Nội dung trích xuất từ tài liệu:
Giáo trình toán học - Tập 3 P16
Giáo trình toán học - Tập 3 P16
Số trang: 29
Loại file: pdf
Dung lượng: 331.23 KB
Lượt xem: 19
Lượt tải: 0
Thông tin tài liệu:
Tìm kiếm theo từ khóa liên quan:
Tuyển tập giáo trình toán hoc Giáo trình toán giải tích toán hình học toán đại số Jean – Marie MonierTài liệu có liên quan:
-
Đề ôn thi Đại học môn Toán - Trần Sĩ Tùng - Đề số 16
1 trang 114 0 0 -
17 trang 35 0 0
-
Các phương pháp tìm nhanh đáp án môn Toán: Phần 1
158 trang 35 0 0 -
Toán cao cấp A1: Bài 3. Ứng dụng của đạo hàm
13 trang 35 0 0 -
Chương 4: Lý thuyết tập mờ & Logic mờ
17 trang 35 0 0 -
Thể tích khối đa diện mặt tròn xoay
16 trang 35 0 0 -
Giáo trình toán học - Tập 3 P18
29 trang 34 0 0 -
Bài giảng về hình học phẳng: Phần 2
113 trang 34 0 0 -
ĐỀ THI OLYMPIC SINH VIÊN TOÁN TOÀN QUỐC MÔN ĐẠI SỐ NĂM 2007
1 trang 33 0 0 -
30 trang 33 0 0
