em có đang học theo cuốn “nhập môn lập trình” thi đọc tới khái niệm về bất biến thì không hiểu nữa. phần này ở trường em có dạy rồi. nhưng do lơ là em quên rồi . mong anh chị nào hiểu diễn giải lại cho em hiểu với ạ .
nếu có tài liệu tham khảo phần này dễ hiểu cho em xin với ạ
em rất trân trọng cảm ơn ac
Bất biến của vòng lặp
Dòng cuối đủ xài mình c/m code cũng chỉ so spec thôi.
Hic học nhiều nơi mà giờ mới biết cái kia gọi là bất biến kk, công nhận sách này nói phức tạp thật, cái ví dụ sau còn ko giải thích sao gán y = 1 ở trên vòng lặp, vòng for thì nó có thêm biểu thức kia để xác định số lần lặp, thiếu 1 vài chỗ hoặc bỏ đi chỉ còn 2 dấu chấm phẩy cũng dc, cơ hội để bạn test đó, mà chỗ nào vòng while dùng dc thì vòng for cũng làm đc chứ ko như nhiều ng nói for ko đc như vòng while.
Học lập trình mấy năm, lần đầu được nghe từ này
Thôi, bỏ đi bạn, phần này lý thuyết không quan trong đâu
Nói chung là vòng for thì phần điều kiện kiểm tra nên là “bất biến” chứ nếu mà nó cũng thay đổi theo biến thì khả năng xảy ra “lỗi”
Ahuhu nghịch dại rồi, nó chạy đến hơn 4 triệu vẫn chưa dừng T_T
Ạc giờ mới hiểu cái từ bất biến ở đây
Nếu không lầm thì trang sau sẽ chỉ cách tính bất biến của nhiều vòng lặp lồng, lộn, đè, nằm lên nhau các kiểu …
Bất biến tức điều kiện để tiếp tục vòng lặp, còn chân trị là điều kiện để kết thúc vòng lặp thôi. Đọc sách này tổn thọ mất
Đọc sách chỉ thấy ngu đi không biết do sách dịch nên thế hay bản thân sách gốc cũng thế
em cám ơn mấy ac
chắc phải tìm thêm tài liệu quá ahuhu
Bớt đi em
Trong quá trình viết code, gặp gì vướng mắc thì search chứ đọc sách mà hiểu thì em cũng bá đấy
Cái invariant, pre/postcond chừng nào bạn học chứng minh code thì mới xài thôi giờ bỏ qua đi.
Chắc không bỏ đc đâu vì sắp thi cuối kỳ mà
Mấy môn 101 làm gì hỏi cái đó giáo trình mà cuốn này chắc cũng 101.
Nếu sau này đi làm “thợ code” thì thôi học cho qua môn đi
Kiến thức này chắc dành cho bên toán tin và trình biên dịch sao?