Příspěvky

5671

Studium a uplatnění / Re:Pomohl vám titul k lepší práci?

« kdy: 13. 01. 2014, 10:21:18 »

Nad isty stupen komplexity, ale potrebujete mat o trochu hlbsie vedomosti. (takto som sa dostal k tomu, ze som preskumal, ako presne ten attachment vyzera)

Jasně, zjistil jsi, že to potřebuješ, tak sis to sám dostudoval. A pointa je?

Je pomerne usmevne, ked tu prezentujete "staci vediet co je asymptoticka zlozitost", "vediet ukazat NP-uplnost" a sucasne argumentujete, ze "staci mat zakladne prakticke vedomosti". Ked niekto ma vediet toto, tak uz moze mat absolvovany polrocny kurz, ktory mu aj vysvetli aj zaklady teorie.

Ano, myslím si, že každý člověk, co studuje IT, by měl mít jeden semestr jeden předmět, který by polopaticky na praktických příkladech vysvětloval praktické důsledky nejdůležitějších teoretických informatických objevů. Předmět by měl jít hlavně do šířky, aby každý absolvent měl přestavu, jaké ty objevy jsou a jaké mají implikace pro praxi. Kdo by chtěl, mohl by si vybrat konkrétní oblast, která ho zajímá (např. složitost) a v té jít v rámci volitelného předmětu hlouběji - tj. teprve tam se seznámit se všemi důkazy, formalismy apod.

5672

Studium a uplatnění / Re:Pomohl vám titul k lepší práci?

« kdy: 13. 01. 2014, 10:15:38 »

"nejaka heuristika" je presne to, co bez znalosti teorie je zvycajne vo vysledku vyrazne horsie ako ked teoriu viete.
[...] Odpoved "ide riesit problem zastavenia na realnom PC" by bola v rychlokurze asi este horsia, pretoze by to mohol realne niekto skusit . Takto pevne verim, ze absolvent kazdej dedinskej IT univerzity si zapamata aspon tolko, ze to nema skusat.

Jak vidíš, POLOteoretické vzdělání, které se našim absolventům dostává, jim k dobré heuristice nepomůže - přesně jak jsi demonstroval teď, je naopak vede k mylnému dojmu, že "to nejde" a dokonce k pocitu "to je dobře, že to ani nezkusí".

Proč by to, do psích kulek, neměli zkoušet? Teoreticky to jde a každému (úplně každému) je jasné, že prakticky to bude komplikované. Ale proč by to propánajána neměl zkusit? Copak AVGčko nemá/nemělo heuristický test, který simuloval spuštění programu a zkoumal, o co se program pokusí? To je přece skoro totéž. Takže smyslem toho slavného POLOteoretického vzdělání má být, že do AVGčka přijde pětadvacetiletý Brouk Pytlík čerstvě vylezlý z univerzity, který začne AVGčku tvrdit, že nejde udělat to, co oni dělají?!

Videl som par clankov na temu sprava pamati a celkom sa to tam hemzilo nie uplne trivialnymi algoritmami.
Ale uznavam, ze mozno je to len odborna latina.

Já jsem v Básnících viděl přednášku na téma "Hygiena psacího stolu", kde se to taky hamžilo odbornými termíny... A přesto si každý z nás umí psací stůl uspořádat...

Napriklad by som cakal, ze tam treba vediet rozumne implementovat toto: http://cs.wikipedia.org/wiki/Probl%C3%A9m_batohu

A to jako implementace nějakého algoritmu má být ta teorie? Nebo co tím chceš říct?

5673

Studium a uplatnění / Re:Pomohl vám titul k lepší práci?

« kdy: 13. 01. 2014, 09:44:41 »

Ale to všechno lze prakticky zvládnout, aniž bys musel cokoliv vědět o turingově stroji.

Hlavně tohle všechno se (na skutečně potřebné úrovni) dá zvládnout velice rychle a vůbec na to nepotřebuješ se tomu věnovat celý semestr.

IMHO úplně stačí to "teoreticky" znát na téhle úrovni: http://www.algoritmy.net/article/3024/Amortizovana-slozitost -- zbytek už je jenom projít si pár konkrétních algoritmů a pro ně složitost stanovit.

Žádné důkazy, žádná teorie. Prostě ti stačí tušit, kde se hodí použít linked list, kde normální list, kde hashtabulku... A aby to nebylo tk jenoduchý, tak při psaní skutečného OS se nemůžeš omezit na tu teoretickou složitost, ale musíš vzít v úvahu skutečnou, praktickou složitost - s jakými daty se obvykle, v praxi setkáš -- a teprve tomu implementaci přizpůsobit, i kdyby teoreticky bylo jiné řešení lepší...

5674

Studium a uplatnění / Re:Pomohl vám titul k lepší práci?

« kdy: 13. 01. 2014, 09:23:02 »

a) problem zastavenia  nie je sucast vycislitelnosti? Uz su to roky, takze uznavam, ze mozem zit v blude

To je celkem jedno, jak tomu říkáme, můžeme to klidně považovat za součást, beru.

Jenže znovu opakuju:

1. problém zastavení Turingova stroje není totožný s problémem zastavení reálného počítače. Takže pokud se naučíš formálně dokázat, že problém zastavení TS nejde na TS řešit, o problému řešitelnosti zastavení PC na PC ti to (formálně) neříká vůbec nic.

2. bavili jsme se o tom, jestli je určitá znalost potřeba k psaní OS. Znalost problému zastavení TS k psaní OS prostě potřeba není.

b) este aj ohovarany produkt MS za ktorym sedim ponuka bod c.2., ocividne sa snazia s tym nieco spravit.

Ovšem to jistě dělají nějakou heuristikou, která s teorií nemá nic moc společného.

To, ze to z podstaty veci nejde idealne spravit je presne to co presahuje polhodinovy rychlokurz geniality kde sa student dozvie, ze to nejde.

Omyl. Ideálně to (aspoň teoreticky) udělat jde. Akorát je oproti idealizovanému TS potřeba pár podmínek navíc (které běžný výpočet na běžném PC splňuje). Např. si za model PC můžeme místo TS zvolit linear bounded automaton.

- sprava pamati nie je dostatocny priklad?

Za dostatečný příklad budu považovat, když mi někdo ukáže konkrétní aplikaci konkrétní netriviální teorie, bez jejíž znalosti tu správu paměti nikdo nebude schopen napsat. Nebo ji aspoň napíše řádově hůř.

Jsem otevřený diskusi - ale rád bych viděl opravdu konkrétní příklad. Jenom takové plácnutí "memory management" mě fakt nemůže přesvědčit.

5675

Studium a uplatnění / Re:Pomohl vám titul k lepší práci?

« kdy: 13. 01. 2014, 08:56:15 »

"tento program hrozi zacyklenim, fakt ho chces spustit?"
"program sa nie je schopny skoncit, mam ho zabit?"

Mimochodem, JS ti jistě milerád vysvětlí, že to není proveditelné, protože problém zastavení není ani teoreticky řešitelný.

...což je omyl a JS tím jenom demonstruje neznalost právě té látky, jejíž znalost považuje za klíčovou ale určitě tě plamenně vyvede z údajného omylu

5676

Studium a uplatnění / Re:Pomohl vám titul k lepší práci?

« kdy: 13. 01. 2014, 08:46:28 »

Niezeby som sa citil extra kvalifikovane v tomto smere, ale od slusneho OS by som intuitivne ocakaval veci ako:
"tento program hrozi zacyklenim, fakt ho chces spustit?"
"program sa nie je schopny skoncit, mam ho zabit?"

Hm, tak to jednak vůbec nesouvisí s teorií složitosti, jednak to neumí žádný běžný OS, takže tvoje "intuitivní očekávání" asi musí být realitou docela zklamáváno

5677

Studium a uplatnění / Re:Pomohl vám titul k lepší práci?

« kdy: 13. 01. 2014, 08:40:07 »

No jeste porad jsi nedodal ten konkretni priklad. Az ho dodas, tak treba uznam, ze je.

K tomu jeste dodam, ze samozrejme myslim nejaky netrivialni priklad. To, ze by kazdy programator mel tusit, jak se lisi casova slozitost hledani v seznamu a v binarnim stromu, to nepovazuju za dukaz nutnosti "znát teorii složitosti", protože to je tak jednoduché, že se to dá vysvětlit během jedné hodiny bez použití jediného vzorečku.

5678

Studium a uplatnění / Re:Pomohl vám titul k lepší práci?

« kdy: 13. 01. 2014, 08:33:29 »

Taky dumam nad tim, co by Prymek vlastne chtel.

Nad tim nemusis dumat, ja jsem to tady nekolikrat explicitne napsal. Hlavne bych chtel, aby se aspon dve tri nase univerzity umistily v TOP500 aspon nad dvoustým místem, ideálně jedna v první stovce. Jak se na jedné takové špičkové světové škole (MIT) učí "výpočetní myšlení", to jsem taky odkázal.

Imho máš spíš ten problém, že dokud s tebou nebudu souhlasit, budeš remcat pořád - neumíš prostě přijmout, že má někdo na věc jiný pohled než ty.

Na jednu stranu nam tu predhazuje strawman, jak ke psani operacniho systemu neni potreba teorie slozitosti

No jeste porad jsi nedodal ten konkretni priklad. Az ho dodas, tak treba uznam, ze je.

na druhou stranu chce, aby se ucil ITIL a sprava Cisco routeru (ktere jsou narozdil od teorie slozitosti k tomu psani OS opravdu k nicemu).

Nejspis jsi prehlidl tuhle vetu:

Snažit se učit všechny všechno vede jenom k tomu, že nikdo neumí pořádně nic.

5679

Studium a uplatnění / Re:Pomohl vám titul k lepší práci?

« kdy: 12. 01. 2014, 15:38:55 »

Tak mi to prijde trochu jako stezovat si na FEKTu, ze tam je moc elektra.

Ten problém je trochu jinde - když ti někdo dá 4 předměty něčeho, co s ničím jiným moc nesouvisí a co většina lidí dělat nebude, čili to okamžitě po škole zapomene, tak to prostě postrádá smysl, i kdyby ty předměty jinak byly vynikající.

Jo, kdyby tam byl obor nebo specializace na hardware, k tomu spousta laboratoří a spinoff firem, produkujících spoustu zajímavého hw s komerčním uplatněním, tak si tam budou headhunteři podávat dveře. Snažit se učit všechny všechno vede jenom k tomu, že nikdo neumí pořádně nic. Hlavně že se furt oháníme vzdělanostní společností... jenže to znamená být na špici a ne se tetelit někde u chvostu.

5680

Studium a uplatnění / Re:Pomohl vám titul k lepší práci?

« kdy: 12. 01. 2014, 13:28:05 »

Ale, naco 3 povinne, kde clovek sa uci o nasobickach, kadejakych dekoderoch, multiplexoroch, dokonca o VHDL apod. veciach? Poviem vam, ze teraz si nepamatam ani velke prt.

To je to, o čem už jsme mluvili: školy prdí na to, co potřebuje praxe, ale prsknou do studijního plánu to, co mají k dispozici. Takže studijní plán vychází spíš z historie školy než z čehokoli jinýho. Na FI je to stejný, akorát historicky nebyla orientovaná na elektro, ale na formální teorii... Ale ten příběh je úplně stejný.

5681

Studium a uplatnění / Re:Přednášky FIT ČVUT, VUT, MUNI

« kdy: 10. 01. 2014, 20:10:10 »

Jaké argumenty? Máš tu jen jeden starší příspěvek a s ním v podstatě souhlasím .

Asi si spletl téma

5682

Studium a uplatnění / Re:Přednášky FIT ČVUT, VUT, MUNI

« kdy: 10. 01. 2014, 18:49:32 »

A jeste jeden, co se sem hodi, jsem onehda slysel:

Jo, ten clanek jsem dneska v novinach cetl. Vedci by v zasade dokazali
pomerne lacino a relativne spolehlive predpovidat vysledky konskejch
dostihu. Jen je potreba ten problem trochu zjednodusit. Pro zacatek by
stacilo, kdyby kazdej kun byl idealni koule ;-)

5683

Studium a uplatnění / Re:Přednášky FIT ČVUT, VUT, MUNI

« kdy: 10. 01. 2014, 18:47:02 »

Ten samozřejmý předpoklad mi připomněl jednu anekdotu:

Nojono, když ono to s tou teorií je jako když ti dva kominíci prolítli komínem a jenom jeden se umazal. To znáš? Místní ekšperti slyšeli ve škole

Ten, co je špinavý, vidí tvář druhého, která je čistá, a myslí si, že je čistý i on. Kdežto ten, co je čistý, vidí umouněnou tvář druhého, myslí si, že je špinavý, a jde se umýt. Chápeš?

...s tím se spokojili a rozhlašují to dál. Že to má pokračování, na to sere pes

Pokud neznáš, třeba tady: http://www.holocaust.cz/cz2/resources/ros_chodes/2006/08/levi_nyni

5684

Studium a uplatnění / Re:Přednášky FIT ČVUT, VUT, MUNI

« kdy: 10. 01. 2014, 18:00:16 »

A jinak pokud člověk hlouběji pronikne do OOP a architektury a navrhne netriviální graf (např. s kombinací nějakých takovýchto vzorů: http://martinfowler.com/apsupp/accountability.pdf), bude potřebovat napsat vlastní algoritmy pro práci s takovým grafem. [...] Samozřejmým předpokladem je také znalost základů vyčíslitelnosti a složitosti a puf, už jsme opět u formálního vzdělání.

Mohl bys prosímtě uvést konkrétní příklad aplikace znalosti z vyčíslitelnosti, kterou člověk potřebuje k tomu, aby mohl pracovat s objekty, které na sebe odkazují takovým způsobem, jako je to v tom pdf?

Já bych čistě laicky řekl, že v OOP člověk v podstatě nikdy nepracuje se sítí objektů jako celkem a už vůbec k tomu nepotřebuje žádné znalosti z vyčíslitelnosti, ale rád se nechám vyvést z omylu. Jenom, moc prosím, konkrétně - obecných řečí "to je přece potřeba" už jsme tady zažili až až...

5685

Server / Re:Hosting pro web+mail malé obce

« kdy: 10. 01. 2014, 16:47:37 »

No a co zvolit managed VPS bez pristupu roota. [...]
Vyhoda ze tam muzes dat spoustu dalsich veci. Treba neco na spravu projektu(Redmine) pro obec nebo skolu, nejakou wiki pro skolu, zalohovat atd.... .

Oni v tom managed programu můžou nainstalovat a spravovat cokoli? Není to náhodou tak, že mají jenom něco předpřipraveného, na co dají záruku, a pokud chceš něco navíc, tak ztratíš záruku a ještě si to nechají pěkně zaplatit (třeba v řádu tisícovky za hodinu)?