Re: Pisanie programów do obliczeń symbolicznych

From	slawek <fake@fakeemail.com>
Newsgroups	pl.comp.programming
Subject	Re: Pisanie programów do obliczeń symbolicznych
Date	2016-09-20 15:21 +0200
References	<nrlldd$6km$1@node2.news.atman.pl> <nrmpcv$smk$1@node1.news.atman.pl> <4a9961d7-46d6-4d8a-b723-b8caf1daccba@googlegroups.com> <nrofa1$h8q$1@node1.news.atman.pl> <nrp9dr$cbj$1@node1.news.atman.pl>
Message-ID	<almarsoft.4713241730619268697@news.v.pl> (permalink)
Organization	Telekomunikacja Polska

Show all headers | View raw

On Mon, 19 Sep 2016 20:05:47 +0200, bartekltg <bartekltg@gmail.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_czterech_barwach

Thread

Pisanie programów do obliczeń symbolicznych Borneq <borneq@antyspam.hidden.pl> - 2016-09-18 11:06 +0200
  Re: [Blog] Pisanie programów do obliczeń symbolicznych bartekltg <bartekltg@gmail.com> - 2016-09-18 11:50 +0200
    Re: [Blog] Pisanie programów do obliczeń symbolicznych platformowe głupki <NOSPAMtestowanije@go2.pl> - 2016-09-18 19:09 +0200
      Re: [Blog] Pisanie programów do obliczeń symbolicznych bartekltg <bartekltg@gmail.com> - 2016-09-18 19:34 +0200
  Re: Pisanie programów do obliczeń symbolicznych Nemrod <nemrod@the.crusader.knights.org> - 2016-09-18 21:20 +0200
    Re: Pisanie programów do obliczeń symbolicznych Borneq <borneq@antyspam.hidden.pl> - 2016-09-19 11:55 +0200
      Re: Pisanie programów do obliczeń symbolicznych Nemrod <nemrod@the.crusader.knights.org> - 2016-09-19 12:30 +0200
        Re: Pisanie programów do obliczeń symbolicznych slawek <fake@fakeemail.com> - 2016-09-19 15:28 +0200
          Re: Pisanie programów do obliczeń symbolicznych Nemrod <nemrod@the.crusader.knights.org> - 2016-09-19 16:18 +0200
        Re: Pisanie programów do obliczeń symbolicznych "M.M." <mmarszik@gmail.com> - 2016-09-20 03:05 -0700
          Re: Pisanie programów do obliczeń symbolicznych Borneq <borneq@antyspam.hidden.pl> - 2016-09-20 13:15 +0200
      Re: Pisanie programów do obliczeń symbolicznych slawek <fake@fakeemail.com> - 2016-09-19 15:14 +0200
        Re: Pisanie programów do obliczeń symbolicznych Nemrod <nemrod@the.crusader.knights.org> - 2016-09-19 15:56 +0200
    Re: Pisanie programów do obliczeń symbolicznych Maciej Sobczak <see.my.homepage@gmail.com> - 2016-09-19 03:26 -0700
      Re: Pisanie programów do obliczeń symbolicznych Nemrod <nemrod@the.crusader.knights.org> - 2016-09-19 12:40 +0200
        Re: Pisanie programów do obliczeń symbolicznych slawek <fake@fakeemail.com> - 2016-09-19 15:32 +0200
          Re: Pisanie programów do obliczeń symbolicznych Nemrod <nemrod@the.crusader.knights.org> - 2016-09-19 16:20 +0200
            Re: Pisanie programów do obliczeń symbolicznych slawek <fake@fakeemail.com> - 2016-09-19 17:02 +0200
        Re: Pisanie programów do obliczeń symbolicznych bartekltg <bartekltg@gmail.com> - 2016-09-19 20:05 +0200
          Re: Pisanie programów do obliczeń symbolicznych Borneq <borneq@antyspam.hidden.pl> - 2016-09-20 13:18 +0200
            Re: Pisanie programów do obliczeń symbolicznych bartekltg <bartekltg@gmail.com> - 2016-09-20 04:40 -0700
              Re: Pisanie programów do obliczeń symbolicznych Nemrod <nemrod@the.crusader.knights.org> - 2016-09-20 16:27 +0200
                Re: Pisanie programów do obliczeń symbolicznych bartekltg <bartekltg@gmail.com> - 2016-09-20 20:24 +0200
                Re: Pisanie programów do obliczeń symbolicznych Nemrod <nemrod@the.crusader.knights.org> - 2016-09-20 21:12 +0200
                Re: Pisanie programów do obliczeń symbolicznych bartekltg <bartekltg@gmail.com> - 2016-09-20 21:25 +0200
            Re: Pisanie programów do obliczeń symbolicznych "M.M." <mmarszik@gmail.com> - 2016-09-20 05:22 -0700
          Re: Pisanie programów do obliczeń symbolicznych slawek <fake@fakeemail.com> - 2016-09-20 15:21 +0200
            Re: Pisanie programów do obliczeń symbolicznych bartekltg <bartekltg@gmail.com> - 2016-09-20 21:28 +0200
              Re: Pisanie programów do obliczeń symbolicznych slawek <fake@fakeemail.com> - 2016-09-21 11:18 +0200
                Re: Pisanie programów do obliczeń symbolicznych bartekltg <bartekltg@gmail.com> - 2016-09-21 11:33 +0200
  Re: Pisanie programów do obliczeń symbolicznych slawek <fake@fakeemail.com> - 2016-09-19 14:41 +0200
    Re: Pisanie programów do obliczeń symbolicznych Borneq <borneq@antyspam.hidden.pl> - 2016-09-19 17:36 +0200
      Re: Pisanie programów do obliczeń symbolicznych slawek <fake@fakeemail.com> - 2016-09-19 18:14 +0200
  Re: Pisanie program?w do oblicze? symbolicznych antispam@math.uni.wroc.pl - 2016-10-02 00:27 +0000

csiph-web