Розмір відео: 1280 X 720853 X 480640 X 360
Показувати елементи керування програвачем
Автоматичне відтворення
Автоповтор
Its great to see you posting again! Its been too long Andy. I look forward to seeing what you get up to in the future professor!
lack of time Brian. I have a good data science course that I want to make videos next time.
do we need to proof all of them.. or just one to say that this a correct code PLEAASE ANSWER ME !!!!!!!
proving correct code means that you need to show pre conditions + loop invariants lead to post-condition. Correct code means post condition is what you expect the code to do, You often need more than one LI to show this.
@@andyguna thank u proff
Its great to see you posting again! Its been too long Andy. I look forward to seeing what you get up to in the future professor!
lack of time Brian. I have a good data science course that I want to make videos next time.
do we need to proof all of them.. or just one to say that this a correct code PLEAASE ANSWER ME !!!!!!!
proving correct code means that you need to show pre conditions + loop invariants lead to post-condition. Correct code means post condition is what you expect the code to do, You often need more than one LI to show this.
@@andyguna thank u proff