-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!news.glorb.com!news-in-01.newsfeed.easynews.com!easynews!core-easynews-01
!easynews.com!en-nntp-13.dc1.easynews.com.POSTED!not-for-mail
From: A.L. <l...@a...com>
Newsgroups: pl.comp.programming
Subject: Re: To prawda?
Message-ID: <5...@4...com>
References: <jen41o$a90$1@inews.gazeta.pl> <jenk84$emv$1@news.icpnet.pl>
<2...@4...com>
<jevvu6$l7c$1@news.icpnet.pl>
X-Newsreader: Forte Agent 4.2/32.1118
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: 8bit
Lines: 25
X-Complaints-To: a...@e...com
Organization: Forte Inc. http://www.forteinc.com/apn/
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will
be unable to process your complaint properly.
Date: Sun, 15 Jan 2012 20:15:22 -0600
Xref: news-archive.icm.edu.pl pl.comp.programming:194713
[ ukryj nagłówki ]On Mon, 16 Jan 2012 02:53:10 +0100, n...@m...invalid wrote:
>W dniu 13.01.2012 r. 14:40, A.L. pisze:
>> On Thu, 12 Jan 2012 22:44:35 +0100, n...@m...invalid wrote:
><snips/>
>>> Ciekawy głos. IMHO nazbyt często jest to ignorowane. Ludzie są
>>> doskonałym automatem niedeterministycznym dysponującym pamięcią
>>> asocjacyjną, wnioskowaniem logicznym i myśleniem abstrakcyjnym -- ale za
>>> cenę, że popełniają błędy. To był m.in. motywator do tego, by rozwijać
>>> w "pozytywistycznym okresie" AI programy do wnioskowania maszynowego,
>>> dowodzenia teoremów, a dziś stoi za statyczną weryfikacją programów lub,
>>> dajmy na to, projektowaniem deklaratywnym (aczkolwiek nie podam źródeł).
>>> Skrajnie nieliczna grupa ludzi (wręcz sawantów) potrafi przeprowadzać
>>> analizę warunków brzegowych i innych przez większość czasu zaangażowania
>>> umysłowego.
>>> Zresztą stanowi to jedną z podwalin OOP -- analityczne podejście do
>>> rozwiązywania problemów. Jak wiadomo, obdarzone tendencją do redundancji.
>>> Programiści powinni o tym nie zapominać.
>> Dzieki za porcyjke belkotu
>Co skłoniło przedpiścę do szermowania absolutami. Pana stać na
>celniejszą /miażdżącą krytykę/, a interlokutorzy mogą być otwarci na naukę.
Dobrze. Preprowadze analize tego tekstu
A.L.
Następne wpisy z tego wątku
- 16.01.12 08:08 M.M.
- 16.01.12 08:38 Stachu 'Dozzie' K.
- 16.01.12 08:38 Stachu 'Dozzie' K.
- 16.01.12 14:59
- 16.01.12 17:53
- 16.01.12 18:34
- 16.01.12 21:24 n...@m...invalid
Najnowsze wątki z tej grupy
- 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
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-06-27 Re: Prywatny parking? Pierwsze 10 minut bezplatnie
- 2024-06-27 A co mnie to koooorwa obchodzi?
- 2024-06-28 nawigacja satelitarna
- 2024-06-28 SmartLife/Tuya i osuszanie -- mordowanie z zimną krwią...
- 2024-06-27 położyłem kafelki
- 2024-06-28 Łódź => International Freight Forwarder <=
- 2024-06-28 Łódź => Spedytor Międzynarodowy <=
- 2024-06-28 Gdańsk => Head of International Freight Forwarding Department <=
- 2024-06-28 Sopot => Team Leader E-Commerce for Foreign Markets <=
- 2024-06-28 Warszawa => Senior React Native Developer <=
- 2024-06-28 Warszawa => Frontend Developer (React) <=
- 2024-06-28 Warszawa => Software .Net Developer <=
- 2024-06-28 Warszawa => Frontend Developer (React) <=
- 2024-06-28 Warszawa => Programista Full Stack .Net <=
- 2024-06-28 Warszawa => Frontend Developer (React) <=