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 |
mNie podano opisu zmian |
||
| Linia 24: | Linia 24: | ||
</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> | ||
Wstęp | |||
[[Literatura]] | |||
Programy | |||
Programy, sprzeczne oczekiwania | |||
Wielki Cel | |||
Slajd6|Składnia | |||
Slajd7|Semantyka | |||
Slajd8|Pragmatyka | |||
Slajd9|Logika | |||
Slajd10|Metodyka | |||
Slajd11|Implementacja | |||
Slajd12|Formalna semantyka | |||
Wersja z 12:37, 29 wrz 2020
Wstęp Literatura Programy Programy, sprzeczne oczekiwania Wielki Cel Slajd6|Składnia Slajd7|Semantyka Slajd8|Pragmatyka Slajd9|Logika Slajd10|Metodyka Slajd11|Implementacja Slajd12|Formalna semantyka
