Szukana fraza: Autor: g...@g...com
Znaleziono: 608 wiadomości
-
Re: poprawność algorytmu
2015-03-24 09:11:14 autor: g...@g...com
W dniu poniedziałek, 23 marca 2015 15:12:25 UTC+1 użytkownik j...@p...onet.pl napisał: > Uczyli mnie na studiach dowodzenia poprawności algorytmów w logice Hoare'a ... [ więcej ]
grupa: pl.comp.programming
-
Re: poprawność algorytmu
2015-03-27 10:57:24 autor: g...@g...com
> 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 ... [ więcej ]
grupa: pl.comp.programming
-
Re: poprawność algorytmu
2015-03-27 16:00:37 autor: g...@g...com
W dniu piątek, 27 marca 2015 15:12:10 UTC+1 użytkownik Maciej Sobczak napisał: > > Nie wiem, dlaczego programów napisanych w C++ > > miałoby się nie dać uruchomić z ... [ więcej ]
grupa: pl.comp.programming
-
Re: poprawność algorytmu
2015-03-28 09:45:21 autor: g...@g...com
W dniu sobota, 28 marca 2015 05:04:04 UTC+1 użytkownik M.M. napisał: > > W takim razie zgoda -- tego rodzaju "poprawność" jest niemożliwa do uzyskania. > > ... [ więcej ]
grupa: pl.comp.programming
-
Re: poprawność algorytmu
2015-03-28 10:47:26 autor: g...@g...com
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 ... [ więcej ]
grupa: pl.comp.programming
-
Re: poprawność algorytmu
2015-03-31 12:20:24 autor: g...@g...com
W dniu sobota, 28 marca 2015 10:54:16 UTC+1 użytkownik M.M. napisał: > > > > > > Mój (hipotetyczny) klient zamawia najlepszy program do gry w > > > szachy o ... [ więcej ]
grupa: pl.comp.programming
-
Re: poprawność algorytmu
2015-03-31 16:39:20 autor: g...@g...com
W dniu wtorek, 31 marca 2015 14:48:38 UTC+2 użytkownik M.M. napisał: > > > > To, że "nie istnieje w ramach określonego rozmiaru >>lepszy<< program" ... [ więcej ]
grupa: pl.comp.programming
-
Re: poprawność algorytmu
2015-03-31 19:49:54 autor: g...@g...com
W dniu wtorek, 31 marca 2015 19:29:20 UTC+2 użytkownik M.M. napisał: > > > > "Najlepiej jak to możliwe" -- to też nieprecyzyjne określenie. > > Można je ... [ więcej ]
grupa: pl.comp.programming
-
Re: poprawność algorytmu
2015-03-31 20:34:14 autor: g...@g...com
W dniu wtorek, 31 marca 2015 20:00:08 UTC+2 użytkownik slawek napisał: > Użytkownik napisał w wiadomości grup > dyskusyjnych:fec16715-19e6-4b77-b1e4-ce87326d e28b@go ... [ więcej ]
grupa: pl.comp.programming
-
Re: poprawność algorytmu
2015-03-31 23:25:53 autor: g...@g...com
W dniu wtorek, 31 marca 2015 23:04:58 UTC+2 użytkownik slawek napisał: > Użytkownik napisał w wiadomości grup > dyskusyjnych:a8e9d2c8-3f9c-4256-aabc-1447655c d1fe@go ... [ więcej ]
grupa: pl.comp.programming