• Bài giảng Các phương pháp chứng minh cơ bảnBài giảng Các phương pháp chứng minh cơ bản

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

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

  • Bài giảng Cơ sở logicBài giảng Cơ sở logic

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

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

  • Bài giảng Tổng quan toán họcBài giảng Tổng quan toán học

    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ý!

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

  • Bài giảng Kiểm chứng tính đúng đắn của chương trìnhBài giảng Kiểm chứng tính đúng đắn của chương trình

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

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

  • Bài giảng Đệ qui RecursionBài giảng Đệ qui Recursion

    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})

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

  • Bài giảng Chứng minh qui nạpBài giảng Chứng minh qui nạp

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

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

  • Bài giảng Dãy SequencesBài giảng Dãy Sequences

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

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

  • Bài giảng Chiến lược chứng minhBài giảng Chiến lược chứng minh

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

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

  • Bài giảng Cấp độ tăngBài giảng Cấp độ tăng

    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!)

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

  • Bài giảng Thuật toán AlgorithmsBài giảng Thuật toán Algorithms

    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.

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