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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
następna edycja →
WizualnieWikikod
Mengel (dyskusja | edycje)
1013 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}}
[[Grafika:sw0109.png|frame|center|]]
[[Grafika:sw0109.png|frame|center|]]


Tutaj opis do slajdu
Tutaj opis do slajdu

Wersja z 09:05, 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_-_Slajd10&oldid=13069”