rongxanhqn
10-08-2009, 08:33 PM
http://tbn1.google.com/images?q=tbn:T_RdlOsFacaRoM:http://degreedirectory.org/cimages/multimages/2/computer_programming.jpgTrần Hoàng Thọ, ĐH Đà Lạt.
Nội dung
Phần I. Đệ quy
Trình bày về chủ đề đệ quy trong lập trình bao gồm các nội dung sau :
<!--[if !supportLists]--> <!--[endif]-->- Khái niệm đệ quy và vai trò của nó trong lập trình.
<!--[if !supportLists]--> - Cách xây dựng một giải thuật cho một bài toán bằng phương pháp đệ quy. <!--[endif]-->
<!--[if !supportLists]--> - Cơ chế thực hiện một giải thuật đệ quy. <!--[endif]-->
<!--[if !supportLists]--> - Khử đệ quy. <!--[endif]-->
Phần II. Kiểm chứng chương trình
Trình bày về chủ đề kiểm chứng tính đúng của chương trình bao gồm các nội dung sau
<!--[if !supportLists]--> - <!--[endif]-->Vai trò của vấn đề kiểm chứng trong lập trình.
- Các phương pháp dùng để kiểm chứng tính đúng . <!--[endif]-->
<!--[if !supportLists]--> - Hệ luật Hoare và áp dụng của nó vào kiểm chứng tính đúng đúng có điều kiện <!--[endif]-->
<!--[if !supportLists]--> - Hệ luật Dijkstra và áp dụng của nó vào kiểm chứng tính năng đầy đủ. <!--[endif]-->
<!--[if !supportLists]--> - Dạng tổng quát của bài toán kiểm chúng và phương pháp kiểm chứng. Các lược đề kiểm chứng và tập tối thiểu các điêu kiện cần kiêm chứng. <!--[endif]-->
Phụ lục . Các kiến thức chung về logic.
http://cdtvn.net/attachments/071_Kythuatlaptrinh.pdf
Nội dung
Phần I. Đệ quy
Trình bày về chủ đề đệ quy trong lập trình bao gồm các nội dung sau :
<!--[if !supportLists]--> <!--[endif]-->- Khái niệm đệ quy và vai trò của nó trong lập trình.
<!--[if !supportLists]--> - Cách xây dựng một giải thuật cho một bài toán bằng phương pháp đệ quy. <!--[endif]-->
<!--[if !supportLists]--> - Cơ chế thực hiện một giải thuật đệ quy. <!--[endif]-->
<!--[if !supportLists]--> - Khử đệ quy. <!--[endif]-->
Phần II. Kiểm chứng chương trình
Trình bày về chủ đề kiểm chứng tính đúng của chương trình bao gồm các nội dung sau
<!--[if !supportLists]--> - <!--[endif]-->Vai trò của vấn đề kiểm chứng trong lập trình.
- Các phương pháp dùng để kiểm chứng tính đúng . <!--[endif]-->
<!--[if !supportLists]--> - Hệ luật Hoare và áp dụng của nó vào kiểm chứng tính đúng đúng có điều kiện <!--[endif]-->
<!--[if !supportLists]--> - Hệ luật Dijkstra và áp dụng của nó vào kiểm chứng tính năng đầy đủ. <!--[endif]-->
<!--[if !supportLists]--> - Dạng tổng quát của bài toán kiểm chúng và phương pháp kiểm chứng. Các lược đề kiểm chứng và tập tối thiểu các điêu kiện cần kiêm chứng. <!--[endif]-->
Phụ lục . Các kiến thức chung về logic.
http://cdtvn.net/attachments/071_Kythuatlaptrinh.pdf