-
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.cyf-kr.edu.pl!news.nask
.pl!news.nask.org.pl!news.unit0.net!news.mixmin.net!border2.nntp.ams1.giganews.
com!nntp.giganews.com!ecngs!feeder2.ecngs.de!81.171.118.64.MISMATCH!peer04.fr7!
news.highwinds-media.com!newsfeed.neostrada.pl!unt-exc-01.news.neostrada.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: Tue, 20 Sep 2016 15:21:50 +0200
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
In-Reply-To: <nrp9dr$cbj$1@node1.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>
Message-ID: <a...@n...v.pl>
User-Agent: Groundhog Newsreader for Android
Lines: 9
Organization: Telekomunikacja Polska
NNTP-Posting-Host: 83.11.162.44
X-Trace: 1474377712 unt-rea-b-01.news.neostrada.pl 645 83.11.162.44:53736
X-Complaints-To: a...@n...neostrada.pl
X-Received-Bytes: 1428
X-Received-Body-CRC: 231202181
Xref: news-archive.icm.edu.pl pl.comp.programming:209625
[ ukryj nagłówki ]On Mon, 19 Sep 2016 20:05:47 +0200, bartekltg <b...@g...com>
wrote:
> Akurat podałeś problem łatwy do rozwiązania na kartce,
> ale kosztowny dla głupiego programu.
Według ciebie przeprowadzenie dowodu twierdzenia o czterech barwach
jest łatwe do przeprowadzenia na kartce? Ciekawe czemu matematycy nie
mogli jakoś temu podołać przez ponad sto lat, poczytaj sobie
https://pl.m.wikipedia.org/wiki/Twierdzenie_o_cztere
ch_barwach
Następne wpisy z tego wątku
- 20.09.16 16:27 Nemrod
- 20.09.16 20:24 bartekltg
- 20.09.16 21:12 Nemrod
- 20.09.16 21:25 bartekltg
- 20.09.16 21:28 bartekltg
- 21.09.16 11:18 slawek
- 21.09.16 11:33 bartekltg
- 02.10.16 02:27 a...@m...uni.wroc.pl
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-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
- 2026-01-27 Warszawa => APM/Observability Engineer (Presales Engineer) <=
- 2026-01-26 #Motodziennik 365 Powrót spalinowych Renault Megane i Scenica, Volvo EX60 oraz ID.Tiguan
- 2026-01-26 Ciekawe fikoły
- 2026-01-26 Toruń => Preseles Inżynier (background baz danych) <=
- 2026-01-26 sznurowadła kwestia prawna
- 2026-01-26 Białystok => Senior Frontend Developer React <=
- 2026-01-26 Warszawa => Consultant Microsoft Dynamics 365 Finance (F&O) <=
- 2026-01-25 Organizacja religijna i nielegalna sprzedaż
- 2026-01-25 Tego "księdza" powinni wywalić z kościołai z pracy w kościele
- 2026-01-25 Zbudowany przez studentów z Holandii samochód koncepcyjny ARIA
- 2026-01-25 Zbudowany przez studentów z Holandii samochód koncepcyjny ARIA
- 2026-01-25 "Teleportacja" polskich statków na pd. Bałtyku - rosyjska zabawa w zakłócanie GPS, Galileo, Beidou i GLONASS




Jak kupić pierwsze mieszkanie? Eksperci podpowiadają