Autor: g...@g...com - Lista wiadomości - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › Wyniki wyszukiwania

Szukana fraza: Autor: g...@g...com
Znaleziono: 608 wiadomości

Re: python...

2015-01-19 10:57:04 autor: g...@g...com

W dniu sobota, 17 stycznia 2015 19:17:08 UTC+1 użytkownik AK napisał: > > Na to ja przytoczylem dokladnie zrodlo, > > z ktorego zaczerpnalem to stwierdzenie. > > Ty ... [ więcej ]

grupa: pl.comp.programming
edytor poz dla robotow humanoidalnych ze srodowiskiem symulacyjnym w 3d

2015-02-17 17:52:46 autor: g...@g...com

elo swego czasu wspominalem o zamiarze stworzenia gry komputerowej w ktorej gracz mialby calkowita dowolnosc poruszania sie robotem humanoidalnym wypuscilem wlasnie "kamien ... [ więcej ]

grupa: pl.comp.programming
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 11:09:18 autor: g...@g...com

W dniu piątek, 27 marca 2015 10:06:11 UTC+1 użytkownik Maciej Sobczak napisał: > > > No to teraz całkowicie bez szydery i na poważnie spytam, jakie są > > praktyczne ... [ 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