... Tin học Kỹ thuật lập trình nâng cao - 2 - III. Đặc tả đoạn chương trình : 64 - $3. NGÔN NGỮ LẬP TRÌNH 66 - $4 . CHỨNG MINH TÍNH ĐÚNG CỦA CHƯƠNG TRÌNH 66 - I. Ký hiệu { P } S {Q} 66 - II. ... Kỹ thuật lập trình nâng cao - 66 - $3. NGÔN NGỮ LẬP TRÌNH Để kiểm chứng tính đúng của một đoạn chương trình, đầu tiên ta cần trình bày đoạn chương trình đó trong một dạng ngôn ngữ lập trình ... I(y*z ,z ,k -1 ) } k := k -1 ; { I(y*z ,z ,k) } y := y*z ; {I(y,z,k)} end {I(y,z,k) and (k = 0 )} Trần Hoàng Thọ Khoa Toán – Tin học Kỹ thuật lập trình nâng cao - 79 - Ví dụ :...