Zobrazit příspěvky
Tato sekce Vám umožňuje zobrazit všechny příspěvky tohoto uživatele. Prosím uvědomte si, že můžete vidět příspěvky pouze z oblastí Vám přístupných.
Co se mnozstvi teorie a praxe tyce, mohlo by se to snad zamlouvat i Mirku Prymkovi x))Obávám se, že ne. Ta matika, co tam je, je (aspoň podle sylabu) klasickej dinosaurus "tohle musí každej vysokoškolák znát". Naprosto zbytečná onanie.
Na FITu (a asi nejen zde) obecne chybi vetsi moznost volby, je nejaky konkretni duvod, proc vetsina predmetu neni volbou studenta?Je - studenti docela dobře ví, co chtějí, takže na mimózní předměty mimózních vyučujích by nikdo nechodil. A prestiž velkých akademiků by nabouralo, kdyby bylo narváno na praktických předmětech doktorandů a v hodinách velkých kapacit by byl jeden člověk.
(využít k to nechci, šlo mě jen o ten princip - resp "míru pracnosti")Řekl bych, že cokoli nevyžaduje nějaký manuální zásah (tj. je to nějaká standardizovaná komunikace), na to existuje nějaký nástroj, který zvládne použít jakýkoli děcko, pokud si ho najde. A je lepší předpokládat, že najde
Cista teoria" je matematika a cela teoreticka informatika je aplikaciaAha
Inak povedane: dajte ten zoznam algoritmov a viet co ma vediet absolvent a mozme sa zamysliet, ci nie je jednoduchsie do nich natlacit teoriu.To nikdy - z principu věci - nemůže být lehčí. Např. ty reguláry - každý absolvent by imho měl vědět, že pomocí konečného automatu se nedá rozpoznat jazyk a^(n)b^(n) a neformálně tušit, proč to tak je (konečný automat má konečné množství stavů -> neumí si zapamatovat libovolně velké číslo n). To je úplně jednoduchý princip, který se dá vysvětlit tak za hodinu. Pokud chci "učit teorii", tak k tomuhle neformálnímu vysvětlení musím přidat spoustu materiálu formálního. Formální vysvětlení nikdy nemůže být kratší než neformální, to dá rozum.
Promiň, ale nedá mi toWow! Naprosto přesný! Číšník přece MUSÍ umět řešit travelling salesmana, protože jinak NEMŮŽE optimálně obsluhovat!
http://xkcd.com/287/
Zavedeme výuku knapsack problému na hotelových školách?
Naco nam je pocitanie integralov, ked mame wolframalpha ?Přesně! Tohle je přesně ta správná otázka. Akorát si dovolím ji formulovat jinak: ze sociologie víme, že míra rozvoje společnosti je v přímé úměře k rozvoji dělby práce a specializaci. Než každého napůl (tj. špatně!) naučit integrovat, není lepší naučit většinu z nich problémy s integrály správně identifikovat a poté správně řešit správným použitím správného nástroje -- a (důležitá podmínka!) ty nejtalentovanější z nich naučit integrály pořádně (tj. dobře), aby ty nástroje pro ty první uměli vytvářet?
t.j. napriklad v pripade vyssie uvadzanej funkcie sort() ma zmysel do absloventa natlacit, ze existuje nieco ako horna hranica zlozitosti (co je cista teoria) pre pripad, ze by programoval real-time aplikaciu. Ale ocividne pre neho nema zmysel tlacit axiomu vyberu.V tom případě nejsme vůbec ve sporu, protože přesně tohle si myslím taky. Je potřeba do něj natlačit, co všechno existuje. Ne si vybrat jednu věc ze všech a s jejími detaily ho umořit.
Niekde medzi tym sa nachadza "spravna mnozina robotnickej teorie".
Ako som pisal vyssie, pojem "prakticke" sa meni podla pozicie.Já pod pojmy teorie a praxe myslím pořád to samé - maximálně se možná liším v tom, jak vnímáme rozsah těch pojmů, což se prostě stává.
Ked pisete OS mate o dost vyssie poziadavky (musite vediet implementovat sort), ako ked pisete obsluzny program (tam zavolate funkciu sort() ).
Uplny zoznam algoritmov ziaden rychlokurz geniality nikomu neda.Nerozumím. O žádném "úplném seznamu algoritmů" jsem nic nepsal.
Mimochodem, na Datových strukturách jsme dokazovali složitost hromady algoritmů, ale nikdy ne jako kroky Turingova stroje!Tak jasně, to má přece zjevný důvod: chtěl bych vidět JS-a, jak by přepisoval nějaký třídící algoritmus do konfigurace TS. Myslím, že by mu to dalo dost hodně pokouřit. A jak by pak nad tou konfigurací počítal složitost, to bych taky moc rád viděl, to by byla dobrá komedia
Jen tak pro zajímavost, nás třeba Vyčíslitelnost učil člověk, po kterém se několik vět dokonce jmenujeO tom bych ani moc nepochyboval. Jenže "vědecká výkonnost" je jenom jedna součást těch žebříčků.. Já měl vlastně vždy za to, že světovosti se u nás (na MFF) vždy blížili hlavně ti teoretičtí informatici.
Jasne, mali by ste si aj s Prymkom povedat, co su "zakladne vedomosti hodne vysokoskolsky vzdelaneho robotnika v IT" a co "teoreticke nepodstatnosti pre akademikov".Ale to je přece jednoduché - praktické je to, co se používá v praxi. Slova "praktické" a "praxe" mají kupodivu stejný základ
Ocividne mate tendenciu presuvat kazdu prakticku ukazku do prveho chlievika co vam umoznuje vitazoslavne opakovane zotrvavat v povodnom nazore. Ked date uvedeny zoznam, mozme sa pobavit, ci je vycerpavajuci.Nic nemusím nikam přesouvat. Když mi řekneš "je k tomu potřeba implementovat algoritmus", tak to prostě není teorie. Implementovat znamená naprogramovat. Sednou si ke komplu a něco nabušit v nějakém konkrétním programovacím jazyce.
Jakou přesně cestou se jít nedá? Nedá se na imaginárním stroji, který nikdy neexistoval a nikdy existovat nebude, určit jistá vlastnost tohoto imaginárního stroje? No tak to je velmi důležitý poznatek, který by každý absolvent měl znát! A hlavně by ho měl chybně aplikovat na PC, to je opravdu velmi potřebné a dostane nás to na špici!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.
Ale rika! Minimalne to, jakou cestou se jit neda.
Asi jsem měl dodat, že povinná z nich byla jen jednaOno mi to došlo, že 8 by bylo trochu moc úchylný i na naše skvělé světové univerzity
Pak bys ale musel ukazat, ze je tim problemem (proc nejsme v TOP500) skutecne syllabus, a konkretne premira teorie, jak tvrdis (zda se), a nikoli jine problemy, jako treba fakt, ze CR je relativne mala zeme s uzkym kulturnim okruhem, nebo penize, politicka kultura atd.Nemusím nic. Tyhle výmluvy už jsme probírali dostatečně. Omezím se na konstatování, že Izrael taky není největší země (59. příčka), ani Holandsko (74.) a koneckonců ani Švédsko (44.), Belgie (101.-150). Standardní výmluva č.2: jsou to bohaté země. Např. Singapur, Taiwan, Jižní Korea, Brazílie, Mexiko, Hong Kong, Argentina, Jihoafrická republika, Indie (všechny 101.-150.) a v širokém kulturním okruhu a demokracii jistě vyniká Čína a Saudská Arábie (taky 101.-150.). Jo a hlavně jsou to všechno státy naprosto odlišné od našeho. Např. Srbsko (301.-400.)
A na to, že nejsem teoretický informatik, jsem ji absolvoval docela hodně (třeba složitosti a vyčíslitelnosti dohromady 8 semestrů).To víš,
Ještě dodám, že při psaní skutečného OS je dobré vzít v úvahu nejen praktická data, ale i praktický hardware, na kterém to poběží. Ono je hezké, že hledání v RB tree má složitost O(log N) a hledání v obyčejném nesetříděném poli O(N), ale většinou se už neříká, že přístup k prvku v RB tree generuje typicky docela drahý cache miss, takže když se celková velikost všech prvků vejde do několiká málo cache lines, je pole výrazně výhodnější než RB tree, ušetří se čas CPU i celková pamět.Jasně, to je přesně ono. Nebo se třeba šahá na disk křížem krážem a ve finále je to pomalý jako prase... To je přesně to, co jsem říkal výš: umíme přesně a teoreticky vyfutrovaně předpovídat výsledek dostihů idealizovaných koulí
Root.cz (www.root.cz), informace nejen ze světa Linuxu. ISSN 1212-8309
Copyright © 1998 – 2023 Internet Info, s.r.o. Všechna práva vyhrazena. Powered by Linux.
