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.


Příspěvky - Mirek Prýmek

Stran: 1 ... 511 512 [513] 514 515 ... 618
7681
Studium a uplatnění / Re:FIT VUT - špatná volba?
« kdy: 23. 10. 2012, 08:51:53 »
Tak to ako pri filmoch - všetko pozerám v pohode pri zrýchlení na 1.5 násobok pôvodnej rýchlosti - pri 1.75 už mi vypadávajú slová a nerozumiem bez sústredenia sa na text.
Pokud nemyslíš dokumenty, tak to je ale hrozný barbarství. Film je umělecké dílo.

7682
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 23. 10. 2012, 08:50:05 »
Bavime se tu snad o mnozstvi matiky, ne?
Bavíme se o množství matiky v poměru k jiným předmětům.

7683
Studium a uplatnění / Re:FIT VUT - špatná volba?
« kdy: 22. 10. 2012, 23:13:34 »
k cemu teda byly ty zaznamy? v jakem obdobi si asi student potrebuje doplnit znalosti, nez v obdobi pred zkouskou?
To mi připomíná, že některý zkoušky jsem dělal tak, že jsem si sjel všechny přednášky víceméně v kuse po sobě (2-3 dny), ty jednodušší jenom poslouchal a u toho třeba vařil :)

Taky si živě pamatuju na debatu o tom, za jak dlouho se takhle celej předmět dá nejrychleji zkouknout - mám pocit, že závěr byl, že nejlepší je to při zrychlení 1.5 - víc už se nedá stíhat :))  (samozřejmě přesnou hodnotu doladit podle vyučujícího! :)) )

7684
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 22. 10. 2012, 22:35:36 »
Á, tak už rozumím teda konečně i té zašmodrchané větě "Neexistuje reseni [HP pro FSM], ktere by bylo konecne a stacilo ho jen parametrizovat velikosti toho KA."

- tím jsi tedy myslel "řešení jiné než hrubou silou". Ok, no tak to stačilo říct...

No tak to nevím, jestli existuje nebo neexistuje* - ale každopádně pro původní téma je to naprosto nepodstatné, protože důležitý závěr je, že pro všechny nyní existující a i budoucí skutečné fyzické počítače je a vždy bude HP teoreticky řešitelný - navzdory tomu, že pro TS není řešitelný ani teoreticky.

No tak pokud celým smyslem debaty bylo ukázat Zz-ovi, k čemu je potřeba znát TS a důkazy s ním spojené, tak to jsme se teda pochlapili :)

Jinak co se týče té konečnosti pásky, dá se to říct i naprosto "inženýrsky" - algoritmus běžící na FSM má předem naalokovanou paměť, zatímco algoritmus pro TM má instrukci "naalokuj další paměť". Jelikož tuhle instrukci může používat donekonečna a tím donekonečna natahovat svůj stavový prostor, nemůžeme nikdy říct, jestli se výpočet zastaví. U FSM to říct můžeme, protože množství stavů je omezené a tímpádem po N krocích zaručeně výpočet buď skončí, nebo se vrátí do nějakého předchozího stavu. Pro TM žádné takové N neexistuje, takže nám může stroj pořád unikat do nových a nových stavů a nikdy se nevrátit do stavu, ve kterém už byl, a přesto neskončit. Proto to nemůže být rozhodnutelné ani hrubou silou, natož nějak jinak.

A pak že TM nepotřebuje nekonečnou paměť a nekonečná paměť nesouvisí s HP :)

* a stejně by mě moc zajímalo, jak by se to dokazovalo

7685
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 22. 10. 2012, 21:12:25 »
Ajo, já už ti asi rozumím - ty jsi jednoduše chtěl říct, že "zastaví se" je vlastností algoritmu, ne celého systému algoritmus+stroj_na_kterem_to_bezi.

No tak to jo. Ale to není nic jiného, než že implicitně předpokládáš definici "algoritmus je nějaká konkrétní konfigurace Turingova Stroje" - a to jsme pořád tam, kde jsme byli: žádný takový program ve skutečnosti neexistuje.  Skutečné programy "běží" na FSM - jsou to konfigurace FSM, ne TS. Proto taky HP pro skutečné programy je (teoreticky) rozhodnutelný.

7686
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 22. 10. 2012, 20:20:12 »
Sice se tema posunulo trochu jinam, ale neodpustim si poznamku k tomu mnozstvi matiky, co se uci jinde...

Semestr na americky skolach ma vetsinou 4 mesice, uci se od zacatku zari a konci se az skoro pred vanocema a predmety jsou vetsinou 2x tydne, takze prumerny predmet ma za semestr kolem 30 vyucovacich hodin! V cesku to je obvykle 12-13 vyucovacich hodin na semestr. Takze kdyz se to prevede, tak to odpovida minimalne 8 ceskym predmetum, coz uz moc nevybocuje z toho, co se uci u nas.
A ta poznámka nějak vysvětluje, proč mají na Princetonu na CS víc než dvakrát víc povinných humanities než matiky?

7687
Hardware / Re:Velkorysé řešení automatizace
« kdy: 22. 10. 2012, 19:37:52 »
nadruhou stranu odmítám dát litr za Arduino Ethernet Shield
Na Ebayi se dá koupit z Číny za tři stovky.

7688
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 22. 10. 2012, 19:32:51 »
Tak teď nevím. Buďto jsem blázen, nbo mi asi něco nedochází...

Bavíme se o tvém tvrzení "Neexistuje reseni [HP pro FSM], ktere by bylo konecne a stacilo ho jen parametrizovat velikosti toho KA." Ptám se, jestli to můžeš dokázat.

Samozrejme, to je prece to, co rika Turingova veta - neexistuje takovy TS, ktery by byl schopen pro nekonecnou mnozinu TS (ktera je ovsem zadana konecne) a zadany vstup urcit, zda se zastavi. Myslim, ze si trochu nerozumime, museli bychom to definovat presneji.
1. proč si tam přidáváš tu "nekonečnou množinu TS"?
Viz wiki: In computability theory, the halting problem can be stated as follows: "Given a description of an arbitrary computer program, decide whether the program finishes running or continues to run forever."  [...]  A key part of the proof was a mathematical definition of a computer and program, what became known as a Turing machine;" [http://en.wikipedia.org/wiki/Halting_problem]
- já jsem to doteď chápal tak, že nemůžu mít jeden TS, kterému bych předal definici libovolného TS a on by mi řekl "zastaví se" nebo "nezastaví se". Nikde nevidím žádnou "nekonečnou množinu TS", nad žádnou nekonečnou množinou neoperuju, předám mu prostě jeden libovolný TS.

To je jako bys řekl, že operace "přičti 1" operuje nad nekonečnou množinou, protože jí můžu předat libovolné číslo z nekonečné množiny čísel.

...anebo mi teda asi něco nedochází, prosil bych to vysvětlit nějak líp, nejraději úplně formálně.

2. Problém zastavení KA je přece něco jiného než problém zastavení TS.
Opět znovu citace Wiki (kterou už jsem uváděl, opět jsi neslyšel?): The halting problem is theoretically decidable for linear bounded automata (LBAs) or deterministic machines with finite memory.
- jak to jde dohromady s tvou větou "Neexistuje reseni [HP pro FSM], ktere by bylo konecne a stacilo ho jen parametrizovat velikosti toho KA." ? Je špatně Wiki, nebo tvoje věta, nebo ty věty nejsou v rozporu (potom prosím taky vysvětlit nějak blbuvzdorněji)

Ale znovu opakuji: TS nevyzaduje nekonecnou pasku; TS je v podstate stavovy automat, a tedy konecna vec. To co vyzaduje nekonecnou pasku je aplikace TS na algoritmy (coz jsou v podstate nekonecne mnoziny konecnych stavovych automatu, jenom nejak parametrizovane, takze jejich popis je konecny, a jak lze ukazat, muzeme je reprezentovat pomoci TS).
Tak tohle je buď hraní se slovy, nebo jsem taky úplně mimo. Mějme automat, který rozeznává jazyk a^{n}b^{n} - potřebuje podle tebe nekonečnou paměť nebo ne?

Citace
Na realnem hardware je mozne rozeznat a^nb^n pro libovolne zadane n. V tom je cely ten vtip - my muzeme zkonstruovat konecny popis, ktery tohle dela; bez ohledu na to, zda ten realny HW lze postavit.
O tom jsem ale nemluvil. Nemluvím o tom, jestli může existovat ALGORITMUS, který to dělá, ale o tom, že nemůže existovat FYZICKÝ STROJ, kterému bych mohl předhodit libovolně dlouhý řetězec a on by mi řekl "je" nebo "není". Každý fyzický stroj, který kdy člověk vyrobí, bude mít prostě nějaký limit k takový, že slovo a^{k+1}b^{k+1} nebude schopen rozpoznat.

Proto nikdy nebudeme mít fyzický stroj, který by skutečně reálně počítal to, co myšlenkový stroj zvaný TS umí počítat.

7689
Studium a uplatnění / Re:FIT VUT - špatná volba?
« kdy: 22. 10. 2012, 15:39:18 »
((pět či více let praxe=tzv. "senior developer") > VŠ) ? true : false
To není k zamyšlení. Stačí se podívat na nabídky práce.

Třeba tady: http://prace.monster.cz/getjob.aspx?JobID=108309988&WT.mc_n=jooble_s_p&utm_source=jooble&utm_medium=cpc&utm_campaign=jooble požadují min. 5 let praxe a jestli máš VŠ je jim u [...]

7690
Studium a uplatnění / Re:FIT VUT - špatná volba?
« kdy: 22. 10. 2012, 15:26:29 »
aha mnoziny si dal :D tak to si frajer ... mne to nejako neliezlo dole krkom
Jo, dal, dokonce napoprvé - sice za C, ale co už by kdo chtěl od praktika :) Na přednášky jsem myslím moc nechodil, nebo si to nepamatuju, takže ohledně stylu výkladu nevím.

Mě to náhodou fakt bavilo. Tuhletu "symbolickou matiku" relativně ještě můžu, protože mě vždycky docela bavila logika. O to víc nesnáším všechnu "počítací matiku" a dost jsem u toho v bakalářovi skřípal zubama - přece jenom jsem to dělal nějaký 4 nebo kolik let po gymplu, takže jsem už pozapomněl ty základy a to se pak počítá fakt hrozně blbě...

7691
Studium a uplatnění / Re:FIT VUT - špatná volba?
« kdy: 22. 10. 2012, 14:52:09 »
To si vůbec nemyslím.
Podle mne je to naprosto jasné.
No musí se jednat věc udělat na dvou místech (hlavičkový soubor a -lknihovna). Možná je to jasný, ale moc elegantní to není :)

7692
Studium a uplatnění / Re:FIT VUT - špatná volba?
« kdy: 22. 10. 2012, 14:50:52 »
Doc. Kunc mi nedal zápočet z teorie grafů a o 1 kredit mi nevyšel postup do dalšího semestru. Tolik formální stránka věci. Nicméně z vyprávění spolužáků o tom, že teorie grafů je ještě easy oproti ostatním matikám (...) jsem usoudil, že v mém případě opravdu nemá smysl se pokoušet na té škole setrvat (= snažit se ho ukecávat na opakovaný zápočet/podávat přihlášku a nastoupit od letního semestru jakoby "znova" s tím, že se uznají předměty ze zimy atd).
Jakože jsi nezískal minimální potřebný počet kreditů za semestr? No to byla ale taktická chyba při zápisu! ;)

Jinak já jsem neudělal něco podobnýho - MA015. Ani si už nepamatuju proč, ale už jsem to ani neopakoval, asi mě na tom něco nasralo, možná vyučující :) nevím. Dal jsem si pak místo toho Kryptografii (M0170) a to bylo z bláta do louže... Je fakt, že ta matika, co je v magistrovi, je opruz jako prase - asi hlavně proto, že je na přírodě a matematici mají daleko jiný základy... Až teda na teorii množin (M0170), to mě bavilo.

7693
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 22. 10. 2012, 14:39:37 »
Nechapu, jakou ted pouzivas definici algoritmu. Vseobecne se algoritmus definuje jako TS (viz Churchova teze). Muzes ho samozrejme definovat jako KA, ale pak toto tve omezene chapani algoritmu bude jen znamenat, ze vety o TS jsou vety o algoritmech (v tvem smyslu) parametrizovanych prirozenymi cisly.
No ano. Například můžu říct, že můj stroj je schopný rozeznat jazyk a^{n}b^{n} jenom pro n<k. A to taky odpovídá realitě skutečného počítače. S čím teda vlastně nesouhlasíš?

Ale my se bavime o nekonecne velke mnozine KA.
Bavíme se o tvém tvrzení "Neexistuje reseni [HP pro FSM], ktere by bylo konecne a stacilo ho jen parametrizovat velikosti toho KA." Ptám se, jestli to můžeš dokázat.

Aplikace vet o TS nekonecnou pasku nevyzaduji, podobne, jako vyse, aplikace vzorecku o obsahu kruhu nevyzaduje znat pi na nekonecny pocet mist. Podstatna je ta neomezenost pasky, nikoli nekonecnost.
To snad záleží na tom, jaká aplikace, ne? Např. nemůžu řict, že TS rozeznává jazyk a^{n}b^{n}, takže ho je možné rozeznat i na reálném HW. Nejde.

7694
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 22. 10. 2012, 13:43:10 »
Mám tomu rozumět tak, že nevíš jak je implementován kompilátor tvého oblíbeného jazyka ? Zda tam je nabušená turingova mašina, nebo záležitosti z pekelné praxe jako stack overflow nebo timeout exceed ?
JS má pravdu - pokud mám obecný algoritmus a zhavaruje mi při stacku délky 1MB, tak mám dvě možnosti:
1. když přidám další x MB stacku, tak už to nezhavaruje
2. ať bych přidal jakékoli množství, tak to stejně zhavaruje

Tyhle dvě možnosti odlišit je dost problém.

7695
Studium a uplatnění / Re:VŠ z trochu jiného úhlu
« kdy: 22. 10. 2012, 13:40:18 »
To neni tak docela pravda. Ty se na to divas spatne. TS neni nerealny. Vety o TS jsou tvrzenim o mnozinach algoritmu (dalo by se rict o mnozinach KA) ktere jsou nejak parametrizovatelne prirozenymi cisly.
To je to samé, co jsem psal Kubovi - není to přece tvrzení o algoritmech jako takových, ale o algoritmech spuštěných na TS.

To bych taky mohl říct, že mám imaginární Prýmkův stroj, který je definovaný tím, že instrukce spouští ne popořadě, ale podle Božského pravidla - a pak bych nějak třídil algoritmy podle toho, jaké vlastnosti jejich běh na PS bude mít. Takový stroj prostě nikdy nebudeme mít, takže musíme taky přemýšlet pořádně nad tím, k čemu jsou nám dobré závěry, které platí pro něj.

Neexistuje reseni, ktere by bylo konecne a stacilo ho jen parametrizovat velikosti toho KA.
Dá se to dokázat? Přijde mi to totiž trochu divné, vzhledem k tomu, že KA má jasně daný počet stavů a tímpádem i maximální počet možných přechodů...

Takze to neni tak, ze nikdo nemuze sestrojit TS.
Vyžaduje TS nekonečnou pásku nebo ne? Je možné nekonečnou pásku sestrojit?

Stran: 1 ... 511 512 [513] 514 515 ... 618