TAILIEUCHUNG - Toán rời rạc - Bài 3 Tập hợp

Tham khảo tài liệu 'toán rời rạc - bài 3 tập hợp', 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 #3: Lý thuyết tập hợp Rosen 5th ed., §§ ~43 slides, ~2 lectures 1/8/01 Giới thiệu lý thuyết tập hợp (§) Tập hợp là kiểu cấu trúc mới, thể hiện họ không sắp xếp (nhóm) của không hay nhiều hơn các đối tượng khác nhau. Lý thuyết tập hợp nghiên cứu các phép toán trên chúng, các quan hệ giữa chúng và các tính chất về tập hợp. Tập hợp có mặt khắp nơi trong các hệ thống phần mềm máy tính. Mọi thứ trong toán học có thể định nghĩa dưới dạng lý thuyết tập hợp sử dụng logic vị từ. 1/8/01 Lý thuyết tập hợp ngây thơ Tiền đề cơ sở: Mọi họ hay lớp các đối tượng mà chúng ta có thể mô tả đều tạo thành tập hợp. Nhưng lý thuyết thu được về mặt logic là không tương thích! Điều đó có nghĩa là tồn tại mệnh đề p của lý thuyết tập hợp ngây thơ sao cho bạn có thể chứng minh rằng cả p và p có thể suy diễn logic từ các tiên đề của lý thuyết đã cho! Hội của các tiên đề là mâu thuẫn! Lý thuyết như vậy về cơ bản không thú vị, vì mọi khẳng định có thể dễ dàng chứng minh mâu thuẫn! Lý thuyết tập hợp có triết lý hơn sẽ loại bỏ vấn đề này. 1/8/01 We won’t worry about this particular inconsistency (Russell’s paradox) in this course, because the extra restrictions on the theory that need to be imposed to prevent the problem are of a rather esoteric and technical nature, and they don’t really affect anything .

TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.