Autor: Andrzej Jarzabek <a...@g...com> - Lista wiadomości

eGospodarka.pl › Grupy › Wyniki wyszukiwania

Szukana fraza: Autor: Andrzej Jarzabek <a...@g...com>
Znaleziono: 1511 wiadomości

Re: YAMI4 dla Arduino Uno

2014-09-26 20:56:42 autor: Andrzej Jarzabek

On 18/09/2014 09:12, Maciej Sobczak wrote: > Jeżeli na grupie są osoby, które bawią/zajmują się programowaniem > kontrolerów Arduino, to z przyjemnością informuję, że ... [ więcej ]

grupa: pl.comp.programming
Re: Kryptografia w całej okazałości.

2014-11-13 07:03:55 autor: Andrzej Jarzabek

On 12/11/2014 20:26, Borneq wrote: > W dniu 2014-11-12 o 19:59, Piotr pisze: >> Przy losowych "solach" mozesz userowi udostepnic program hashujacy (moze >> byc ... [ więcej ]

grupa: pl.comp.programming
Re: python...

2015-01-08 00:52:07 autor: Andrzej Jarzabek

On 07/01/2015 18:26, M.M. wrote: >>> Jak chcecie porównywać języki, aby obiektywnie ocenić, że Python jest >>> potrzebny? Moim zdaniem nie jest. >>> >> ... [ więcej ]

grupa: pl.comp.programming
Re: poprawność algorytmu

2015-03-25 06:47:31 autor: Andrzej Jarzabek

On 23/03/2015 16:17, j...@p...onet.pl wrote: >> Czy są jeszcze jakieś metody weryfikacji poprawności algorytmów >> poza dowodzeniem i testowaniem? > > ... [ więcej ]

grupa: pl.comp.programming
Re: poprawność algorytmu

2015-03-25 23:07:52 autor: Andrzej Jarzabek

On 25/03/2015 20:06, j...@p...onet.pl wrote: >>>> Sugerujesz że są programy które po podaniu specyfikacji wejścia i wyników oraz podaniu niemienników dowodzą ... [ więcej ]

grupa: pl.comp.programming
Re: poprawność algorytmu

2015-03-26 00:19:47 autor: Andrzej Jarzabek

On 25/03/2015 20:05, j...@p...onet.pl wrote: >> A zleceniodawca wymaga formalnego dowodu poprawności programu? > > nie wymaga, ale jeśli mój algorytm będzie ... [ więcej ]

grupa: pl.comp.programming
Re: poprawność algorytmu

2015-03-26 22:29:57 autor: Andrzej Jarzabek

On 26/03/2015 15:03, Maciej Sobczak wrote: > >> Nie znam się na algorytmach i ich dowodzeniu, ale mogę powiedzieć >> tyle, że normalną praktyką w przemyśle jest ... [ więcej ]

grupa: pl.comp.programming
Re: poprawność algorytmu

2015-03-27 21:25:35 autor: Andrzej Jarzabek

On 27/03/2015 10:06, Maciej Sobczak wrote: >> >> No więc pomijając płacenie itd., to jest bardzo istotne kryterium, >> bo jeśli formalny zapis nawet nie tylko samego ... [ więcej ]

grupa: pl.comp.programming
Re: poprawność algorytmu

2015-03-28 21:16:02 autor: Andrzej Jarzabek

On 28/03/2015 18:22, Maciej Sobczak wrote: > >>> To skąd wiedzą, że dobrze wyspecyfikowały? Mają przeczucie? >> >> Stąd, że się na tym znają. > > Ale ... [ więcej ]

grupa: pl.comp.programming
Re: poprawność algorytmu

2015-03-29 15:21:30 autor: Andrzej Jarzabek

On 29/03/2015 00:13, Maciej Sobczak wrote: > >> Przecież mierzymy - to właśnie testy są pomiarami. > > Nie, chodzi mi o pomiar skuteczności testów. Tak naprawdę nie ... [ więcej ]

grupa: pl.comp.programming