eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingjedno proste pytanieRe: jedno proste pytanie
  • Path: news-archive.icm.edu.pl!news.rmf.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!new
    sgate.onet.pl!niusy.onet.pl
    From: j...@p...onet.pl
    Newsgroups: pl.comp.programming
    Subject: Re: jedno proste pytanie
    Date: Tue, 10 Aug 2010 20:24:11 +0200
    Organization: Onet.pl
    Lines: 8
    Sender: n...@n...onet.pl
    Message-ID: <4...@n...onet.pl>
    References: <4...@n...onet.pl>
    NNTP-Posting-Host: newsgate.onet.pl
    Mime-Version: 1.0
    Content-Type: text/plain; charset="iso-8859-2"
    Content-Transfer-Encoding: 8bit
    X-Trace: newsgate.onet.pl 1281464651 19656 213.180.130.18 (10 Aug 2010 18:24:11 GMT)
    X-Complaints-To: n...@o...pl
    NNTP-Posting-Date: Tue, 10 Aug 2010 18:24:11 +0000 (UTC)
    Content-Disposition: inline
    X-Mailer: http://niusy.onet.pl
    X-Forwarded-For: 83.28.98.71, 10.174.28.51
    X-User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; pl; rv:1.9.0.19)
    Gecko/2010031422 Firefox/3.0.19 ( .NET CLR 3.5.30729)
    Xref: news-archive.icm.edu.pl pl.comp.programming:186434
    [ ukryj nagłówki ]

    > Uczono mnie logiki Hoare'a. Czy takie akademickie rozważania bywają stosowane w
    > praktyce?

    Pytam, bo zdaję sobie sprawę, że dowodzenie poprawności nawet prostego programu,
    np. algorytmu sortowania, jest żmudne.

    --
    Wysłano z serwisu OnetNiusy: http://niusy.onet.pl

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: