-
Data: 2015-03-30 09:45:06
Temat: Re: poprawność algorytmu
Od: slawek <f...@f...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On Thu, 26 Mar 2015 22:29:57 +0100, Andrzej Jarzabek
<a...@g...com> wrote:
> co można zrobić żeby udowodnuć jego poprawność i ile to będzie
kosztowało?
Dodam - a jak sprawdzić poprawność dowodu? Tzn. że w czasie
udowadniania nie popełniono pomyłki?
W matematyce też "udowadniania" różne rzeczy, a że potem znajdowano
błąd w dowodach...
Następne wpisy z tego wątku
- 30.03.15 09:49 slawek
- 30.03.15 10:18 Tomasz Kaczanowski
- 30.03.15 10:25 firr
- 30.03.15 11:15 Maciej Sobczak
- 30.03.15 12:15 g...@g...com
- 30.03.15 12:24 M.M.
- 30.03.15 20:08 Andrzej Jarzabek
- 31.03.15 02:07 Roman W
- 31.03.15 09:05 slawek
- 31.03.15 09:56 Maciej Sobczak
- 31.03.15 12:20 g...@g...com
- 31.03.15 14:48 M.M.
- 31.03.15 16:39 g...@g...com
- 31.03.15 19:08 slawek
- 31.03.15 19:29 M.M.
Najnowsze wątki z tej grupy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- 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??
Najnowsze wątki
- 2025-02-28 Chrzanów => Regionalny Kierownik Sprzedaży (OZE) <=
- 2025-02-28 Warszawa => Java Full Stack Developer (Angular2+ experience) <=
- 2025-02-28 Warszawa => Data Engineer (Tech Leader) <=
- 2025-02-28 Gliwice => Business Development Manager - Dział Sieci i Bezpieczeńst
- 2025-02-28 Warszawa => Starszy Konsultant AWS <=
- 2025-02-28 Warszawa => System Architect (Java background) <=
- 2025-02-28 Warszawa => Account Manager - Usługi rekrutacyjne <=
- 2025-02-28 Gliwice => IT Expert (Network Systems area) <=
- 2025-02-28 Warszawa => International Freight Forwarder <=
- 2025-02-28 Kraków => Ekspert IT (obszar systemów sieciowych) <=
- 2025-02-28 Mińsk Mazowiecki => Area Sales Manager OZE <=
- 2025-02-28 Katowice => Senior Field Sales (system ERP) <=
- 2025-02-28 Warszawa => Staż w dziale Sprzedaży B2B <=
- 2025-02-28 Warszawa => Programista Microsoft Dynamics 365 Finance & Operations (D
- 2025-02-28 Wrocław => Specjalista ds. Sprzedaży (transport drogowy) <=