Giáo trình toán sơ cấp: Chương 3: Hệ tiêu đề Hinbe
Giáo trình Toán rời rạc Chương 3.4
... Tính đáp ứng chương trình (Respond problem): Với liệu nhập cho, chương trình dừng kết xuất chương trình gì? Tính chương trình (Correctness problem): Với liệu nhập cho kết xuất chương trình có phù ... đương chương trình (Equivalence problem): Cho hai chương trình Liệu hai chương trình có cho kết xuất ứng với liệu nhập hay không? Tính đặc trưng chương trình (...
Ngày tải lên: 13/11/2012, 16:17
13
740
2
