-
Data: 2015-03-28 11:46:49
Temat: Re: poprawność algorytmu
Od: "M.M." <m...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On Saturday, March 28, 2015 at 10:48:17 AM UTC+1, g...@g...com wrote:
> W dniu sobota, 28 marca 2015 10:10:20 UTC+1 użytkownik Maciej Sobczak napisał:
> > > w przeciwieństwie do niekompletnego dowodu, który jest
> > > czystym marnotrawstwem.
>
> istotnie, rozumowanie albo czegoś dowodzi (i wtedy jest dowodem), albo
> nie dowodzi (i wtedy nie jest dowodem; wtedy może najwyżej być próbą
> perswazji)
>
> jakoś nie umiem w swojej głowie oddzielić znaczeń sformułowań "niekompletny
> dowód" od "test", tak jak nie umiem oddzielić znaczeń sformułowań
> "kompletny test" od "dowód"
Bo z punktu widzenia praktycznych korzyści (gdy już mamy
jedno albo drugie!) nie ma najmniejszej różnicy. Różnice mogą
się pojawiać w nakładzie pracy. Raz może być łatwiejsze przeprowadzenie
dowodu, drugi raz napisanie testów.
> (może w tym ostatnim przypadku można powiedzieć,
> że "kompletny test" jest jednym z możliwych rodzajów dowodu -- poprzez
> indukcję enumeracyjną;
Nawet w niekompletnym teście, prawdopodobieństwo błędu maleje jak w
paradoksie dnia urodzin, myślę, że wystarczająco szybko dla
praktycznych zastosowań. Oczywiście trzeba zapewnić aby dane wejściowe
miały równomierny rozkład (albo lepszy dla danego zadania) no i trzeba
te testy napisać, najlepiej bezbłędnie. W trakcie testowania, kod
testowany niby staje się automatycznie kodem testowym i na odwrót, ale
problem w tym, że mogą być identyczne błędy w obu kodach.
> z drugiej strony, choć testy można widzieć jako
> szczególny przypadek niekompletnego dowodu, to pewnie ogólniejszym
> znaczeniem sformułowania "niekompletny dowód" jest "rozumowaniem o strukturze
> dowodu, w którym występują luki", tzn. np. korzysta z jakichś wątpliwych
> lematów)
Nie rozumiem.
Pozdrawiam
Następne wpisy z tego wątku
- 28.03.15 11:54 Andrzej Jarzabek
- 28.03.15 13:08 Andrzej Jarzabek
- 28.03.15 18:22 Maciej Sobczak
- 28.03.15 19:38 Roman W
- 28.03.15 19:43 Roman W
- 28.03.15 19:50 A.L.
- 28.03.15 19:51 A.L.
- 28.03.15 21:16 Andrzej Jarzabek
- 29.03.15 00:13 Maciej Sobczak
- 29.03.15 15:21 Andrzej Jarzabek
- 29.03.15 23:18 Maciej Sobczak
- 30.03.15 00:49 Andrzej Jarzabek
- 30.03.15 00:59 Andrzej Jarzabek
- 30.03.15 01:19 Roman W
- 30.03.15 09:38 slawek
Najnowsze wątki z tej grupy
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
Najnowsze wątki
- 2025-07-25 Drastycznie rośnie import stali - w hucie w Dąbrowie Górniczej zostanie wygaszony wielki piec
- 2025-07-25 Drastycznie rośnie import stali - w hucie w Dąbrowie Górniczej zostanie wygaszony wielki piec
- 2025-07-25 I kolejny inżynier...
- 2025-07-25 Kobiety, bójcie się inżynierów...
- 2025-07-25 Warszawa => Konsultant Wiodący SAP PP <=
- 2025-07-25 Re: Brawo !!! Osy chronione w Niemczech. Za usunięcie gniazda grozi mandat
- 2025-07-25 cudzoziemiec bez biletu
- 2025-07-25 Gdynia => Sales Executive / KAM <=
- 2025-07-25 Inżynierzy z prawomocnym...
- 2025-07-25 Łódź => Mainframe (z/OS, Assembler) Developer <=
- 2025-07-25 Warszawa => Inżynier oprogramowania .Net <=
- 2025-07-25 Kraków => Senior Fullstack Engineer (Low-Code Platform) <=
- 2025-07-25 Skrobanie
- 2025-07-25 Lublin => Konsultant ds. Wdrożeń ERP (moduł FK) <=
- 2025-07-25 Warszawa => Senior Frontend Developer (React + React Native) <=