GIÁO TRÌNH LẬP TRÌNH - GIỚI THIỆU

Trong các năm qua, nhiều tài liệu của ngành công nghệ thông tin đã đượcgiới thiệu nhiều cho các cán bộ nghiên cứu, ứng dụng và sinh viên ở bậcđại học. Tuy nhiên các giáo trình của ngành học này chưa đáp ứng dược nhucầu của sinh viên các trường đại học, đặc biệt đối với sinh viên khu vựcmiền Trung.
Nội dung trích xuất từ tài liệu:
GIÁO TRÌNH LẬP TRÌNH - GIỚI THIỆU Lời nói đầuTrong các năm qua, nhiều tài liệu của ngành công nghệ thông tin đã đượcgiới thiệu nhiều cho các cán bộ nghiên cứu, ứng dụng và sinh viên ở bậcđại học. Tuy nhiên các giáo trình của ngành học này chưa đáp ứng dược nhucầu của sinh viên các trường đại học, đặc biệt đối với sinh viên khu v ựcmiền Trung.Vì vậy, chúng tôi biên soạn giáo trình “Trí tuệ nhân tạo”, m ột môn c ơ s ởchuyên ngành trong chương trình đào tạo Cử nhân Tin học, ngoài mục đíchxây dựng nhiều giáo trình trên một khung chương trình đào tạo, mà còn giúpcho sinh viên có tài liệu học tập phù hợp với hoàn c ảnh th ực t ế c ủa Đ ạihọc Huế.Trong cuốn sách này, sinh viên được làm quen với một s ố ki ến th ức c ơ b ảnnhất về các phương pháp tìm kiếm lời giải và các phương pháp xử lý trithức. Ngoài ra, cuốn sách cũng giới thiệu một số chương trình cài đặt,nhằm giúp sinh viên có thể hiểu một cách tường tận các giải thuật, đồngthời tin tưởng rằng các giải thuật này có th ể áp dung th ực t ế và cài đ ặtđược trên máy tính một cách dễ dàng.Các nội dung trình bày trong cuốn sách đã từng được giảng cho sinh viênngành Công nghệ Thông tin tại Đại học Huế trong những năm vừa qua.Cuốn sách ra đời dưới sự giúp đỡ về mặt vật chất cũng nh ư tinh thần c ủaĐại học Huế, Trường Đại học Khoa học và đặc bi ệt là Ban ch ủ nhi ệmKhoa Công nghệ Thông tin và các đồng nghiệp thuộc B ộ môn Khoa h ọcMáy tính. Chúng tôi xin gửi tới họ lòng biết ơn. Xin chân thành cám ơn cácbạn bè đã cổ cũ và gíup cho cuốn sách sớm được hoàn thành.Mặc dù đã hết sức cố gắng, tuy nhiên cuốn sách cũng không tránh khỏinhững thiếu sót. Chúng tôi rất mong được sự góp ý của các độc giả, đặcbiệt đối với các đồng nghiệp và sinh viên để cuốn sách ngày càng hoànthiện. Huế, tháng 7 năm 2004 Tác giả Tài liệu tham khảo1. Bạch Hưng Khang, Hoàng Kiếm Trí tuệ nhân tạo: Các phương pháp và ứng dụng. Nhà xuất bản Khoa học và Kỹ thuật, 1989.2. Đinh Mạnh Tường Giáo trình Trí tuệ nhân tạo, Đại học Quốc gia Hà nội.3. Nguyễn Thanh Thuỷ Trí tuệ nhân tạo: Các phương pháp giải quyết vấn đề và k ỹ thu ật xử lý tri thức. Nhà xuất bản Giáo dục, 1996.4. N. Nilson Artificial Intelligence. Ed. McGrawhill, 19715. Patrick Henry Winston Artificial Intelligence. Ed. Addison Wesley, 1992.. Mục lụcChương 0. Mở đầu 21. Tổng quan về Khoa học Trí ruệ nhân tạo 22. Lịch sử phát triển của Trí tuệ nhân tạo 53. Một số vấn đề Trí tuệ nhân tạo quan tâm 84. Các khái niêm cơ bản 10Chương 1. Biểu diễn bài toán trong không gian trạng thái 121. Đặt vấn đề 122. Mô tả trạng thái 123. Toán tử chuyển trạng thái 144. Không gian trạng thái của bài toán 175. Biểu diễn không gian trạng thái dưới dạng đồ thị 186. Bài tập 21Chương 2.Các phương pháp tìm kiếm lời giải trong không gian trạng thái 231. Phương pháp tìm kiếm theo chiều rộng 232. Phương pháp tìm kiếm theo chiều sâu 303. Phương pháp tìm kiếm sâu dần 344. Phương pháp tìm kiếm tốt nhất đầu tiên 365. Tìm kiếm đường đi có giá thành cực tiểu - Thuật toán AT 396. Tìm kiếm cực tiểu sử dụng hàm đánh giá - Thuật toán A* 437. Phương pháp tìm kiếm leo đồi 468. Phương pháp sinh và thử 499. Phương pháp thoả mãn ràng buộc 5110. Cài đặt một số giải thuật. 5311. Bài tập 72Chương 3Phân rã bài toán – Tìm kiếm lời giải trên đồ thị Và/Hoặc 901. Đặt vấn đề 902. Đồ thị Và/Hoặc 923. Các phương pháp tìm kiếm lời giải trên đồ thị Và/Hoặc 944. Cây tìm kiếm và các đấu thủ 104Chương 4.Biểu diễn bài toán bằng logic và các phương pháp chứng minh 1071. Biểu diễn vấn đề hờ logic hình thức 1082. Một số giải thuật chứng minh 1303. Ví dụ và bài tập 138Chương 5. Tri thức và các phương pháp suy diễn 1481. Tri thức và dữ liệu 1482. Các dạng mô tả tri thức 1493. Suy diễn trên luật sản xuất 152Tài liệu tham khảo 163 ...