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

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: 2063 | 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: 2162 | 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: 2904 | 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: 2965 | 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: 3022 | 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: 2658 | 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: 3533 | Lượt tải: 4

GNU Compiler Collection (GCC) Thư viện các hàm tiện ích: libc, libstdc++, Các trình biên dịch gcc, g++, gcj, gas, Trình khử lỗi gdb Trình tiện ích khác trong binutils như nm, strip, ar, objdump, ranlib (dùng lệnh info binutils để xem thêm) Tiện ích: gmake

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

Thực hành trên hệ điều hành *nix „Có thể login trực tiếp hay dùng chương trình telnet/ssh để kết nối đến máy *nix „Mỗi người dùng phải có một tài khoản (account) để sử dụng hệ thống. Mỗi tài khoản gồm có: Tên sử dụng (username) Mật khẩu (password) Thư mục làm việc (home directory)

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

Một chương trình đơn giản => chỉ có một vài file  Một chương trình “không đơn giản”  Nhiều dòng lệnh  Nhiều module  Nhiều người tham gia viết

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