-
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
- 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-29 KSeF - 13 wątpliwości
- 2026-01-29 A ja się pochwalę
- 2026-01-29 Warszawa => Mid/Senior IT Recruiter <=
- 2026-01-29 Warszawa => Senior Java Developer <=
- 2026-01-29 Warszawa => IT Recruiter <=
- 2026-01-28 Degradacja
- 2026-01-28 Wysoki Sąd poinstruował czego unikać wyzywając Owsiaka "Równiejszego"
- 2026-01-28 Białystok => Solution Architect (Workday) - Legal Systems <=
- 2026-01-28 Białystok => Preseles Inżynier (background baz danych) <=
- 2026-01-28 Wrocław => Konsultant wdrożeniowy ERP <=
- 2026-01-28 Łódź => Microsoft Engineer <=
- 2026-01-28 Białystok => Tester manualny <=
- 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




Jak kupić pierwsze mieszkanie? Eksperci podpowiadają