-
Data: 2015-04-01 00:08:37
Temat: Re: poprawność algorytmu
Od: g...@g...com szukaj wiadomości tego autora
[ pokaż wszystkie 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
- 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
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
Najnowsze wątki
- 2024-10-07 Re: Taniocha!!!
- 2024-10-07 Warszawa => Technical Leader (Java Background) <=
- 2024-10-07 Zielona Góra => Power Electronics R&D Engineer <=
- 2024-10-07 Warszawa => Junior New Business Development Manager <=
- 2024-10-07 Warszawa => Key Account Manager <=
- 2024-10-07 Wrocław => Konsultant wdrożeniowy ERP (Symfonia) <=
- 2024-10-07 policja szuka
- 2024-10-07 Nowy akt zasadniczy
- 2024-10-07 KIA nas dyma
- 2024-10-07 Warszawa => QA Inżynier <=
- 2024-10-07 Warszawa => Sales Development Representative (z j. niemieckim) <=
- 2024-10-06 miles per gallon
- 2024-10-06 Strefa czystego powietrza
- 2024-10-06 Prawdziwy ekologiczny samochód
- 2024-10-05 Stało się...