Szablon:Semantyka i weryfikacja programów/Wykład 1: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 16: | Linia 16: | ||
Slajd10|Metodyka | Slajd10|Metodyka | ||
Slajd11|Implementacja | Slajd11|Implementacja | ||
Slajd12|Formalna semantyka | Slajd12|Formalna semantyka | ||
Slajd13|Przykład | Slajd13|Przykład | ||
Slajd14|Przykład, c.d. | Slajd14|Przykład, c.d. | ||
| Linia 22: | Linia 22: | ||
Slajd16|Uzasadnianie poprawności | Slajd16|Uzasadnianie poprawności | ||
Slajd17|Plan zajęć | Slajd17|Plan zajęć | ||
</slides>}} | </slides>}} | ||
<font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font> | <font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font> | ||
