TAILIEUCHUNG - Bài giảng Nguyên lý và phương pháp lập trình - TS. Nguyễn Tuấn Đăng

Bài giảng Nguyên lý và phương pháp lập trình giúp người học hiểu về "Kiểm chứng tính đúng đắn của chương trình". Nội dung trình bày cụ thể gồm có: Lập trình có cấu trúc, các phương pháp hình thức, lập trình có cấu trúc theo tiếp cận top-down, cách tiếp cận kết hợp, các cấu trúc trình tự (sequences), các cấu trúc điều kiện. | Nguyên lý và phương pháp lập trình Kiểm chứng tính ñúng ñắn của chương trình TS. Nguyễn Tuấn ðăng 1 Nội dung • • • • • Lập trình có cấu trúc Các phương pháp hình thức Lập trình có cấu trúc theo tiếp cận top-down Cách tiếp cận kết hợp Các cấu trúc trình tự (sequences) – Các cấu trúc trình tự – hình thức hóa – Các cấu trúc trình tự – kiểm chứng – Các cấu trúc trình tự – sơ ñồ kiểm chứng • Các cấu trúc ñiều kiện – Các cấu trúc ñiều kiện – hình thức hóa – Các cấu trúc ñiều kiện – kiểm chứng – Các cấu trúc ñiều kiện – sơ ñồ kiểm chứng 2 Nội dung (tt) • Các cấu trúc vòng lặp – – – – – Các cấu trúc vòng lặp – ví dụ Các cấu trúc vòng lặp – chương trình dẫn xuất Các cấu trúc vòng lặp – kết quả Các cấu trúc vòng lặp – sơ ñồ kiểm chứng Các cấu trúc vòng lặp – các lỗi trong kiểm chứng • Tóm lược 3 Lập trình có cấu trúc • Chương trình sử dụng các cấu trúc ñiều khiển căn bản theo nguyên tắc 1-in, 1-out : – – – – Cấu trúc trình tự : begin S1 S2 end Cấu trúc chọn lựa : if E then S1 else S2 end Cấu trúc vòng lặp : while E loop S1 end Các cấu trúc ñiều khiển trên còn bao gồm thêm : if với elseif, case, for, etc. • Boehm và Jacopini, 1966 – Chứng minh rằng cấu trúc ñiều khiển của bất kỳ một lược ñồ chương trình nào cũng có thể ñược biểu ñạt mà không cần dùng các phát biểu gotos, chỉ cần dùng các cấu trúc: trình tự, chọn lựa và vòng lặp. 4 Lập trình có cấu trúc • Edsger Dijkstra, 1970 – Lý luận rằng các phát biểu goto là có hại trong chương trình, ñồng thời ñưa ra ý tưởng về việc kiểm chứng tính ñúng ñắn của chương trình bằng các phương pháp .

• Cơ sở dữ liệu
• Bài giảng Nguyên lý và phương pháp lập trình
• Nguyên lý và phương pháp lập trình
• Phương pháp lập trình
• Kiểm chứng tính đúng đắn
• Lập trình có cấu trúc
• Tổng quan các ngôn ngữ lập trình
• Tối ưu hóa chương chương trình
• Kỹ thuật tối ưu hóa chương trình
• Tối ưu hóa vòng lặp và logic
• Biến đổi vòng lặp
• Lập trình có cấu trúc với ngôn ngữ C
• Kỹ thuật lập trình
• Ngôn ngữ lập trình
• Các kiểu dữ liệu có cấu trúc
• Kiểu dữ liệu
• Giới thiệu về ngôn ngữ C
• Thành phần của ngôn ngữ C
• Bài giảng Ngôn ngữ lập trình
• Kiểu dữ liệu có cấu trúc
• Sự đặc tả kiểu dữ liệu có cấu trúc
• Mảng nhiều chiều
• Mẩu tin có cấu trúc thay đổi
• Bài giảng Kỹ thuật lập trình
• Phương pháp lập trình có cấu trúc
• Kỹ thuật lập trình có cấu trúc
• Cấu trúc dữ liệu
• Nguyên lý lập trình
• trắc nghiệm turbo C
• test turbo C
• ngôn ngữ lập trình C
• biến toàn cục
• Chương trình con
• Bài giảng Kỹ thuật lập trình C/C++
• Kỹ thuật lập trình C/C++
• Cấu trúc điều khiển
• Cấu trúc tuần tự
• Cấu trúc rẽ nhánh có điều kiện
• Cấu trúc lựa chọn
• Lập trình căn bản
• Bài giảng Lập trình căn bản
• Ngôn ngữ C
• Lập trình C
• Lệnh có cấu trúc
• Cấu trúc rẽ nhánh
• Bài giảng Chương 7
• Lập trình hướng đối tượng
• Đặc điểm lập trình hướng đối tượng
• Đặc trưng lập trình hướng đối tượng
• Lập trình C nâng cao‎
• Bài giảng Lập trình C nâng cao‎
• Thuộc tính cấu trúc
• Lập trình trên mảng cấu trúc
• Ngôn ngữ lập trình Pascal
• Bài giảng Ngôn ngữ lập trình Pascal
• Kiểu tệp File
• Phân loại tệp
• Cấu trúc tệp
• Cách truy xuất
• Xử lý cấu trúc đơn
• Xử lý mảng có cấu trúc
• Lập trình cơ bản
• Bài giảng Lập trình cơ bản
• Khai báo cấu trúc
• Truy xuất thành phần cấu trúc
• Bài giảng Nhập môn lập trình
• Nhập môn lập trình
• Mảng cấu trúc
• Kiểu cấu trúc
• lưu đồ thuật toán
• chuỗi kí tự
• mảng hai chiều
• tập tin
• bài tập lập trình
• lập trình ứng dụng
• Dữ liệu có cấu trúc
• Danh sách liên kết
• Danh sách ngăn xếp
• Danh sách hàng đợi
• dữ liệu tự định nghĩa
• tài liệu lập trình C
• thủ thuật lập trình với C
• lý thuyết lập trình C
• Kiểu bản ghi
• Cách sử dụng Record
• Ứng dụng mảng
• Mảng có cấu trúc
• Lập trình C++
• Bài tập Lập trình C++
• Cấu trúc lặp
• Bài tập mảng
• Bài tập kiểu dữ liệu
• Giáo trình Kỹ thuật lập trình
• Cấu trúc hàm
• Lập trình hệ thống nhúng
• Cấu trúc chương trình
• Tệp tiêu đề của mô đun