Từ 1 tới 9 trên tổng số 9 kết quả

Đề tài: [Lý Thuyết] Tính đúng có diều kiện !

  1. #1
    Ngày gia nhập
    05 2007
    Bài viết
    1

    Smile [Lý Thuyết] Tính đúng có diều kiện !

    Mình đang học bài kiểm tra tính đúng có điều kiện mà mình chua hiểu lắm về bài này mong các bạn giúp đỡ .

  2. #2
    Ngày gia nhập
    10 2008
    Bài viết
    99

    bạn thể nói rõ hơn yêu cầu của bạn không ?

  3. #3
    Ngày gia nhập
    02 2008
    Bài viết
    15

    Trích dẫn Nguyên bản được gửi bởi hanam1601 Xem bài viết
    Mình đang học bài kiểm tra tính đúng có điều kiện mà mình chua hiểu lắm về bài này mong các bạn giúp đỡ .
    trời ạ !!! nói thế này có mà là thánh cũng không hiểu !!! kiểm tra tính đúng có điều kiện là sao ????
    I dlatego lubię mówić z tobą !!!

  4. #4
    Ngày gia nhập
    06 2007
    Nơi ở
    C:\WINDOWS\system32\dllcache\
    Bài viết
    3,006

    Trích dẫn Nguyên bản được gửi bởi hanam1601 Xem bài viết
    Mình đang học bài kiểm tra tính đúng có điều kiện mà mình chua hiểu lắm về bài này mong các bạn giúp đỡ .
    tính đúng của điều kiện hả?????

    đơn giản thôi mà chỉ là mấy phép logic cơ bản thôi. Cũng giống như mấy phép +-nhân chia đó thôi. Nếu bạn có thể tách nó ra thành các cụm

    ví dụ nhé :
    ta cùng phân tích bt logic :
    a==b==c;

    đầu tiên == có độ ưu tiên từ trái sang phải tứ là vấn đề trở thành :
    (a==b)==c;

    tiếp theo phân tích tiếp :
    a==b có thể trả về đúng hoặc sai (0 hoặc 1)
    có nghĩa là :
    0==c
    hoặc 1==c
    vậy có nghĩa biểu thức trên ta đem so sánh c với 0 và 1:
    vậy có thể kết luận tính đúng đắn của điều kiện trên như sau :

    luôn luôn sai nếu c khác 0 và 1;
    nếu c=0 thì biểu thức chỉ đúng khi a khác b
    nếu c=1 thì biểu thức chỉ đúng khi a bằng b
    ^_,^

    Tổng hợp các câu chuyện hài hước vui nhộn, sử dụng Speech Synthesis để đọc : https://www.youtube.com/channel/UCLk...Tjrg/playlists


    Bùi Tấn Quang

  5. #5
    Ngày gia nhập
    05 2007
    Bài viết
    1

    Trong Cuốn Kỹ Thuật Lập Trình nâng Cao của Thầy Nguyễn Hoang Thọ , trang 59 nó có nhung cái Ví dụ mà minh không hiểu cái nào
    Vi dụ sau :
    {(x=x0) and (y=y0)}
    t:=x;
    {(t=x=x0) and (y=y0)}
    Cho vay thì minh hieu là minh kiem tra tinh dung của điều kiện nào ?
    Mong dc giúp đỡ
    Ps các bạn có the tải giáo trình đó tai
    Code:
    http://www.mediafire.com/?z0nv9vmndjo

  6. #6
    Ngày gia nhập
    05 2007
    Bài viết
    1

    Mặc định [Lý Thuyết] Tính đúng có diều kiện !

    Không ai giúp em vậy chỉ em hiểu cái đoạn này với :((

  7. #7
    Ngày gia nhập
    04 2008
    Bài viết
    336

    hix nhìn VD d) cho nên đoán như sau :
    Đại loại là với p là giả thiết, q là kết luận
    p -> q chỉ sai khi (p đúng VÀ q sai) nếu sau khi thực hiện đoạn lệnh S mà q sai (còn p ban đầu đúng) thì xem như ... sai
    { x > 0 }
    x := x-1
    { x > 0 }
    code ra gió bão

  8. #8
    Ngày gia nhập
    05 2007
    Bài viết
    1

    Trích dẫn Nguyên bản được gửi bởi 6220119 Xem bài viết
    hix nhìn VD d) cho nên đoán như sau :
    Đại loại là với p là giả thiết, q là kết luận
    p -> q chỉ sai khi (p đúng VÀ q sai) nếu sau khi thực hiện đoạn lệnh S mà q sai (còn p ban đầu đúng) thì xem như ... sai
    Cam ơn bạn !
    Ban cho mình hỏi p là cái nào q là cái nào mà S là đoạn lệnh nào . Mình chưa hieu cái cấu trúc của đề bài nữa
    Mong dc giúp đỡ

  9. #9
    Ngày gia nhập
    04 2008
    Bài viết
    336

    { x > 0 }
    x := x-1
    { x > 0 }
    p: {x>0}
    s: x=x-1
    q: {x > 0}
    giả sử lúc đầu x=1>0
    sau khi thực hiện s, x=0;
    lúc đó x=0 (sai khi xét với q)
    code ra gió bão

Các đề tài tương tự

  1. bài tập lý thuyết đồ thị
    Gửi bởi canhocthem trong diễn đàn Thắc mắc lập trình C/C++/C++0x
    Trả lời: 5
    Bài viết cuối: 11-10-2010, 11:39 PM
  2. CT chạy đúng kết quả với BC 3.1 nhưng không đúng với BC 5.02
    Gửi bởi PGD trong diễn đàn Nhập môn lập trình C/C++
    Trả lời: 4
    Bài viết cuối: 03-01-2010, 03:00 PM
  3. Cho tớ hỏi câu lý thuyết này với???
    Gửi bởi theruler trong diễn đàn Thắc mắc lập trình Visual C++
    Trả lời: 5
    Bài viết cuối: 18-12-2008, 09:54 AM
  4. Lý thuyết đồ thị với C++
    Gửi bởi CuongNH trong diễn đàn Nhập môn lập trình C/C++
    Trả lời: 6
    Bài viết cuối: 15-04-2008, 09:39 AM
  5. [Phụ lục C] - Dành cho tra cứu lý thuyết C
    Gửi bởi Kevin Hoang trong diễn đàn Thủ thuật, Tutorials và Mã nguồn C/C++/C++0x
    Trả lời: 7
    Bài viết cuối: 22-08-2006, 11:53 PM

Quyền hạn của bạn

  • Bạn không thể gửi đề tài mới
  • Bạn không thể gửi bài trả lời
  • Bạn không thể gửi các đính kèm
  • Bạn không thể chỉnh sửa bài viết của bạn