-
X-Received: by 10.140.93.132 with SMTP id d4mr625101qge.9.1427871685675; Wed, 01 Apr
2015 00:01:25 -0700 (PDT)
X-Received: by 10.140.93.132 with SMTP id d4mr625101qge.9.1427871685675; Wed, 01 Apr
2015 00:01:25 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!news.glorb.com!
m20no95493iga.0!news-out.google.com!q90ni2qgd.1!nntp.google.com!q107no1027274qg
d.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Wed, 1 Apr 2015 00:01:25 -0700 (PDT)
In-Reply-To: <5...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=164.127.56.185;
posting-account=Sb6m8goAAABbWsBL7gouk3bfLsuxwMgN
NNTP-Posting-Host: 164.127.56.185
References: <4...@g...com>
<d...@g...com>
<meti4e$osd$1@srv.chmurka.net>
<f...@g...com>
<mevfpd$gpa$1@srv.chmurka.net>
<e...@g...com>
<mf1tnf$d48$1@srv.chmurka.net>
<d...@g...com>
<e...@g...com>
<a...@n...v.pl>
<f...@g...com>
<551ae096$0$2187$65785112@news.neostrada.pl>
<a...@g...com>
<551b0bf8$0$8385$65785112@news.neostrada.pl>
<0...@g...com>
<551b18cb$0$8374$65785112@news.neostrada.pl>
<5...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b...@g...com>
Subject: Re: poprawność algorytmu
From: firr <p...@g...com>
Injection-Date: Wed, 01 Apr 2015 07:01:25 +0000
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:207752
[ ukryj nagłówki ]W dniu środa, 1 kwietnia 2015 00:08:38 UTC+2 użytkownik g...@g...com napisał:
> W dniu wtorek, 31 marca 2015 23:59:41 UTC+2 użytkownik slawek napisał:
>
> > >Nie twierdzę, że jestem bystry, jak również nie twierdziłem nigdzie,
> > >że mam w temacie mnóstwo doświadczenia. Moje doświadczenie jest raczej
> > >skromne, ale za to dzielę się nim chętnie, w związku z czym większość
> >
> > Więc się podziel.
>
> Przecież się podzieliłem. Wszystko, o czym piszę, staram się
> dokumentować, podawać odnośniki. Jeżeli masz jakieś konkretne
> pytanie, to je zadaj, a wówczas postaram się odpowiedzieć
> w miarę swoich skromnych możliwości
>
> > Gdzie i do czego? Przecież skoro uważasz, ze dowody
> > formalne to podstawa, to chyba nie konfabulujesz, tylko opierasz się na
> > faktach.
>
> Gdzie napisałem, że "dowody formalne to podstawa"? Podstawa czego?
dowodzenie to tak naprawde postawa kodowania
- programujac bez przerwy dowodzisz sobie
ze piszac A a pozniej B wynik bedzie taki jak
zalożony
sa to nawet mz zupelnie formalne dowodzenia
gorzej jest jesli ktos pracuje gdzies w jakiejs
firmie np pod presja czasu i nie jest do konca
pewien jak działa np jakies api z ktorym sie
łaczy wtedy ten łancuch dowodzenia moze sie
zerwać (mnie np mozno irytowaly moje pierwsze
doswiadczenia a winapi ktore mz nie bylo w tym
sensie odpowiednio udokumentowane tak ze mozna
co najwyzej prawdopodobnie zalozyc a nie
miec pewnosc ze ten kod jest ok - (pozniej mi
troche minelo posrednio na skutek powtarzalnosci
testowania i posrednio tez na skutek ogladania
innych kodów ktore maja to zrobione tak samo)
Następne wpisy z tego wątku
- 01.04.15 11:57 M.M.
- 01.04.15 12:03 M.M.
- 01.04.15 12:44 firr
- 01.04.15 12:51 firr
- 01.04.15 14:29 M.M.
- 01.04.15 14:32 M.M.
- 01.04.15 14:37 firr
- 01.04.15 14:42 firr
- 01.04.15 15:31 g...@g...com
- 01.04.15 17:10 g...@g...com
- 01.04.15 17:25 Maciej Sobczak
- 02.04.15 01:29 Roman W
- 02.04.15 08:14 M.M.
- 02.04.15 10:56 g...@g...com
- 02.04.15 12:54 M.M.
Najnowsze wątki z tej grupy
- 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??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
Najnowsze wątki
- 2024-12-23 Riga => Specjalista ds. public relations <=
- 2024-12-23 Łódź => Specjalista ds. Sprzedaży <=
- 2024-12-23 Kraków => International Freight Forwarder <=
- 2024-12-23 Co nalezy do Cinkciarza, a co do Conotoxia ?
- 2024-12-23 Poznań => Key Account Manager <=
- 2024-12-23 Warszawa => Presales / Inżynier Wsparcia Technicznego IT <=
- 2024-12-23 Rzeszów => Spedytor Międzynarodowy <=
- 2024-12-23 Warszawa => Infrastructure Automation Engineer <=
- 2024-12-23 Białystok => Analityk w dziale Trade Development (doświadczenie z Po
- 2024-12-23 Warszawa => Site Reliability Engineer (SRE) <=
- 2024-12-23 Warszawa => DevOps Engineer <=
- 2024-12-23 Warszawa => Senior Account Manager <=
- 2024-12-23 Katowice => Regionalny Kierownik Sprzedaży (OZE) <=
- 2024-12-23 Katowice => Administrator IT - Wirtualizacja i Konteneryzacja <=
- 2024-12-23 Mińsk Mazowiecki => Spedytor Międzynarodowy <=