SW wykład 1 - Wielki Cel: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
← poprzednia edycjanastępna edycja →
WizualnieWikikod
Arturas (dyskusja | edycje)
397 edycji
Nie podano opisu zmian
Arturas (dyskusja | edycje)
397 edycji
Nie podano opisu zmian
Linia 1: Linia 1:
{{Semantyka i weryfikacja programów/Wykład 1}}
{{Semantyka i weryfikacja programów/Wykład 1}}
[[Grafika:sw0104.png|frame|center|]]
[[Grafika:sw0104.png|frame|center|]]


Tutaj opis do slajdu
Tutaj opis do slajdu

Wersja z 10:12, 10 sie 2006

<<powrót do strony wykładu

Wstęp Literatura Programy Programy, sprzeczne oczekiwania WielkiCel Składnia Semantyka Pragmatyka Logika Metodyka Implementacja Formalna semantyka Przykład Przykład, c.d. Przykład, reguła dowodzenia Uzasadnianie poprawności Plan zajęć

Tutaj opis do slajdu

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=SW_wykład_1_-_Wielki_Cel&oldid=13565”