... TRƯỜNG ĐẠI HỌC ĐÀ LẠT F 7 G GIÁO TRÌNH KỸ THUẬT LẬP TRÌNH NÂNG CAO TRẦN HOÀNG THỌ 20 02 Kỹ thuật lập trình nâng cao - 53 - - Thử nghiệm ở mức độ hệ ... 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 cần trình bày đoạn chương trình đó trong một dạng ngôn ngữ lập trình chuẩn mực ở dạng cốt lõi. Ngôn ngữ lập trình ... Kỹ thuật lập trình nâng cao - 62 - {true} x := 5 ; y := 2 { x = 5, y = 2 } Ta có : { 5 = 5 } x := 5 { x= 5} (a) // tiên đề gán true =>( 5 = 5 ) và ( x = 5) => ( (x = 5) and (2 = 2) ...