phuongzin78

New Member
Chia sẻ miễn phí cho các bạn tài liệu: Tổng quan về Logic mô tả EL
Tìm hiểu Logic mô tả EL
Nguyễn Đức Vượng - HTTT - K48 - ĐHBK Hà Nội.
2
thuật  toán  linear-time  cho  chuẩn  Horn-SAT  bài  toán  được  giải  quyết  trong  thời gian đa thức bậc bốn.
Chương 4. Trình bày về phân tích thiết kế chương trình cho một thuật toán, cài 
đặt ví dụ minh họa. Trong chương này trình bày các đặc tả của bài toán từ đó xây dựng lên biểu đồ phân tích thiết kế hệ thống chỉ ra các đặc trưng của bài toán, đồng thời  cũng  chỉ  ra  các  bước  thiết  kế  chương  trình,  chức  năng  của  từng  lớp  trong chương trình, và cuối cùng cài đặt một ví dụ thử nghiệm. 
Do thời gian tìm hiểu và nghiên cứu về Logic mô tả EL còn hạn chế nên trong 
đồ án  còn  có  những thiếu  sót,  chưa  trình bày  đầy  đủ về họ Logic  mô  tả  EL  như: EL
+
, EL
++
, ELH, và các Logic mô tả EL có thêm các luật: phép hợp, phép phủ định, 
giới hạn số, lượng từ với mọi… , khái niệm đáy. Em rất mong sự đánh giá và góp ý bổ sung của các thầy giáo, cô giáo và các bạn để đồ án được hoàn thiện hơn.

Dành riêng cho anh em Ketnooi, bác nào cần download miễn phí bản đầy đủ thì trả lời topic này, Nhóm Mods sẽ gửi tài liệu cho bạn qua hòm tin nhắn nhé.
- Bạn nào có tài liệu gì hay thì up lên đây chia sẻ cùng anh em.
- Ai cần tài liệu gì mà không tìm thấy ở forum, thì đăng yêu cầu down tại đây nhé:
Nhận download tài liệu miễn phí
 

Các chủ đề có liên quan khác

Top