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 10: | Linia 10: | ||
Programy, sprzeczne oczekiwania | Programy, sprzeczne oczekiwania | ||
Wielki Cel | Wielki Cel | ||
Slajd6| | Slajd6|Składnia | ||
Slajd7 | Slajd7|Semantyka | ||
Slajd8 | Slajd8|Pragmatyka | ||
Slajd9 | Slajd9|Logika | ||
Slajd10 | Slajd10|Metodyka | ||
Slajd11 | Slajd11|Implementacja | ||
Slajd12 | Slajd12|Formalna semantyka - po co? | ||
Slajd13 | Slajd13|Przykład | ||
Slajd14 | Slajd14|Przykład, c.d. | ||
Slajd15 | Slajd15|Przykład, reguła dowodzenia | ||
Slajd16 | Slajd16|Uzasadnianie poprawności | ||
Slajd17 | Slajd17|Plan zajęć | ||
Contact | Contact | ||
</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> | ||
