Logics hay luận lý học, từ tiếng Hy Lạp cổ điển λόγος (logos), nghĩa nguyên thủy là từ ngữ, hoặc điều đã được nói, (nhưng trong nhiều ngôn ngữ châu Âu đã trở thành có ý nghĩa là suy nghĩ hoặc lập luận hay lý trí). Logic thường được nhắc đến như là một ngành nghiên cứu về tiêu chí đánh giá các luận cứ, mặc dù định nghĩa chính xác của...

 25 p mku 22/10/2012 554 4 Download

Biểu diễn tri thức bằng mệnh đề gặp phải một trở ngại cơ bản là ta không thể can thiệp vào cấu trúc của một mệnh đề. Hay nói một cách khác là mệnh đề không có cấu trúc . Điều này làm hạn chế rất nhiều thao tác suy luận . Do đó, người ta đã đưa vào khái niệm vị từ và lượng từ (∀ - với mọi, ∃ - tồn tại) để tăng cường tính cấu...

 29 p mku 22/10/2012 418 4 Download

Vậy logic mệnh đề là gì?: là một nhánh của triết học và toán học nghiên cứu về nguyên tắc, phương pháp và tiêu chuẩn hình thức cho sự hợp lệ của suy luân và kiến thức. Là khoa học ước lượng các suy luận, các luật của logic xác định ý nghĩa chính xác của một lý luận.

 36 p mku 22/10/2012 604 4 Download

Vậy logic mệnh đề là gì?: là một nhánh của triết học và toán học nghiên cứu về nguyên tắc, phương pháp và tiêu chuẩn hình thức cho sự hợp lệ của suy luân và kiến thức. Là khoa học ước lượng các suy luận, các luật của logic xác định ý nghĩa chính xác của một lý luận.

 34 p mku 22/10/2012 314 2 Download

Phần này mở rộng khái niệm heuristic cho một số bài toán tìm kiếm khác. Các thuật toán tìm kiếm UCS, tìm kiếm tốt nhất và A* thực hiện chiến lược vét cạn trên không gian tìm kiếm để tìm lời giải. Chiến lược này bảo đảm tìm được đường đi (tối ưu) nhưng phải duyệt nhiều trạng thái, đặc biệt khi bài toán có độ sâu lời giải lớn. Các...

 35 p mku 22/10/2012 385 3 Download

Trí tuệ nhân tạo là lĩnh vực khoa học chuyên nghiên cứu các phương pháp chế tạo trí tuệ máy sao cho giống như trí tuệ con người. Vài định nghĩa của trí tuệ nhân tạo điển hình là - Hệ thống mà biết suy nghĩ như con người - Hệ thống mà biết hành động như con người

 29 p mku 22/10/2012 474 4 Download

Trong khoa học máy tính, A* (đọc là A sao) là một thuật toán tìm kiếm trong đồ thị. Thuật toán này tìm một đường đi từ một nút khởi đầu tới một nút đích cho trước (hoặc tới một nút thỏa mãn một điều kiện đích). Thuật toán này sử dụng một "đánh giá heuristic" để xếp loại từng nút theo ước lượng về tuyến đường tốt nhất đi qua nút...

 30 p mku 22/10/2012 397 3 Download

Trí tuệ nhân tạo trong lĩnh vực CNTT là nhành khoa học nghiên cứu nhưng phương thức để máy tính có khả năng tư duy suy nghĩ như con người. Ngoài ra trí tuệ nhân tạo còn là ngành nghiên cứu nhưng phương thức để giúp máy tính làm được những công việc mà tại thời điểm đó nó là những công việc mà con người chưa làm được hay không làm được. Trí...

 71 p mku 22/10/2012 368 3 Download

Trí tuệ nhân tạo trong lĩnh vực CNTT là nhành khoa học nghiên cứu nhưng phương thức để máy tính có khả năng tư duy suy nghĩ như con người. Ngoài ra trí tuệ nhân tạo còn là ngành nghiên cứu nhưng phương thức để giúp máy tính làm được những công việc mà tại thời điểm đó nó là những công việc mà con người chưa làm được hay không làm được. Trí...

 18 p mku 22/10/2012 461 5 Download

Lich sử của máy tính cá nhân Sự ra đời của máy tính cá nhân Năm 1975 công ty MITS ( Mỹ ) giới thiệu chiếc máy tính cá nhân Altair đầu tiên trên thế giới, chiếc máy này sử dụng bộ vi xử lý 8080 của Intel, chiếc máy tính đầu tiên không có màn hình mà chỉ hiện kết quả thông qua các đèn Led Máy tính PC đầu tiên trên thế giới Altair Năm 1977 công ty...

 222 p mku 22/10/2012 386 2 Download

Ngôn ngữ lập trình (NNLT) C/C++ là một trong những ngôn ngữ lập trình hướng đối tượng mạnh và phổ biến hiện nay do tính mềm dẻo và đa năng của nó. Không chỉ các ứng dụng được viết trên C/C++ mà cả những chương trình hệ thống lớn đều được viết hầu hết trên C/C++. C++ là ngôn ngữ lập trình hướng đối tượng được phát triển trên nền...

 238 p mku 22/10/2012 491 3 Download

Cấu trúc dữ liệu và Giải thuật Cấu trúc dữ liệu và Giải thuật Chương III: Stack và Queue Danh sách kiểu ngăn xếp - Stack – Stack Một kiểu danh sách tuyến tính đặc biệt Phép bổ sung và phép loại bỏ tuân thủ theo cơ chế “vào sau ra trước” (last in first out) , được thực hiện ở đầu đỉnh đỉnh đáy Đỗ Bích Diệp - Khoa CNTT - ĐHBK...

 29 p mku 22/10/2012 370 1 Download