Tài liệu, ebook Tin Học Văn Phòng

Client Tool Only: Cài ñặt các công cụ SQL Server chỉ cho máy khách(Client). Server and Client Tools: Cài ñặt các thành phần (Phần mềm và các công cu) cả máy chủ và máy khách. Connectivity Only: Cập nhật các thành phần truy cập CSDL

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

Chương 1. Hệ quản trị cơ sở dữ liệu 7 1.1. Quan niệm về CSDL . 7 1.2. Các khả năng của một hệ quản trị cơ sở dữ liệu. . 7 Chương 2. Cơ sở dữ liệu hướng đối tượng . 9 2.1. Nhu cầu về hệ thống cơ sở dữ liệu hướng đối tượng . 9 2.1.1. Các đối tượng phức tạp 9 2.1.2. Quản lý các tri thức 9 2.1.3. Quản trị các dữ liệu phân tán 10 2.1.4. Nhu cầu về hệ th...

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

Trongtoánhọc, chứng minh là: –Diễngiảiđúngđắn (suyluậnđược, đúngvề logic) vàhoànchỉnh (rõràng, chi tiết) đểxácđịnhchânlýcủakhẳngđịnhtoánhọcmộtcáchkhôngtừchốiđượcvàchặtchẽ. ãTạisaodiễngiảicầnđúngđắnvàhoànchỉnh? –Đúngđắnngănchúng ta khỏibịlừachínhmình. –Hoànchỉnhchophépbấtkỳaicóthểkiểmchứngkếtquả. ãTrongmônnày (& cũngnhưcácmôntoán) đòihỏichuânrấtcaov...

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

Đâ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: 1961 | 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: 3225 | 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: 2412 | 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: 2330 | 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: 2133 | 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: 1955 | Lượt tải: 0