-
Data: 2016-09-20 12:05:38
Temat: Re: Pisanie programów do obliczeń symbolicznych
Od: "M.M." <m...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On Monday, September 19, 2016 at 12:30:02 PM UTC+2, Nemrod wrote:
> W dniu 2016-09-19 o 11:55, Borneq pisze:
> > W dniu 18.09.2016 o 21:20, Nemrod pisze:
> >> (z0+z1)*(z2+z3)*(z4+z5)*(z6+z7)*(z8+z9)*...*(z98+z99
)=?
> >> Należy to wszystko dokładnie wymnożyć i podać wynik.
> > Numerycznie da się łatwo wyliczyć algorytmem.
>
> O tym nie rozmawiamy.
>
> > A symbolicznie:
> > Chodzi o to że w wyniku liczba członów rośnie wykładniczo?
>
> Dokładnie. I są problemy które wymagają postaci "wymnożonej",
> co oczywiście w ogólnym wypadku jest sprzętowo nieosiągalne.
Nie wiem czy dokładnie o to chodzi. Ja używałem CAS w odwrotnym
przypadku. A mianowicie:
1) Miałem dużo operacji i chciałem wzoru najbardziej uproszczonego,
czyli oczekiwałem od CAS aby skomplikowany algorytm zastąpił
równoważnym algorytmem o mniejszej ilości operacji.
2) Miałem równanie i nie chciałem męczyć maszyny jakąś numeryczną
metodą rozwiązywania równań, więc CAS zamieniał równanie na ciąg
skończony operacji elementarnych.
I w jednym i w drugim przypadku komputer myślał za mnie. Miałem chyba
20 równań. W 19 przypadkach CAS znalazł wzory szybko i sprawnie, na
pewno szybciej niż ja. Ja tylko przeklepałem wzory matematyczne na
kod w C++. W dwudziestym przypadku CAS sobie nie poradził, ale może
to była moja wina, bo uczyłem się obsługi CAS może godzinę, może
nie umiałem go zmusić do myślenia w tym 20tym przypadku.
> A zatem ślepa wiara, że komputer jest w stanie wszystko wyliczyć,
> jest niczym nieuzasadniona. Algorytmy nie będą myśleć
> za człowieka.
Nie wiemy czym jest myślenie, a odważyłeś się napisać, że komputery
nie będą myślały za człowieka. Nie wiem czy komputery lepiej myślą
niż ludzie, ale w niektórych dziedzinach, w których myślenie wydaje
się ważne, komputery już sobie radzą znacznie lepiej niż ludzie.
Pozdrawiam
Następne wpisy z tego wątku
- 20.09.16 13:15 Borneq
- 20.09.16 13:18 Borneq
- 20.09.16 13:40 bartekltg
- 20.09.16 14:22 M.M.
- 20.09.16 15:21 slawek
- 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
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
- Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- 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?
Najnowsze wątki
- 2025-03-31 Kraków => IT Expert (Network Systems area) <=
- 2025-03-31 Białystok => NMS System Administrator <=
- 2025-03-31 Częstochowa => Product Manager - Systemy infrastruktury teleinformaty
- 2025-03-31 Sąd/Sędzia odrzuca wniosek o 30d aresztu Ziobry i jedzie po PO-Komisji Sroki [i Ziobrze w GW wersji]
- 2025-03-31 Warszawa => Sales Executive / KAM <=
- 2025-03-31 Warszawa => International Freight Forwarder <=
- 2025-03-31 Re: Państewko prawka Rumunia czyli pokaz UE leworządności - lider unieważnionych wyborów niedopuszczony do powtórki
- 2025-03-31 Dęblin => JavaScript / Node / Fullstack Developer <=
- 2025-03-31 Re: Kompensacja mocy biernej przy 230VAC
- 2025-03-31 Re: Kompensacja mocy biernej przy 230VAC
- 2025-03-31 Wrocław => Senior Backend Developer <=
- 2025-03-31 Białystok => Generative AI Engineer <=
- 2025-03-31 China-Kraków => Key Account Manager IT <=
- 2025-03-31 Prawne ciekawostki: Ksiądz KRK wygrał ze swoim biskupem sprawę o "naruszenie dóbr osobistych" [SN oddalił kasacje]
- 2025-03-31 Podatek od "konta wspólnego"