matematyka
 ° Forum ° Odpowiedz ° Rejestracja ° Szukaj °
samochody ciężarowe ° Auto giełda ° Sprzedam motocykle °

Predykat, częsciowa poprawność itp.

Matma / Predykat, częsciowa poprawność itp.
Autor Wiadomość
Marcin

Posted: 30 Gru 2000 14:05:03



Czy ktoś zna dobrą literatrurę (ew. WWW) dot.
- sprawdzania częściowej poprawności programów (schemat blokowy)
(dokładnie jak ustalić niezmiennik pętli)
- dowodzenia, że program zakończy działanie?
Z góry wilkie dzięki
Pozdrawiam






Twoja wypowiedź

Bold Style  Italic Style  Underlined Style  Image Link  Insert URL  Email Link  Wyłącz BB code


Zanim wyślesz jakąś wiadomość z polskimi znakami, upewnij się czy kodowanie znaków w twojej przeglądarce to ISO-8859-2
 » Login  » Hasło 
 


Czas ładowania strony (sek.): 0.008
miniBB.net © 2001-2008 op19 transport ekonomia
  • Jak sobie przedłużyć datę ważności
    • Pokolenie wyżu demograficznego właśnie zaczyna przechodzić na emeryturę. Dobrych rad na zdrową długowieczność jest bez liku, ale według współczesnej nauki tylko kilka z nich jest pewnych
  • Przychodzi e-baba do lekarza
    • Wirtualny pacjent zamiast rycin w podręcznikach. Wkrótce studenci medycyny już od pierwszego roku będą poznawać sztukę lekarską, lecząc... e-pacjentów.
  • Akupunktura, czyli żadne czary-mary
    • To jedna z niewielu metod medycyny niekonwencjonalnej, która została uznana przez jej klasyczną siostrę. Choć nie do końca wiadomo na czym polega jej działanie, grunt, że w leczeniu bólu naprawdę jest skuteczna.