Giáo trình ngôn ngữ lập trình C nâng cao

[ngoimongnho]

Trong môn lập trình C, tài liệu là rất quan trọng, để tìm được tài liệu hữu ích khổng phải là khó. Giáo trình lập trình C giúp các bạn biết thế nào là ngôn ngữ lập trình C và các câu lệnh liên quan. Bạn muốn tìm hiểu sâu thêm về lập trình C thì giáo trình ngôn ngữ lập trình C nâng cao sẽ giúp ích rất nhiều cho các bạn trong việc nâng cao kỹ năng lập trình của mình.

Giáo trình ngôn ngữ lập trình C nâng cao có 2 phần chính:
Phần 1: Đệ quy
Nội dung:
- Khái niệm của đệ quy và vai trò của nó.
- Cách xây dựng một giải thuật cho một bài toán.
- Cơ chế thực hiện một giải thuật đệ quy.
- Khử đệ quy.
Phần 2: Kiểm chứng chương trình
Nội dung:
- Vai trò của kiểm chứng trong lập trình.
- Các phương pháp trong kiểm chứng tính đúng.
- 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.
- Hệ luật Dijkstra và áp dụng của nó vào kiểm chứng tính đầy đủ.
- 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.
Ngoài ra còn có phần phụ lục – các kiến thức chung về logic áp dụng cho phần 1 và phần 2, các bạn cần dành thời gian ôn lại để có thể theo kịp hướng tiếp cận của giáo trình ngôn ngữ lập trình C nâng cao.
Hy vọng với tài liệu mình đưa ra giúp các bạn có thể học tốt môn này.
Các bạn download giáo trình ngôn ngữ lập trình C nâng cao tại đây:

http://www.mediafire.com/?no1ttf7d4zi9g5v