Vòng lặp for và while: bất biến, tiến triển và điều kiện dừng

Chuẩn biên tập: Kết nối tri thức với cuộc sống – giải thích bằng bằng chứng và kiểm thử.

🔁 Vòng lặp nén quy trình lặp lại

Dùng for khi duyệt một dãy; dùng while khi tiếp tục dựa trên điều kiện chưa biết trước số lượt. Cả hai cần trạng thái thay đổi qua mỗi lượt.

for i in range(1, 5) duyệt 1, 2, 3, 4; cận phải không được lấy. Với while n > 0: n -= 1, n giảm và bị chặn dưới nên vòng lặp dừng.

Bất biến

Bất biến là mệnh đề đúng trước và sau mỗi lượt, giúp lập luận chương trình đúng. Nó không tự chứng minh dừng; còn cần đại lượng tiến về giới hạn.

⚠️ Tránh sửa danh sách đang duyệt

Thêm hoặc xóa tùy tiện có thể bỏ sót phần tử. Thường nên tạo danh sách mới hoặc duyệt bản sao.