-
Path: news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
From: " " <t...@W...gazeta.pl>
Newsgroups: pl.comp.programming
Subject: Re: Dostepnosc systemu - metody formalne
Date: Thu, 4 Aug 2011 09:28:19 +0000 (UTC)
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 43
Message-ID: <j1donj$he4$1@inews.gazeta.pl>
References: <7...@e...googlegroups.com>
<4...@t...googlegroups.com>
<2...@1...googlegroups.com>
<m...@4...com>
<6...@t...googlegroups.com>
<r...@4...com>
<1...@v...googlegroups.com>
<n...@4...com>
<4e39c5cc$0$2445$65785112@news.neostrada.pl>
NNTP-Posting-Host: localhost
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: 8bit
X-Trace: inews.gazeta.pl 1312450099 17860 172.20.26.241 (4 Aug 2011 09:28:19 GMT)
X-Complaints-To: u...@a...pl
NNTP-Posting-Date: Thu, 4 Aug 2011 09:28:19 +0000 (UTC)
X-User: tylkodousnetu
X-Forwarded-For: 178.42.230.175
X-Remote-IP: localhost
Xref: news-archive.icm.edu.pl pl.comp.programming:191688
[ ukryj nagłówki ]R. P. <r...@w...to.wp.pl> napisał(a):
> A.L. wrote:
> > On Mon, 1 Aug 2011 22:34:15 -0700 (PDT), Seweryn Habdank-Wojewódzki
> > <h...@g...com> wrote:
> >
> >> Witam,
> >>
> >>>> Zal mi sie robi jak slysze Pana skomlenie.
> >>> I nawzajem
> >> To w jakim celu Pan wdepnal w ten watek?
> >> Ma Pan cos ciekawego do powiedzenia, czy tylko informuje nas Pan, ze
> >> odkryl na nowo kolo i zarowke?
> >>
> >> Pozdrwiam,
> >> Seweryn Habdank-Wojewodzki.
> >
> > Jazapomnialem ze mialem Pana od dawna w KF. Jakos mi sie Pan wymknal.
> > Zaraznaprawie
> > '
> > A.L.
>
> Jak dyskusja staje sie niewygodna i brakuje argumentow merytorycznych,
> to A.L. wrzuca do KF... Dobre ;)
Jaka niewygodna? Jeżeli ktoś używa tak merytorycznych argumentów jak "Zal mi
sie robi jak slysze Pana skomlenie." to sam nie miałbym ochoty prowadzić
dyskusji z osobą wykazującą się takim brakiem kultury i poszanowania oponenta.
Zastanawia mnie dlaczego Pan Seweryn nie dał równie błyskotliwej odpowiedzi i
równie rozległego wykładu na temat, że tytul zawiera "metody formalne" wiec
niech Pan skrobie cos o metodach formalnych Panu Mariuszowi? Który to
zaproponował metodę MC. Ba wdał się w rozważania na ten temat. Dla mnie to
jest rażący brak konsekwencji. Ale rozumiem, że jak dyskusja zeszła na metodę
MC to już nikt inny nie może zabrać głosu na ten temat gdyż nie będzie pisał
na temat metod formalnych. Dla mnie A.L. w podwątku dyskusji o MC wypowiedział
się, że nie ma co wynajdywać koła na nowo tylko tylko użyć już istniejących
(tak, tak panie Sewerynie A.L. nie musiał odkrywać koła i żarówki) i podał
linka do instrukcji użycia takowego. Nic więcej.
Pozdrawiam.
--
Wysłano z serwisu Usenet w portalu Gazeta.pl -> http://www.gazeta.pl/usenet/
Następne wpisy z tego wątku
- 04.08.11 11:03 R. P.
- 08.08.11 09:40 Sebastian Kaliszewski
- 11.08.11 10:04 Seweryn Habdank-Wojewódzki
- 12.08.11 17:21 R. P.
- 12.08.11 18:18 n...@m...invalid
- 12.08.11 20:55 A.L.
- 12.08.11 21:41 R. P.
- 12.08.11 21:55 p...@p...onet.pl
- 12.08.11 22:18 p...@p...onet.pl
- 12.08.11 22:24 R. P.
- 12.08.11 22:50 p...@p...onet.pl
- 12.08.11 23:07 R. P.
- 13.08.11 18:06 R. P.
- 13.08.11 19:02 slawek
- 13.08.11 19:04 Michoo
Najnowsze wątki z tej grupy
- 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
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
Najnowsze wątki
- 2025-08-06 Gdynia => Konsultant wdrożeniowy (systemy controlingowe) <=
- 2025-08-06 Białystok => Inżynier oprogramowania .Net <=
- 2025-08-06 "[...] sejmowe wystąpienie posłanki Klaudii Jachiry, która zakończyła je słowami ,,Sława Ukrainie"."
- 2025-08-05 "Chiny przekraczają w wydobyciu 4 mld ton węgla, Indie i USA ponad 1 mld, a Rosja 500 mln ton [...]"
- 2025-08-05 Panuje się 181 159,42 zł./mies. na posła w 2026r.
- 2025-08-05 "Chiny przekraczają w wydobyciu 4 mld ton węgla, Indie i USA ponad 1 mld, a Rosja 500 mln ton [...]"
- 2025-08-05 Czy cos fi przechodzi przez trafo separujące?
- 2025-08-05 kajaki i promile
- 2025-08-05 Re: Tesla jest bezpieczna, wczoraj spaliła się doszczętnie na Ursynowie i nikomu się nic nie stało
- 2025-08-05 Gdynia => Przedstawiciel handlowy / KAM (branża TSL) <=
- 2025-08-05 Re: Atak na lekarza w Oławie. Policja zatrzymała sprawcę na lotnisku Polska Agencja Prasowa 4 sierpnia 2025, 12:16 FACEBOOK X E-MAIL KOPIUJ LINK W szpitalu w Oławie 37-letni pacjent zaatakował lekarza, po tym, jak ten odmówił mu wypisania długoterminowego
- 2025-08-05 B2B i książka przychodów i rozchodów
- 2025-08-04 Re: Atak na lekarza w Oławie. Policja zatrzymała sprawcę na lotnisku Polska Agencja Prasowa 4 sierpnia 2025, 12:16 FACEBOOK X E-MAIL KOPIUJ LINK W szpitalu w Oławie 37-letni pacjent zaatakował lekarza, po tym, jak ten odmówił mu wypisania długoterminowego
- 2025-08-04 Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML
- 2025-08-04 Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML