Om invarianter som alle programmerere må kunne
Ukens læringsmål:
Du vet hva en invariant er
Du kan tenke i invarianter i
- Løkker
- Data i objekter
Du vet hva for-betingelser og bak-betingelser er (pre-conditions og post-conditions) og du kan bruke slike når du programmerer
Join Zoom Meeting
https://uio.zoom.us/j/4413601914
Meeting ID: 441 360 1914
Documentation on how to use Zoom can be found here:
https://www.uio.no/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+4723960588,,4413601914# Norway
+4773494877,,4413601914# Norway
Dial by your location
+47 2396 0588 Norway
+47 7349 4877 Norway
Meeting ID: 441 360 1914
Find your local number: https://uio.zoom.us/u/cI14tE5lB
Join by SIP
4413601914@109.105.112.236
4413601914@109.105.112.235
Join by H.323
109.105.112.236
109.105.112.235
Meeting ID: 441 360 1914