TimTaiLieu.vn - Tài liệu, ebook, giáo trình, đồ án, luận văn

Trong quá trình cài đặt nếy xảy ra sai xót hãy tìm các tập tin sau để thu thập thông tin mà có hàng động sửa chữa. C:\WINNT\sqlstp.log:Tập tin nhật ký ghi quá trình cài đặt theo thời gian cho từng hành động. C:\Program Files\Microsoft SQL Server\MSSQL\Install\*.Out":Thông báo rõ ràng hư hỏng chổ nào

10 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2225 | Lượt tải: 1

Dữ liệu (Data):Là tất cả thông tin khi lưu trữ vào máy tính (văn bản, âm thanh, hình ảnh. . .)
Cơ sở dữ liệu (DB-DataBase): Là các dữ liệu được được lưu trữ có hệ thống có tổ chức dưới dạng các bảng nhiều dòng, nhiều cột, mỗi cột 1 kiểu mô tả 1 thông tin cụ thể.

10 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2244 | Lượt tải: 3

Cấu trúc dữ liệu (CTDL) là một cách tổ chức dữ liệu của bài toán. CTDL có thể do ngôn ngữ lập trình định nghĩa trước hoặc có thể do người sử dụng định nghĩa. Cấu trúc dữ liệu tốt thì thuật toán xử lý bài toán mới tối ưu.

46 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 1916 | Lượt tải: 2

Bổ đề - định lý nhỏ sử dụng như bước đệm để chứng minh định lý chính. Hệ quả - định lý nhỏ được chứng minh bằng cách suy luận dễ dàng từ định lý chính. Giả thuyết - khẳng định mà giá trị chân lý đúng của nó chưa được chứng minh. (Tuy nhiên, giả thuyết có thể được tin tưởng rộng rãi vào tính đúng đắn) Lý thuyết – tập tất cả các định lý mà được ch...

61 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 3299 | Lượt tải: 3

Định nghĩa: Mệnh đề (ký hiệu p, q, r, ) đơn giản là: Một khẳng định (tức là, một câu tuyên bố) Với một ngữ nghĩa xác định (không nhập nhằng) Có giá trị chân lý là đúng true (T) hoặc sai false (F) Không khi nào hoặc cả hai hoặc nửa chừng!” Tuy nhiên bạn có thể chưa biết giá trị chân lý của nó, Và giá trị chân lý có thể phụ thuộc vào tình hu...

99 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2644 | Lượt tải: 3

Cơ sở của mọi quá trình xử lý thông tin kỹ thuật số là: Thao tác rời rạc của các cấu trúc rời rạc trong bộ nhớ. Là ngôn ngữ cơ bản và khái niệm cơ sở cho mọi thức khác của Khoa học máy tính. Các khái niệm toán rời rạc được dùng rộng rãi trong Toán học, Khoa học, Công nghệ, Kinh tế, Sinh học, Là công cụ có ích nói chung cho mọi suy nghĩ hợp lý!

18 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2408 | Lượt tải: 1

(p  cond){S}q (p  ¬cond)→q∴ p{if cond then S}q VD: Chỉ ra rằng: T {if x>y then y:=x} y≥x. C/m: nếu ban đầu x>y, thì nếu thực hiện thân chương trình, đặt y=x, và sau đó hiển nhiên y≥x là đúng. Ngược lại, x≤y và vì vậy y≥x. Trong trường hợp này không làm gì và y≥x vẫn là đúng. Khi áp dụng qui tắc đó, các yêu cầu đều thỏa mãn.

14 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 3293 | Lượt tải: 2

Viết định nghĩa đệ qui cho: i+n (i nguyên, n tự nhiên) chỉ sử dụng s(i) = i+1. a·n (a thực, n tự nhiên) chỉ sử dụng cộng an (a thực, n tự nhiên) chỉ sử dụng nhân ∑0≤i≤n ai (cho dãy sô bất kỳ {ai}) ∏0≤i≤n ai (cho dãy số bất kỳ {ai}) ∩0≤i≤n Si (cho dãy tập hợp bất kỳ {Si})

44 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2224 | Lượt tải: 0

Giả sử ta muốn chứng minh n P(n) Thực hiện bước cơ sở: C/m P(0). Thực hiện bước qui nạp: C/m n P(n)P(n+1). VD. Bạn có thể sử dụng c/m trực tiếp như sau: G/s nN và P(n) đúng. (giả thiết qui nạp) Với giả thiết đó c/m P(n+1). Qui tắc suy diễn qui nạp sẽ cho kết quản P(n).

35 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2114 | Lượt tải: 2

Như bạn đã biết, các bài toán này được dùng nhiều để kiểm tra IQ, nhưng Bài toán tìm hàm sinh mà chỉ cho trước một số phần tử ban đầu không là bài toán đặt chuẩn. Vì có thể có vô hạn các hàm tính toán được mà có cùng một sô phần tử ban đầu. Ta giả thiết ẩn rằng tìm hàm đơn giản nhất như vậy, nhưng Ta định nghĩa khách quan thế nào là đơn giản ...

10 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2799 | Lượt tải: 1