Je matematika využitelná v praxi?

[Cajova_Houba_2]

Tu je to odpovězený celkem dobře... https://stackoverflow.com/questions/157354/is-mathematics-necessary-for-programming ... teda otázka je trochu jiná, ale to na odpovědích moc nemění...

By mě jinak zajímalo co z matematiky má pan Ph.D. OMGr. Velký Odborník CSs. vystudováno, že mu to přijde zcela zbytečné...

Líbí se mi, jak je diskuze na SO diametrálně odlišná od diskuze odborníků z praxe tady na rootu.

Podle mě je matematika důležitá, víceméně z důvodů, který jsou napsaný na SO. S konkrétním využitím už je to ale trochu horší, problém je v tom, když nějakej geniální matematik vymyslí algoritmus/metodu/teorii, už ji neni potřeba znovu-vymejšlet, stačí, aby se našel programátor (tým), kterej na to napíše použitelnou knihovnu. Třeba zrovna Fourierovka - žádnej programátor ji nikdy nebude psát sám, když na to existujou osvědčený knihovny. Nicméně to neznamená, že by se měla přestat učit - to si myslim, že většina lidí nechápe.

[Reklama]

[Kolemjdoucí]

Díky teorii kategorií pak můžete některé věci definovat obecně - například schémata rekurze jako katamorfismus nebo anamorfismus - viz Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire.

Jo přečetl jsem si to a je to takové akademické plácání o programování, podobně jako plácání nad Turingovým strojem. Nechci to nijak zlehčovat, určitě to může mít svůj význam, ale využití v praxi nevidím. V případě že se mýlím, tak se to zjevně používá asi jenom při tvorbě nového jazyka a to dělá pár jedinců na světě. Z vývoje C++ C# Java PHP Javascript Haskell a mnoho dalších je však patrné na první pohled že takhle se to nedělá, nějaká sofistikovaná teorie se u toho nepoužívá. Mám takové podezření že napřed se jazyk vytvoří a pak dodatečně si k tomu akademikové vytvoří teorii.

Za sebe muzu rict, ze jsem rad, ze jsem si matematikou prosel. Sice uz nedelam v IT, ale potkavam lidi, kteri v IT delaji a vidim na nich, jak jim matematika chybi (presneji receno komplexni mysleni a schopnost presne popsat a vyresit problem).

To už se tady řešilo, mezi schopností myslet a matematikou je korelace, nikoliv kauzalita.

Třeba zrovna Fourierovka - žádnej programátor ji nikdy nebude psát sám, když na to existujou osvědčený knihovny. Nicméně to neznamená, že by se měla přestat učit - to si myslim, že většina lidí nechápe.

Většina lidí to nechápe proto že FFT se neučí Kdyby student zaslechl alespoň triviální informaci že FFT je zjednodušeně hledání frekvencí a amplitud sinusovek ukrytých ve vstupním signálu, tak by tušil o čem je řeč, jenže on to neví, z toho usuzuji že FFT se neučí

[Peter Fodrek]

Znalost  diskretnej matematiky(teorie grafov) by nedovolila vzniku tohto problemu

Motor neměl jít bez souboru nahodit, příslušná binárka měla zahlásit chybu a na to jistě žádná velká matematika není potřeba.

Suhlas, ale ak matematiku nepouzijete mozete na nieco zabudnut, ak ju pouizjete spravnenikdy nezabudnete, lebo pri teorii grafov Vam vyjde, ze nemate osetreny stav, ak  chybuj subory...

Nezanalost numerickej mateiky a bitoveho obmedzenia (co je de facto zase diskretna mat,) by zabranila

Bitové omezení 8 16 32 64 bitů se dá plně pochopit selským rozumem, kromě zbytkových tříd ale to není tento případ.

Da, ale opat sa moze zabudnut, ze to obmedzenie je transforomavane na cas. Ak by sa precizne cas pocital pri navrhu, tak  sa to nestane, ze sa motory vypnu, lebo sa system pred starton vzdy resetuje a let dlahy 200 dni nie je mozny s dopravnym lietadlom...

[Peter Fodrek]

Este ma nadala jedna vec


INFORmacna mateMATIKA - informatika...

[j]

...Nicméně to neznamená, že by se měla přestat učit - to si myslim, že většina lidí nechápe.

Nejde o to, ze by se nemelo ucit k cemu to je a jak to pouzit. Jde o to, ze je nesmysl ucit, jak to vymyslet.

Ber to treba tak, ze je to krumpac. Nekoho, kdo bude machat krumpacem vazne nezajima, jak se doslo k tomu, ze prave krumpac je ten idealni nastroj. Jeho zajima, jak a kdy ho pouzit. Zkus si na tom krumpaci predstavit, ze budes jeho uzivatele ucit matematicko-fyzikalni model toho jak ten krumpac funguje .... hovadina co? No a presne stejny hovadiny se ucej v ramci matik ve vsech oborech.

A hovadina je to proto, ze z tisicovky lidi ktery vylezou z ty skoly jich bude 999 tim krumpacem machat, a mozna jeden bude krumpace vymejslet.

Mám takové podezření že napřed se jazyk vytvoří a pak dodatečně si k tomu akademikové vytvoří teorii.

To neni pocit, to je fakt, byt existuji vyjimky - to jsou jazyky vymyslene vedatory, ktere v praxi nikdo nepouziva, protoze pouzitelne nejsou zcela nanic.

[Reklama]

[Kolemjdoucí]

Suhlas, ale ak matematiku nepouzijete mozete na nieco zabudnut, ak ju pouizjete spravnenikdy nezabudnete, lebo pri teorii grafov Vam vyjde, ze nemate osetreny stav, ak  chybuj subory...

Teoreticky tomu rozumím, prakticky nesouhlasím že je to potřeba na pouhý jeden soubor.

Da, ale opat sa moze zabudnut, ze to obmedzenie je transforomavane na cas. Ak by sa precizne cas pocital pri navrhu, tak  sa to nestane, ze sa motory vypnu, lebo sa system pred starton vzdy resetuje a let dlahy 200 dni nie je mozny s dopravnym lietadlom...

Vidím to jinak, programátorům řekli že před každým startem přijde RESET a v praxi se to přestalo dělat. Na to matematika moc nepomůže. Jsem přesvědčen že kdyby programátorům řekli že motor se nebude resetovat 10 let v kuse, že by to zvládli.

[Cajova_Houba_2]

...Nicméně to neznamená, že by se měla přestat učit - to si myslim, že většina lidí nechápe.

Nejde o to, ze by se nemelo ucit k cemu to je a jak to pouzit. Jde o to, ze je nesmysl ucit, jak to vymyslet.

Ber to treba tak, ze je to krumpac. Nekoho, kdo bude machat krumpacem vazne nezajima, jak se doslo k tomu, ze prave krumpac je ten idealni nastroj. Jeho zajima, jak a kdy ho pouzit. Zkus si na tom krumpaci predstavit, ze budes jeho uzivatele ucit matematicko-fyzikalni model toho jak ten krumpac funguje .... hovadina co? No a presne stejny hovadiny se ucej v ramci matik ve vsech oborech.

A hovadina je to proto, ze z tisicovky lidi ktery vylezou z ty skoly jich bude 999 tim krumpacem machat, a mozna jeden bude krumpace vymejslet.

Tojo, učit toho uživatele fyzikální principy krumpáče asi je zybtečný, ale stejně tak na VŠ každýho neučí jak vymejšlet teorie složitý matematiky - respektive učí, ale spíš s cílem aby ten dotyčnej pochopil jak se k tomu došlo a jak by to mělo fungovat.

Nehledě na to, že někdo by se měl učit, jak vymyslet matematicko-fyzikální model krumpáče. Ideálně by se z něj pak měl stát odborník, asi v nějakym výzkumu, kterej by eventuelně mohl vymyslet lepší krumpáč. Ale samozřejmě, učit tohle každýho uživatele je asi blbost.

[Radek Miček]

V případě že se mýlím, tak se to zjevně používá asi jenom při tvorbě nového jazyka a to dělá pár jedinců na světě. Z vývoje C++ C# Java PHP Javascript Haskell a mnoho dalších je však patrné na první pohled že takhle se to nedělá, nějaká sofistikovaná teorie se u toho nepoužívá.

Názvy anamorfismus a katamorfismus se používají celkem běžně v praxi (alespoň v Haskellu). Podobně vznikla celá řada dalších názvů, většina z nich se však v praxi už nepoužívá.

Řekl bych, že v Haskellu je celkem normální navrhovat knihovny s ohledem na hezké matematické vlastnosti. Navíc některé matematické vlastnosti kód musí splňovat, neboť jich kompilátor GHC využívá při optimalizacích. Stejně tak je běžné pojmenovávat některé konstrukce dle názvů z teorie kategorií.
Něco z toho se pak přeneslo do Scaly (zejména knihovna scalaz) a do F#.

Aplikacemi teorie kategorií v Haskellu se zabývá například blog http://comonad.com/reader/.

[Petr Kellner]

1) Letadlu se nevypnuly motory, protoze doslo k neocekavane softwarove chybe.

2) Jste bezvyznamni noumove a vite o fungovani sveta prd, vasi matematiku svet nepotrebuje.

3) To, ze na novinkach.cz napisou, ze to bylo kvuli softwarove chybe, neznamena, ze tomu tak bylo.

4) Nebylo tomu tak.

5) Kdyz me nechteli poslouchat, musel jsem jim poslat upozorneni.

6) System rizeni letadla na dalku se tam nemontuje jen tak zbuhdarma, ma to svuj ucel.

[Petr Kellner]

Sere me Malaisie nebo je potreba si pripravit letadlo? Udajne se ztrati Boeing.

Sere me Rusko? Spadne Boeing.

Ucukava se frantik s Mistraly? Spadne Airbus.

Ucukava se Recko? Spadne mu stihacka.

Nejde na ruku Spanelsko? Spadne Airbus.




Ma smysl ucit se PHP a teorii mnozinovych skupinovych orgii? Nema.

[JSH]

Většina lidí to nechápe proto že FFT se neučí Kdyby student zaslechl alespoň triviální informaci že FFT je zjednodušeně hledání frekvencí a amplitud sinusovek ukrytých ve vstupním signálu, tak by tušil o čem je řeč, jenže on to neví, z toho usuzuji že FFT se neučí

To, že DFT je rozbití signálu na součet (ko)sinusovek, snad kurva dojde každému, kdo ví co znamená to divné E.

[Petr Kellner]

Většina lidí to nechápe proto že FFT se neučí Kdyby student zaslechl alespoň triviální informaci že FFT je zjednodušeně hledání frekvencí a amplitud sinusovek ukrytých ve vstupním signálu, tak by tušil o čem je řeč, jenže on to neví, z toho usuzuji že FFT se neučí

To, že DFT je rozbití signálu na součet (ko)sinusovek, snad kurva dojde každému, kdo ví co znamená to divné E.

Kdyz vzivote neslysel slova signal a sum, taky mu to dojde? Bavime se o genialnim nadanem cernouskovi z Mozambiku, ktery dostal stipendium.

[Kolemjdoucí]

snad kurva dojde každému

Opravdu ne. Hodně lidí si myslí, že je to černá krabička která žere signál a padají z ní takové špičaté grafy.

[pupi1]

matematika je velmi obsiahly vedny odbor. IT a matika sa casto spajaju. hlavne na tej vedeckej urovni, resp. v skole. zoberme si len to, co je dnes IN. same webovky, same tableto/smartfono aplikacie. a pri vela veciach sa s matematikou ani nestretnete, hlavne webovky. tiez som robil na projektoch, kde matematika vobec nezohravala ulohu. ono aj na ten vykon sa nehladi, dnesni manazeri chcu hlavne rychlo a lacno. ci to ide o par milisekund pomalsie ich netrapi. predsa dokupenie pamate, noveho procesora vyjde lacnejsie ako prerobenie logiky celej stranky. poznat matiku je plus, ale vyuzitelnost sa uz tazsie hlada. resp. pracovne miesta, kde sa da vyuzit.

[Mirek Prýmek]

Už jsem o programování slyšel opravdu hodně, ale o teorii kategorií ještě nikdy

Je to věc úzce související s funkcionálním programováním. Pokud ses mu nikdy nevěnoval, tak ses s tím (explicitně) nesetkal, na tom není nic divnýho.

To je hezke, ze tim dokazete vymyslet neco, co pak muzete davat do testu studentum ale jak na tom vydelam miliardy?

https://www.youtube.com/watch?v=ZR3Jirqk6W8

Pravdou ale je, že teorii kategorií jako takovou člověk nutně znát nemusí ani pro to programování v Haskellu, dá se k tomu taky přistupovat stylem "naučím se, jak to používat". Když ji ale člověk umí, tak se mu zjevně otevírá lepší vhled do toho všeho.