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

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: 2326 | 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: 2231 | 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: 2914 | Lượt tải: 1

Theorem: a>0,b>0,a≠b: (a+b)/2 > (ab)1/2. Proof. If Since a≠b, (a−b)≠0. Thus, (a−b)2>0, i.e., a2−2ab+b2 > 0. Adding 4ab to both sides, a2+2ab+b2 > 4ab. Factoring the left side, we have (a+b)2 > 4ab, so (a+b)2/4 > ab. Since ab is positive, we can take the square root of both sides and get (a+b)/2 > (ab)1/2. Đây chỉ là ví dụ đơn giản để đi từ giả ...

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

Lưu ý f là O(g) khi tồn tạo bất kỳ giá trị c và k mà thoả mãn định nghĩa. Nhưng: Các giá trị c, k cụ thể mà làm cho khẳng định trên đúng không là duy nhất: mọi giá trị của c, k lớn hơn đều thỏa mãn. Ban không cần phải tìm các giá trị nhỏ nhất của c và k thỏa mãn. (Thực tế trong một số trường hợp sẽ không có giá trị nhỏ nhất!)

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

Khi bạn khởi động một phần mềm, bạn nói chương trình hoặc thuật toán của nó bắt đầu chạy hoặc thực hiện bởi máy tính. Cho mô tả bạn có thể tính bằng tay thuật toán bằng cách làm từng bước với bút và giấy. Trước ~1940, “computer” là người mà công việc là thực hiện thuật toán.

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

Vị từ (predicate) có thể coi là hàm từ tập các đối tượng vào mệnh đề (hoặc giá trị chân lý): P :≡ “is 7 feet tall”; P(Mike) = “Mike is 7 feet tall.” = False. Xâu bit B có độ dài n có thể coi như hàm số từ các số {1, ,n} (vị trí bit) vào các bit {0,1}.E.g., B=101  B(3)=1.

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

Hai tập hợp được nói là bằng nhau nếu và chỉ nếu chúng chứa chính xác cùng các phần tử như nhau. Không quan trọng, tập hợp được định nghĩa và ký hiệu như thế nào. Chẳng hạn: Tập hợp {1, 2, 3, 4} = {x | x là số nguyên trong đó x>0 và x<5 } = {x | x là số nguyên dương bình phương của nó là >0 và <25}

56 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 3139 | Lượt tải: 4

Mục tiêu của IPC IPC: Inter-Process Communication Cho phép phối hợp hoạt động giữa các quá trình trong hệ thống Giải quyết đụng độ trên vùng tranh chấp

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

Cơ bản về lập trình POSIX pthread „Lập trình IPC dùng signal, pipe, shared memory „Giải quyết tranh chấp bằng SVR4 semaphore „Giải quyết tranh chấp trên POSIX thread (tự đọc thêm)

71 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 3652 | Lượt tải: 4