-
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
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- 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
Najnowsze wątki
- 2025-01-04 Zbieranie danych przez www
- 2025-01-04 reverse engineering i dodawanie elementów do istniejących zamkniętych produktów- legalne?
- 2025-01-04 w Nowym Roku 2025r
- 2025-01-04 Warszawa => Specjalista ds. IT - II Linia Wsparcia <=
- 2025-01-04 Warszawa => Java Developer <=
- 2025-01-04 Warszawa => Spedytor Międzynarodowy <=
- 2025-01-04 Warszawa => System Architect (Java background) <=
- 2025-01-04 Wrocław => Application Security Engineer <=
- 2025-01-04 Chrzanów => Specjalista ds. public relations <=
- 2025-01-04 Katowice => Key Account Manager (ERP) <=
- 2025-01-03 Problem z odczytem karty CF
- 2025-01-03 Jazda z Warszawy do Krakowa teslą
- 2025-01-03 Wrocław => Konsultant Wdrożeniowy Comarch XL/Optima (Księgowość i
- 2025-01-03 Warszawa => International Freight Forwarder <=
- 2025-01-03 Mińsk Mazowiecki => Area Sales Manager OZE <=