Chuyên Đề Kỹ thuật lập trình nâng cao

Giào trình gồm hai phần chính. Phần thứ nhất: Đệ quy, trình bày về chủ đề đệ quy trong lập trình bao gồm; khái niệm đệ quy và vai trò của nó trong lập trình; 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; cơ chế thực hiện một giải thuật đệ quy. Phần thứ hai: 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; 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 có điều kiện; hệ luật Hoare và áp dụng của nó vào kiểm chứng tính đúng có điều kiện​