Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Chữ lập trình dùng để chỉ thao tác của con người nhằm kiến tạo nên các chương trình máy tính thông qua các ngôn ngữ lập trình. Người ta còn gọi quá trình lập trình đó là quá trình mã hoá thông tin tự nhiên thành ngôn ngữ máy. Trong các trường hợp xác định thì chữ lập trình còn được viết là "viết mã" (cho chương trình máy tính). | Mục lục CHƯƠNG 1 ĐẠI CƯƠNG VE CÔNG NGHÊ PHAN MEM.5 I. Khai quát VỀ LỊCH SỬ LẬP TRÌNH.5 1.1. Lập trình tuyến tính.5 1.2. Lập trình co cậu true.6 1.3. Lập trình định hưổng đối tượng ĐHĐT .6 1.4. Lập trình trực quan.7 1.5. Nhưng tư tưỢng each mang trong lập trình.7 II. các phương diền cUa công nghề phận mềm 8 11.1. Cống nghế phận mếm la gì .8 11.2. Nhưng yếu tố chật lượng bến ngoai va bến trong.8 11.3. San phậm phận mếm la gì .9 III. Nhưng nôi dung cơ ban cUa CNPM.11 111.1. Tống quan vế cống nghế phận mếm.11 111.2. Chu ky sống cua phận mếm.12 CHƯƠNG 2 THIET KE PHAN MEM.18 I. Nền tang cUa THIỀT kề phận mềm.18 II. Phương pháp lập trình cậu trUc.20 11.1. Khai niếm vế lập trình cậu truc.22 11.2. Nhưng y tưỢng cợ ban lập trình cậu truc.22 11.3. Cac cậu truc điếu khiến chuận.25 11.4. Mốt số ví du viết chượng trình theo sợ đố khối.28 III. CẬU TRUC tôi thiều 29 III. 1. Cac cậu truc lống nhau.31 IV. LẬP TRÌNH Đơn thề 32 IV. 1. Khai niếm vế đợn thế .32 IV. 2. Mối liến hế giữa cac đợn thế .33 IV.2.1. Phân loại đơn thế.33 IV. 2.2. Tô chức một chương trình có cáu trúc đơn thế.33 V. phát triền chương trình bằng tinh chề tưng bươc.35 V. 1. Nối dung phượng phap.35 V.2. Ví du minh hoa.36 V. 2.1. Ví du 1. 36 V.2.2. Bai tóán 8 quán háu.38 TS. PHAN HUY khánh biến sóán i ii Công nghệ Phần mềm V. 3. Sửa đổi chương trình.42 VI. Phụ lục - ĐƠN VỊ TRONG Turbo Pascal.50 VI. 1. Giơi thiệu Unit.50 VI.2. Cẩu true cua Unit.50 VI.3. Cach sử dung Unit.52 VI.4. Ví du vệ Unit.53 VI.5. Bai táp.55 CHƯƠNG 3 HỢP thức HOA PHAN MEM.57 I. XAc MINH VA hợp thửc hOa phần mềm.57 II. Chửng minh Sự ĐUNG ĐẮN CUA chửơng trình.58 11.1. Suy luẩn Toan học.59 11.1.1. Các quy tắc suy luần Toán học.59 11.1.2. Khái niệm về chứng minh tính đúng đắn cUá chương trình.60 11.1.3. Tiền đề vá quy tắc suy diễn.61 11.1.4. Quy tắc điều kiện if B then P.62 11.1.5. Quy tắc điều kiền if B then P else Q.63 11.1.6. Quy tắc vong lắp while.63 11.1.7. Các quy tắc khác.64 11.2. Phương phap cua C.A.R. Hoare.66 11.2.1. Phát biểu.66 11.2.2. .
