Dyskusja:Semantyka i weryfikacja programów/Ćwiczenia 2

Do tresci Cwiczenia 1 dodalbym cos w rodzaju "i zmodyfikuj reguly dla instrukcji", gdyz sama semantyka wyrazen byla zdefiniowana juz w cwiczeniu 1, a semantyka wyrazen boolowskich w zadaniu domowym 3, wiec z wierzchu nie widac powodu dlaczego warto to powtarzac (choc my wiemy --- dla przypomnienia najbardziej podstawowych rzeczy oraz by rozpatrzec troche wiecej wariantow rozwiazania). Mysle, ze warto tez w tresci rozwiazania napomknac "a teraz modyfikujemy reguly dla instrukcji jezyka Tiny, aby...".

Ladnie sa rozpracowane cwiczenia 4 i 5. Widac po dlugosci, ze to jednak bylo za trudne zadanie na egzamin. :) Wielu studentow wpadlo na inne (prawie) dobre rozwiazania, a niewielu na to podane, wiec byc moze zmienic "Podstawowy pomysl polega na potraktowaniu przeniesienia jak dodatkowego skladnika" na "Podstawowa idea najprostszego sposobu rozwiazania polega na..."?