-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed2.atman.pl!newsfeed.atman.pl!go
blin2!goblin1!goblin.stu.neva.ru!newsfeed.neostrada.pl!unt-exc-01.news.neostrad
a.pl!unt-spo-a-02.news.neostrada.pl!news.neostrada.pl.POSTED!not-for-mail
From: slawek <f...@f...com>
Newsgroups: pl.comp.programming
Subject: Re: Pisanie programów do obliczeń symbolicznych
Date: Wed, 21 Sep 2016 11:18:31 +0200
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
In-Reply-To: <nrs2l8$9s7$2@node2.news.atman.pl>
References: <nrlldd$6km$1@node2.news.atman.pl> <nrmpcv$smk$1@node1.news.atman.pl>
<4...@g...com>
<nrofa1$h8q$1@node1.news.atman.pl> <nrp9dr$cbj$1@node1.news.atman.pl>
<a...@n...v.pl>
<nrs2l8$9s7$2@node2.news.atman.pl>
Message-ID: <a...@n...v.pl>
User-Agent: Groundhog Newsreader for Android
Lines: 20
Organization: Telekomunikacja Polska
NNTP-Posting-Host: 79.184.186.41
X-Trace: 1474449511 unt-rea-b-01.news.neostrada.pl 662 79.184.186.41:55092
X-Complaints-To: a...@n...neostrada.pl
Xref: news-archive.icm.edu.pl pl.comp.programming:209631
[ ukryj nagłówki ]On Tue, 20 Sep 2016 21:28:40 +0200, bartekltg <b...@g...com>
wrote:
> Czytanie ze zrozumieniem ma przezłość.
???
> Przykład Nemroda, czyli wielomian wielu zmiennych
Pogubiłeś się. Nemrod dał przykład A. Ja dałem inny przykład B.
Nemrod określił B jako łatwy do rozwiązania na kartce papieru. Ty
poparłeś Nemroda co do oceny przykładu B. Choć być może chciałeś w
istocie rzeczy ocenić A.
Fakt B jest niezaprzeczalny: dowód tw. o czterech barwach był
przeprowadzony przy użyciu komputera. Ludzie bez takiego wspomagania
nie dawali rady przez około sto lat. Więc nie ma co udawać że
komputery są za głupie aby pomagać matematykom.
Co do A: równie dobrze można narzekać że komputer nie potrafi
wydrukować wszystkich cyfr liczby pi.
Następne wpisy z tego wątku
- 21.09.16 11:33 bartekltg
- 02.10.16 02:27 a...@m...uni.wroc.pl
Najnowsze wątki z tej grupy
- 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ą."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
- C++. Podróż Po Języku - komentarz
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
Najnowsze wątki
- 2025-06-08 Nowy 17. Raport Totaliztyczny - Patroni Kontra Bankierzy
- 2025-06-07 Mouser - koszt wysyłki
- 2025-06-07 Co robić, jak robić, aby dużo zarobić, a się nie narobić ?
- 2025-06-07 Co robić, jak robić, aby dużo zarobić, a się nie narobić ?
- 2025-06-07 Co robić, jak robić, aby dużo zarobić, a się nie narobić ?
- 2025-06-07 Warszawa => Software .Net Developer <=
- 2025-06-07 Warszawa => Junior SQL / FrontEnd developer <=
- 2025-06-07 Warszawa => Team Lead Data Engineer (Snowflake) <=
- 2025-06-07 Kraków => Kotlin Developer <=
- 2025-06-07 Warszawa => Senior Key Account Manager IT <=
- 2025-06-07 Gdańsk => PHP Developer <=
- 2025-06-07 Warszawa => Specjalista ds. Sprzedaży <=
- 2025-06-07 Łódź => Mainframe (z/OS, Assembler) Developer <=
- 2025-06-07 Warszawa => Sales Assistant and Customer Development Specialist <=
- 2025-06-07 Warszawa => Programista Full Stack .Net <=