-
Data: 2015-04-01 08:46:29
Temat: Re: poprawność algorytmu
Od: firr <p...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]W dniu poniedziałek, 30 marca 2015 10:25:57 UTC+2 użytkownik firr napisał:
> W dniu piątek, 27 marca 2015 10:57:26 UTC+1 użytkownik g...@g...com napisał:
> > > 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).
> >
>
> nie jestem pewien czy to wystarczy.. czasem moze nawet dosyc czesto moze okazac sie
ze
> mio ze te wnioskowania byly poprawne to
> ogolnie problem wynika z przeoczenia pewnych
> pobocznych czynników
>
> innymi slowy mi wyglada na to ze dowody sa
> rowniez czesciowe tak samo jak testy ;/
>
wogole chyba mozna powiedziec ze dowodzeniu i testowaniu mozna przyznac 'moralny'
remis
Następne wpisy z tego wątku
- 01.04.15 09:01 firr
- 01.04.15 11:57 M.M.
- 01.04.15 12:03 M.M.
- 01.04.15 12:44 firr
- 01.04.15 12:51 firr
- 01.04.15 14:29 M.M.
- 01.04.15 14:32 M.M.
- 01.04.15 14:37 firr
- 01.04.15 14:42 firr
- 01.04.15 15:31 g...@g...com
- 01.04.15 17:10 g...@g...com
- 01.04.15 17:25 Maciej Sobczak
- 02.04.15 01:29 Roman W
- 02.04.15 08:14 M.M.
- 02.04.15 10:56 g...@g...com
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-07-10 Nadchodzi nowa opłata od posiadania aut spalinowych
- 2024-07-10 Droga dwukierunkowa
- 2024-07-10 Elektryki są fajne
- 2024-07-10 Elektryki są fajne :(
- 2024-07-09 USB -> jack
- 2024-07-10 Kompakt WC z montażem
- 2024-07-10 Gorąco za oknem, to napisałem piosenkę o grupowiczach
- 2024-07-09 Naprawa klimy przenośnej - czy to opłacalne?
- 2024-07-10 Białystok => Technical Leader (Java Background) <=
- 2024-07-10 Białystok => Senior Rust Software Engineer <=
- 2024-07-10 Warszawa => Spedytor Międzynarodowy <=
- 2024-07-10 Warszawa => Spedytor międzynarodowy <=
- 2024-07-10 Warszawa => Technical Lead ( (Java Background)) <=
- 2024-07-10 Warszawa => Projektant/Programista React Native <=
- 2024-07-10 Gdańsk => Head of International Freight Forwarding Department <=