Proč tolik matematiky?

lopata

Re:Proč tolik matematiky?
« Odpověď #1155 kdy: 02. 03. 2016, 10:36:16 »
B jak D... co uz bez oprav.


zboj

  • *****
  • 1 507
    • Zobrazit profil
    • E-mail
Re:Proč tolik matematiky?
« Odpověď #1156 kdy: 02. 03. 2016, 10:39:11 »
1)daji se vsechny mozne logiky zredukovat na nejaky nejblizsi spolecny zaklad nebo z nejake zakladni- predikatova? ostatni vychazeji ale nejak ji prerustaji takze jsou vsechny nejakymi nadmnozinami nebo maji jen spolecny , nulovy..prunik?apod. te zakladni? ptam se jako laik tak mne berte prosim s rezervou

2) dokazal by mi nekdo vysvetlit matice maticovy pocet jednoduseji byt treba nepresne nebo prirovnanim podobenstvim k necemu co asi znam nez to cini wiki ?

1) To se řeší pro každou logiku zvlášť, nakolik je expresivní a jaký vztah má k jiným. Některé mají navíc různé sémantiky, třeba ta druhého řádu. Společnému průniku by nejblíže byla výroková. Nicméně v praxi (symbolická AI a obecně výpočetní logika) se používá v drtivé většině FOL (logika prvního řádu), protože s ní "umíme pracovat" a lze v ní vyjádřit různé modality (nejen tzv. pozitivní, tj. ty "klasické" z modální logiky, ale všechny vyskytující se v přirozeném jazyce) i default reasoning (tj. pravidla, která platí většinou, ale ne vždy). V automatickém dokazování tvrzení pro logiku druhého řádu (SOL) se zase využívá toho, že existují efektivní dokazovače pro FOL a platí, že něco je dokazatelné ve FOL iff (právě když) je to dokazatelné v SOL (rozdíl mezi nimi je jen na úrovni modelů, SOL není úplná). Čili suma sumarum, prakticky používané logiky se v podstatě vždy implementují v rámci FOL (i když notace může být kvůli pohodlnosti/čitelnosti vyššího řádu), ale teoreticky lze nadefinovat úplně šílenou logiku nekompatibilní se vším.

2) Stačí-li maticový počet bez derivací, tak článek o matici. Jinak asi ne, a když už, tak anglickou verzi.

lojza

Re:Proč tolik matematiky?
« Odpověď #1157 kdy: 02. 03. 2016, 11:10:33 »
zboj- diky za vysveteleni tech logik, tu matici zkusim na anglicky wiki

Re:Proč tolik matematiky?
« Odpověď #1158 kdy: 04. 03. 2016, 18:16:28 »
Spíš bych očekával, že tímhle směrem budou hodně šlapat, dobře to propojí se svými mainframy, budou podporovat hybridní řešení s nějakým tím LinuxOne u zákazníka... ...a bude to docela hezká věc.
No... a už tady máme přesně tohle řešení nejen od IBM, ale i od SuSE: http://www.enterprisetimes.co.uk/2016/03/04/suse-targets-private-cloud-with-openstack-6

Lama

Re:Proč tolik matematiky?
« Odpověď #1159 kdy: 04. 03. 2016, 19:44:06 »
Nevzpomínám si, kdy byl můj duch povznesen víc než při sledování Nabucca.

Mýho ducha svého času zas dokázala pozvednout Maruška:
https://www.youtube.com/watch?v=XkqC14rDcmE


suse

Re:Proč tolik matematiky?
« Odpověď #1160 kdy: 04. 03. 2016, 20:49:09 »
Spíš bych očekával, že tímhle směrem budou hodně šlapat, dobře to propojí se svými mainframy, budou podporovat hybridní řešení s nějakým tím LinuxOne u zákazníka... ...a bude to docela hezká věc.
No... a už tady máme přesně tohle řešení nejen od IBM, ale i od SuSE: http://www.enterprisetimes.co.uk/2016/03/04/suse-targets-private-cloud-with-openstack-6

To není problém dělat i u nás, jen v ČR na to nejsou peníze. Hrají si s tím firmy i u nás, ale mají tak malé rozpočty, že z toho nic není. Openstack architekt může být tak za 120. Je to ale škoda. Těžko říct, kde je chyba. Spíš to vypadá, že lopaty z matfyzu zahraniční firmy nepřesvědčí, aby tu cokoli investovali :( Ale zase můžou nazpaměť odříkat plno cool vět :D A jsme zase u toho, že Mirek vůbec neví a povídá nesmysly. Jen teda asi pro ty nejlepší matematiky v zemi, kteří i chodí na root. Ve skutečnosti to vypadá trochu jinak :)

Ivan Nový

Re:Proč tolik matematiky?
« Odpověď #1161 kdy: 06. 03. 2016, 13:43:09 »
Dulezite je umet formalni dukaz, ale na vybudovani zeleznicni site nam stacila mapa a krumpace a uzitek to prinasi uz vic jak 100 let.

Poslyste, co je to ten klaud a k cemu mi to je? To abychom si prvne ujasnili, jestli ty pocitace fakt potrebujeme.

Nestačí, výrobu parního stroje umožnil až rozvoj matematiky a fyziky, ono spočítat takovou statiku železničního náspu, k tomu taky potřebujete tu matematiku. Bez toho by nebyly žádné parní stroje a tedy ani ne železnice. Koňský pohon by výstavbu železnic nezaplatil.

I před 100 lety se počítalo pomocí stejného matematického aparátu, jako dnes, jen ručně, popřípadě pomocí logaritmického pravítka a nebo tabulek, které však díky lidskému faktoru obsahovaly chyby a proto Charles Babbage přišel na myšlenku, že by se to mohlo počítat mechanicky a začal pracovat na diferenčním stroji, .... :-)))

A proto dnes máme cloud :-)))

zboj

  • *****
  • 1 507
    • Zobrazit profil
    • E-mail
Re:Proč tolik matematiky?
« Odpověď #1162 kdy: 06. 03. 2016, 13:52:28 »
Dulezite je umet formalni dukaz, ale na vybudovani zeleznicni site nam stacila mapa a krumpace a uzitek to prinasi uz vic jak 100 let.

Poslyste, co je to ten klaud a k cemu mi to je? To abychom si prvne ujasnili, jestli ty pocitace fakt potrebujeme.

Nestačí, výrobu parního stroje umožnil až rozvoj matematiky a fyziky, ono spočítat takovou statiku železničního náspu, k tomu taky potřebujete tu matematiku. Bez toho by nebyly žádné parní stroje a tedy ani ne železnice. Koňský pohon by výstavbu železnic nezaplatil.

I před 100 lety se počítalo pomocí stejného matematického aparátu, jako dnes, jen ručně, popřípadě pomocí logaritmického pravítka a nebo tabulek, které však díky lidskému faktoru obsahovaly chyby a proto Charles Babbage přišel na myšlenku, že by se to mohlo počítat mechanicky a začal pracovat na diferenčním stroji, .... :-)))

A proto dnes máme cloud :-)))
. Akorát lopaty si myslí, že stačí krumpáč (a lopata) :)

Re:Proč tolik matematiky?
« Odpověď #1163 kdy: 06. 03. 2016, 14:29:25 »
Akorát lopaty si myslí, že stačí krumpáč (a lopata) :)
Na jednoho inženýra s logaritmickým pravítkem bylo potřeba tisíce lidí, kterým krumpáč a lopata stačily.

Re:Proč tolik matematiky?
« Odpověď #1164 kdy: 06. 03. 2016, 15:14:32 »
Akorát lopaty si myslí, že stačí krumpáč (a lopata) :)
Na jednoho inženýra s logaritmickým pravítkem bylo potřeba tisíce lidí, kterým krumpáč a lopata stačily.

A casy se ocividne meni.

Re:Proč tolik matematiky?
« Odpověď #1165 kdy: 06. 03. 2016, 15:15:45 »
A casy se ocividne meni.
Nevím jak. Na jednoho programátora překladačů jsou pořád potřeba tisíce programátorů webů.

Re:Proč tolik matematiky?
« Odpověď #1166 kdy: 06. 03. 2016, 15:53:30 »
A casy se ocividne meni.
Nevím jak. Na jednoho programátora překladačů jsou pořád potřeba tisíce programátorů webů.
Mno, ono to hlavne neni bud-a-nebo, ale spojite spektrum. A takove te "stredni" tridy, kde potrebujes trebas statistiku+algoritmy, najdes docela dost.

Re:Proč tolik matematiky?
« Odpověď #1167 kdy: 06. 03. 2016, 15:58:08 »
Mno, ono to hlavne neni bud-a-nebo, ale spojite spektrum. A takove te "stredni" tridy, kde potrebujes trebas statistiku+algoritmy, najdes docela dost.
Souhlas. Ale myslím, že tam platí nepřímá úměra - čím odbornější/specializovanějsí práce, tím míň lidí je na ni potřeba.

Re:Proč tolik matematiky?
« Odpověď #1168 kdy: 06. 03. 2016, 16:26:12 »
Mno, ono to hlavne neni bud-a-nebo, ale spojite spektrum. A takove te "stredni" tridy, kde potrebujes trebas statistiku+algoritmy, najdes docela dost.
Souhlas. Ale myslím, že tam platí nepřímá úměra - čím odbornější/specializovanějsí práce, tím míň lidí je na ni potřeba.
Zase tech specializovanych nik je prekvapive hodne.

Dalsi vliv ma to, co postihlo i fyzicke lopaty - bagr nahradil deset lopat a podobne veci lze pomalu pozorovat i v IT, jak postupne dospiva.

Re:Proč tolik matematiky?
« Odpověď #1169 kdy: 06. 03. 2016, 17:40:08 »
Dalsi vliv ma to, co postihlo i fyzicke lopaty - bagr nahradil deset lopat a podobne veci lze pomalu pozorovat i v IT, jak postupne dospiva.
Můžeš uvést pár příkladů? Mně přijde, že je to spíš naopak - s tím, jak dneska má noťas už každý druhý důchodce, množí se dotay typu "ty děláš do těch počítačů, mohl bys mi poradit, proč mi nehrají videa?"

Stejně tak zavádění počítačů (čili i sítě a nějakého toho servříku) do všech firem si vyžaduje nějakého správce...

Nemám pocit, že by se poptávka po nižších IT pozicích snižovala, spíš naopak. Snad možná jenom ty operátorky děrnopáskových terminálů už dneska nepotřebujeme :)