no som si presiel prednasky a nasiel som tam tieto dokazy
pr3- dokaz, ze prikaz while je semanticky ekvivalentny s prikazom if
pr4- dokaz ekvivalencie naturalnej a strukt operacnej semantiky
pr6- dokaz korektnosti abstraktnej implementacie (pre jednotlive prikazy)
pr8- dokaz ekvivalencie denotacnej a operacnej semantiky
vie mi niekot povedat ktore treba a ktore nie, resp. ktore som este prehliadol?
pr3- dokaz, ze prikaz while je semanticky ekvivalentny s prikazom if
pr4- dokaz ekvivalencie naturalnej a strukt operacnej semantiky
pr6- dokaz korektnosti abstraktnej implementacie (pre jednotlive prikazy)
pr8- dokaz ekvivalencie denotacnej a operacnej semantiky
vie mi niekot povedat ktore treba a ktore nie, resp. ktore som este prehliadol?