SW wykład 1 - Slajd17

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

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

Sw0116.png

Uwaga: niektóre punkty podane w powyższym planie zajęć przedstawione są w dwóch modułach.

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

Menu nawigacyjne

Działania na stronie

  • Strona
  • Dyskusja
  • Tekst źródłowy
  • Historia

Działania na stronie

  • Strona
  • Dyskusja
  • Więcej
  • Narzędzia
  • W innych językach

Narzędzia osobiste

  • Zaloguj się

Nawigacja

  • Strona główna
  • Przedmioty
  • Uczelnie
  • O nas
  • MIMINF
  • MIMMAT

Narzędzia

  • Linkujące
  • Zmiany w linkowanych
  • Strony specjalne
  • Wersja do druku
  • Link do tej wersji
  • Informacje o tej stronie

 
Powered by MediaWiki
  • Tę stronę ostatnio edytowano 17 sie 2006, 11:15.
  • Polityka prywatności
  • O Studia Informatyczne
  • Informacje prawne