-
X-Received: by 10.140.93.132 with SMTP id d4mr606345qge.9.1427839717860; Tue, 31 Mar
2015 15:08:37 -0700 (PDT)
X-Received: by 10.140.93.132 with SMTP id d4mr606345qge.9.1427839717860; Tue, 31 Mar
2015 15:08:37 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!news.glorb.com!
h15no2831283igd.0!news-out.google.com!f74ni4qge.0!nntp.google.com!q107no975798q
gd.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Tue, 31 Mar 2015 15:08:37 -0700 (PDT)
In-Reply-To: <551b18cb$0$8374$65785112@news.neostrada.pl>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=89.71.169.86;
posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
NNTP-Posting-Host: 89.71.169.86
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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5...@g...com>
Subject: Re: poprawność algorytmu
From: g...@g...com
Injection-Date: Tue, 31 Mar 2015 22:08:37 +0000
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:207745
[ ukryj nagłówki ]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?
Następne wpisy z tego wątku
- 01.04.15 08:46 firr
- 01.04.15 09:01 firr
- 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.
Najnowsze wątki z tej grupy
- Xiaomi [Chiny - przyp. JMJ] produkuje w całkowitych ciemnościach i bez ludzi
- Prezydent SZAP/USONA Trump ułaskawił prezydenta Hondurasu Hernandeza skazanego na 45 lat więzienia
- Rosjanie chwalą się prototypem komputera kwantowego. "Najważniejszy projekt naukowy Rosji"
- A Szwajcarzy kombinują tak: FinalSpark grows human neurons from stem cells and connects them to electrode arrays
- Re: Najgorszy język programowania
- NOWY: 2025-09-29 Alg., Strukt. Danych i Tech. Prog. - komentarz.pdf
- Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML
- Błąd w Sofcie Powodem Wymiany 3 Duńskich Fregat Typu Iver Huitfeldt
- 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
Najnowsze wątki
- 2026-01-29 KSeF - 13 wątpliwości
- 2026-01-29 A ja się pochwalę
- 2026-01-29 Warszawa => Mid/Senior IT Recruiter <=
- 2026-01-29 Warszawa => Senior Java Developer <=
- 2026-01-29 Warszawa => IT Recruiter <=
- 2026-01-28 Degradacja
- 2026-01-28 Wysoki Sąd poinstruował czego unikać wyzywając Owsiaka "Równiejszego"
- 2026-01-28 Białystok => Solution Architect (Workday) - Legal Systems <=
- 2026-01-28 Białystok => Preseles Inżynier (background baz danych) <=
- 2026-01-28 Wrocław => Konsultant wdrożeniowy ERP <=
- 2026-01-28 Łódź => Microsoft Engineer <=
- 2026-01-28 Białystok => Tester manualny <=
- 2026-01-27 Tradycja ciągania posłów po sądach za wystąpienia w Sejmie będzie kontynuowana [Lepper 2]
- 2026-01-27 Pierwszy raz sprzedano więcej samochodów zeeletryfikowanych niż ice
- 2026-01-27 Elektryczny Kałasznikow




Jak kupić pierwsze mieszkanie? Eksperci podpowiadają