eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingpoprawność algorytmuRe: poprawność algorytmu
  • X-Received: by 10.140.48.97 with SMTP id n88mr301385qga.35.1427450244276; Fri, 27 Mar
    2015 02:57:24 -0700 (PDT)
    X-Received: by 10.140.48.97 with SMTP id n88mr301385qga.35.1427450244276; Fri, 27 Mar
    2015 02:57:24 -0700 (PDT)
    Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.cyf-kr.edu.pl!news.nask
    .pl!news.nask.org.pl!news.unit0.net!news.glorb.com!z20no267109igj.0!news-out.go
    ogle.com!q90ni534qgd.1!nntp.google.com!z107no5143143qgd.0!postnews.google.com!g
    legroupsg2000goo.googlegroups.com!not-for-mail
    Newsgroups: pl.comp.programming
    Date: Fri, 27 Mar 2015 02:57:24 -0700 (PDT)
    In-Reply-To: <d...@g...com>
    Complaints-To: g...@g...com
    Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=89.71.169.86;
    posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
    NNTP-Posting-Host: 89.71.169.86
    References: <4...@g...com>
    <d...@g...com>
    <meti4e$osd$1@srv.chmurka.net>
    <f...@g...com>
    <mevfpd$gpa$1@srv.chmurka.net>
    <e...@g...com>
    <mf1tnf$d48$1@srv.chmurka.net>
    <d...@g...com>
    User-Agent: G2/1.0
    MIME-Version: 1.0
    Message-ID: <e...@g...com>
    Subject: Re: poprawność algorytmu
    From: g...@g...com
    Injection-Date: Fri, 27 Mar 2015 09:57:24 +0000
    Content-Type: text/plain; charset=ISO-8859-2
    Content-Transfer-Encoding: quoted-printable
    Xref: news-archive.icm.edu.pl pl.comp.programming:207677
    [ ukryj nagłówki ]


    > Myślę że w praktyce w ogóle nie ma możliwości przeprowadzenia takiego
    > dowodu, nawet dla mniejszych programów. Jak udowodnić, że w dowodzie
    > nie ma błędu?

    To jest akurat rzecz podstawowa: wystarczy pokazać, że każdy krok dowodu
    wynika logicznie z tez dowiedzionych wcześniej, albo przyjętych przez nas
    aksjomatów, w oparciu o uznawane przez nas reguły wnioskowania
    (które uważamy za oczywiste).

    Walidacja dowodu jest zabiegiem bardzo prostym -- z pewnością
    o wiele prostszym, niż znalezienie dowodu.

    Oczywiście pewien problem natury epistemicznej wiąże się ze sformułowaniem
    odpowiedniej listy aksjomatów, które miałyby odzwierciedlać rozważany
    przez nas problem

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: