Tham khảo tài liệu 'toán rời rạc - bài 2 proofs', công nghệ thông tin, cơ sở dữ liệu phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | University of Florida Dept. of Computer & Information Science & Engineering COT 3100 Applications of Discrete Structures Dr. Michael P. Frank Slides for a Course Based on the Text Discrete Mathematics & Its Applications (5th Edition) by Kenneth H. Rosen 1/8/01 A word about organization: Since different courses have different lengths of lecture periods, and different instructors go at different paces, rather than dividing the material up into fixed-length lectures, we will divide it up into “modules” which correspond to major topic areas and will generally take 1-3 lectures to cover. Within modules, we have smaller “topics”. Within topics are individual slides. Bài 2: Các phương pháp chứng minh cơ bản Rosen 5th ed., § 48 slides, ~3 lectures 1/8/01 Bản chất và tầm quan trọng của chứng minh Trong toán học, chứng minh là: Diễn giải đúng đắn (suy luận được, đúng về logic) và hoàn chỉnh (rõ ràng, chi tiết) để xác định chân lý của khẳng định toán học một cách không từ chối được và chặt chẽ. Tại sao diễn giải cần đúng đắn và hoàn chỉnh? Đúng đắn ngăn chúng ta khỏi bị lừa chính mình. Hoàn chỉnh cho phép bất kỳ ai có thể kiểm chứng kết quả. Trong môn này (& cũng như các môn toán) đòi hỏi chuân rất cao về chứng minh tính đúng đắn và hoàn chỉnh!! 1/8/01 Tổng quan về § Các phương pháp chứng minh có thể được hình thức hoá trong thuật ngữ các luật suy diễn logic (rules of logical inference). Chứng minh toán học có thể tự biểu diễn hình thức như cấu trúc rời rạc. Chúng ta có thể xem lại các suy diễn đúng đắn và sai lầm và một số phương pháp chứng minh. 1/8/01 Các ứng dụng chứng minh Như bài tập trong trao đổi rõ ràng về các suy luận logic trong bất cứ lĩnh vực học tập nào. Hoạt động cơ bản của toán học là khám phá và làm sáng tỏ thông qua chứng minh các định lý mới lý thú. Chứng minh định lý có ứng dụng trong kiểm chứng chương trình, an toàn máy tính và các hệ suy luận tự động, Chứng minh định lý cho phép ta tin cậy vào tính đúng đắn của nó ngay cả trong | University of Florida Dept. of Computer & Information Science & Engineering COT 3100 Applications of Discrete Structures Dr. Michael P. Frank Slides for a Course Based on the Text Discrete Mathematics & Its Applications (5th Edition) by Kenneth H. Rosen 1/8/01 A word about organization: Since different courses have different lengths of lecture periods, and different instructors go at different paces, rather than dividing the material up into fixed-length lectures, we will divide it up into “modules” which correspond to major topic areas and will generally take 1-3 lectures to cover. Within modules, we have smaller “topics”. Within topics are individual slides. Bài 2: Các phương pháp chứng minh cơ bản Rosen 5th ed., § 48 slides, ~3 lectures 1/8/01 Bản chất và tầm quan trọng của chứng minh Trong toán học, chứng minh là: Diễn giải đúng đắn (suy luận được, đúng về logic) và hoàn chỉnh (rõ ràng, chi tiết) để xác định chân lý của khẳng định toán học một cách không từ chối được và
