SW wykład 1 - Wstęp: Różnice pomiędzy wersjami

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


Tutaj opis do slajdu
Tutaj opis do slajdu
{{Semantyka i weryfikacja programów/Wykład 1}}

Wersja z 08:17, 10 sie 2006

Tutaj opis do slajdu


<<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ęć

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