Tài liệu, ebook Công Nghệ Thông Tin

Đây không phải chỉ về các số! Toán học thực tế nhiều hơn thế Toán học, nói tổng quát, là nghiên cứu về mọi chân lý đúng tuyệt đối về mọi khái niệm được định nghĩa một cách đúng đắn. Nhưng, những khái niệm này có thể là về các con số, ký hiệu, đối tượng, hình ảnh, âm thanh hay bất cứ cái gì khác!

18 trang | Chia sẻ: tlsuongmuoi | Ngày: 19/04/2013 | Lượt xem: 1963 | Lượt tải: 0

Thông tin là nguồn tài nguyên quý giá của một tổ chức. Các phần mềm máy tính là những công cụ hiệu quả để xử lý thông tin và hệ quản trị cơ sở dữ liệu là công cụ phổ biến cho phép lưu trữ và rút trích thông tin một cách hiệu quả. Hệ quản trị cơ sở dữ liệu quan hệ là hệ quản trị cơsở dữ liệu phổ biến nhất hiện nay và được hỗ trợ bởi nhiều nh...

115 trang | Chia sẻ: tlsuongmuoi | Ngày: 19/04/2013 | Lượt xem: 3227 | Lượt tải: 2

Ta muốn có khả năng chứng minh rằng chương trình đã cho đáp ứng được yêu cầu đề ra. –Điều đó thông thường có thể làm bằng tay hoặc các công cụ kiểm chứng chương trình tự động. ãMột ví dụ là PVS (People’s Verification System). ãChương trình là đúng nếu nó tạo ra đầu ra đúng cho mỗi đầu vào hợp lệ. –Chương trình có tính đúng đắn bộ phận nếu nó tạo r...

14 trang | Chia sẻ: tlsuongmuoi | Ngày: 19/04/2013 | Lượt xem: 2413 | Lượt tải: 3

ãTrong qui nạp, ta chứng minh mọi phần tử của tập vô hạn thoả mãn mệnh đề P nào đó bằng cách: –Chứng minh tính đúng đắn của mệnh đề cho các phần tử lớn hơn mà biểu diễn qua các phần tử bé hơn. ãTrong định nghĩa đệ qui, tương tự ta định nghĩa hàm số, mệnh đề, tập hợp, hay một cấu trúc phức tạp hơn trên miền biến thiên vô hạn bằng cách: –định nghĩa ...

44 trang | Chia sẻ: tlsuongmuoi | Ngày: 19/04/2013 | Lượt xem: 2333 | Lượt tải: 0

Kỹ thuật mạnh dùng nhiều để chứng minh rằng vị từ P(n) là đúng đối với mỗi số tự nhiên n, không quan trọng lớn như thế nào. ãBản chất nguyên lý “hiệu ứng domino”. ãDựa trên luật suy diễn của logic vị từ: P(0) "n³0 (P(n)®P(n+1)) \"n³0 P(n)

35 trang | Chia sẻ: tlsuongmuoi | Ngày: 19/04/2013 | Lượt xem: 2134 | Lượt tải: 0

Dãy giống như bộ n có thứ tự, khác là: –Mỗi phần tử trong dãy có liên kết một chỉ số. –Dãy có thể là vô hạn. ãXâu là dãy các ký hiệu từ một bảng chữ hữu hạn. ãPhép tổng là ký hiệu viết tắt của tổng các đối tượng trong một dãy (có thể vô hạn).

10 trang | Chia sẻ: tlsuongmuoi | Ngày: 19/04/2013 | Lượt xem: 2262 | Lượt tải: 0

Trong bài #2, ta đã thấy: –Một số kiểu chứng minh của phép kéo theo p→q: ãNgây thơ, Hiển nhiên, Trực tiếp, Gián tiếp –Các kiểu chứng minh tồn tại: ãXây dựng và không xây dựng. –Một số phương pháp chứng minh mệnh đề tổng quan: ãChứng minh phân trường hợp, chứng minh phản chứng. ãTrong bài này, chúng ta xét các ví dụ về: –Suy luận tới và lui. –Chứn...

22 trang | Chia sẻ: tlsuongmuoi | Ngày: 19/04/2013 | Lượt xem: 1957 | Lượt tải: 0

Đối với các hàm số, ta thường cần phải biết độ đo thô xem hàm tăng nhanh như thế nào. ãNếu f(x) tăng nhanh hơn g(x), thì f(x) luôn sẽ trở nên lớn hơn g(x) đối với những giá trị của x đủ lớn. ãCấp độ tăng hữu ích trong công nghệ khi chỉ ra một thiết kế này tốt hơn thiết kế khác.

31 trang | Chia sẻ: tlsuongmuoi | Ngày: 19/04/2013 | Lượt xem: 2044 | Lượt tải: 0

Trong giải tích ta đã làm quen với khái niệm hàm thực f là tương ứng sao cho với mỗi xÎR xác định được một giá trị cụ thể nào đó y=f(x), với yÎR. ãNhưng khái niệm hàm số có thể mở rộng: ứng với mỗi phần tử của tập này cho tương ứng một phần tử của tập kia. (Được biết như ánh xạ.)

33 trang | Chia sẻ: tlsuongmuoi | Ngày: 19/04/2013 | Lượt xem: 2634 | Lượt tải: 0

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 ...

56 trang | Chia sẻ: tlsuongmuoi | Ngày: 19/04/2013 | Lượt xem: 2511 | Lượt tải: 0