Příspěvky

7006

Server / Re:Remote shutdown (jeden servr jinym)

« kdy: 06. 03. 2013, 07:37:13 »

Tim sice docilis toho, ze pripadny utok na A nepovede k ziskani kontroly nad B, ale muze vest k vypnuti B.

...čili úplně stejná situace jako u toho ssh + login shell /sbin/shutdown, jenom dosažená podstatně komplikovaněji a méně robustně

Pro tazatele: pokud chci, aby stroj A mohl vypnout stroj B, tak z toho logicky plyne, že když někdo stroj A ovládne, může stroj B vypnout. Jediný způsob, jak by se tomu dalo vyhnout, je, že by stroj A potřeboval součinnost ještě někoho jiného.

7007

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 05. 03. 2013, 00:13:20 »

Dědkové jedni plesniví! Zítra is mě nepřejte.

7008

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 04. 03. 2013, 23:52:12 »

Už je dávno po jedenácté, všichni spát!

A ruce na peřinu!

7009

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 04. 03. 2013, 22:49:35 »

Je Vám jasné, že se začínáme blížit do bodu, kdy se spotřeba času na toto téma vyrovná době, za kterou byl napsán první MS DOS, se kterým udělal Bill díru do světa? 

Však si tady ještě chvilku blbněte, ale v jedenáct zhasnu a jde se spát!

7010

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 04. 03. 2013, 22:12:56 »

P.S. doporučuji úvahu zaměřit směrem k pojmu "stavový prostor". To totiž není to samé jako popsaná část pásky.

7011

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 04. 03. 2013, 22:03:34 »

Bezva. Tak to já umím podobně řešit zcela libovolný problém - prostě si počkám, až bude k dispozici patřičném orakulum. A dokud nebude, budu prostě čekat. Výhodou je, že tímto způsobem umím řešit i problémy, které jsou prokazatelně neřešitelné ani teoreticky.

No, tak to bysme měli dneska za F, tak se na to ještě koukněte pane kolego a zkusíme to někdy příště.

7012

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 04. 03. 2013, 15:24:09 »

Ale to je podla mna nezmysel - atomov vo vesmire je nieco ako 10^80 ~= 2^265.75. A nejaky vypocet, ktory moze pouzivat 266 bitov (tj. moze mat az 2^266 stavov) zase nie je az taka vzacnost. Niektore jeho vetvy jednoducho nezastavia a nezriedka by sa oplatilo vediet, ci su aj take.

Promin, ale ty jsi opravdu tak natvrdlej, nebo si ze me delas srandu? To se jako budeme ted bavit o tom, kolik je atomu ve vesmiru? Promatkuprirodu, jiste ze jsem myslel tolik BITU, kolik je tech atomu. Ale to je jedno, na tom totiz vubec nezalezi...

Prosimte, kdyz te ta teoreticka informatika tak bavi a je tak strasne dulezita, dobre si promysli, proc je HP resitelny pro linear bounded automata. Cim to je? Co je tak zasadne odlisuje od TM?
A proc vlastne problemy zacinaji u counter automata?
A pak si poloz zapeklitou otazku: umi pocitac, ze ktereho prave pises na root, skutecne rozeznavat jazyk na a^{n}b^{n}? Proc? Pokud ne, jak bys ho musel rozsirit, aby to umel?

Samozrejme pokud nechces, tak se nad tim nezamyslej, ale mel bys to udelat, protoze chapat tyhle veci je straaaasne dulezite pro kazdeho ajtaka, aaaaaaano?

Ja si s dovolenim na nejaky cas dam od tohodle tematu pauzu, jinak me fakt jebne.

7013

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 04. 03. 2013, 14:32:58 »

Stavovy priestor je v kazdom okamihu niecim obmedzeny, ale priebezne sa moze zvacsovat, kde je prave ten mnou opisany problem.

Ale to neni podstata problemu. Podstata problemu je v tom, ze napr. nikdy nebudes potrebovat resit vypocet, ktery ma tolik stavu, kolik je atomu ve vesmiru. Proste nebudes. A jestlize nejaka takova hranice existuje (libovolne jak velka, ale nejaka), tak je HP teoreticky resitelny.

Jako nezlob se na me, ale jestli tohle nechapes, a zaroven argumentujes tim, jak je teoreticka informatika a matematika strasne dulezita, tak si o tom chte nechte musim myslet svoje...

7014

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 04. 03. 2013, 14:20:45 »

Ale o to vůbec nejde. Důležité je, že logický systém je bezesporný.

Cili veta "je uplne jedno, o co se jedna, dulezite je ze..." nebyla pochopena.

Lamu hul.

Pokud jste ty a d.k. chteli dokazat, ze je kazdy informatik potrebuje znat Turinga, tak podle me jste dokazali jenom to, ze se Turing na nasich skolach uci tim zpusobem, ze z toho maji studenti jenom zamotanou hlavu a neumeji to aplikovat.

Kazdy at si o tom mysli, co chce.

Howgh.

7015

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 04. 03. 2013, 14:02:10 »

To se nepochybně stane, virtuální kodéry očekávám kolem roku 2040, zatím na to není dostatečně výkonný hardware.

Spis bych rekl, ze zatim je dostatek lidi, kteri jsou schopni to udelat levneji

7016

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 04. 03. 2013, 13:51:17 »

Jde o existenci totální funkce s daným typem (viz Curry–Howard correspondence) - ta funkce je důkaz a až si ho kompilátor ověří, tak tu funkci může zahodit. Ta funkce se vůbec nemusí vyhodnocovat.

Jazkovanoho ale to je prece uplne jedno, o co jde. Dulezite je, ze jediny zpusob, jak zajistit strojovou nedokazatelnost neceho nad nejakou strukturou (a je uplne jedno o jakou strukturu se jedna) je to, ze ten stroj prochazi stale novymi a novymi stavy. Opakuju: je uplne jedno, o co se jedna: muze to byt ten tvuj solver, kde "se nic nespousti, jenom overuje", nebo to muze byt pocitac, to je proste jedno. Dulezite je, ze jakysi vypocet ma moznost nabyvat stale novych a novych stavu, cimzpadem ma moznost se nikdy nezastavit, cimzpadem se nikdy nedovime vysledek takoveho vypoctu.

Jenze to je ciste teoreticky (matematicky) koncept. realne nikdy nemuze existovat jakykoli stroj/mechanismus/robot/cokoli... co by mohlo nabyvat stale nove a nove stavy. A jelikoz pocet stavu je nejak shora omezeny, tak proste k tehle TEORETICKE neresitelnosti nikdy nedojde.

Jeste jednou, naposledy a uplne polopaticky: zjistovani vlastnosti* nicim neomezeneho stroje, je ciste jenom teoreticky problem, protoze nicim neomezeny stroj neexistuje a nikdy existovat nebude. Vsechny stroje, ktere mame ted, ktere budeme mit zitra a az do skonani veku, jsou a vzdy budou omezene a proto i jejich zastaveni je teoreticky resitelne.

* napr. za jakych okolnosti se zastavi nebo nezastavi

7017

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 04. 03. 2013, 13:50:55 »

lebo ak to pritiahneme za vlasy, tak si algoritmus moze lubovolne pytat dalsiu kapacitu a my sme schopni mu ju nejak v rozumnom case dodat (=>prakticky nekonecny stavovy priestor).

Zaprve to neni pravda. Moznosti kazdeho stroje jsou celkem jasne omezene. Stavovy prostor kazdeho stroje je a vzdy bude omezeny.

Zadruhe to je hloupy predpoklad, protoze pokud se bavime o skutecne realnych problemech ve skutecne realnych podminkach, tak vzdy mame ramcovou predstavu o narocnosti algoritmu. Spravne to rika Rax: pokud soucet dvou 32bitovych cisel bude trvat deset let, tak nas proste uz vysledek nezajima.

7018

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 04. 03. 2013, 12:53:45 »

I v praxi je třeba řešit terminaci pro všechny vstupy, tudíž i v praxi se vyskytuje obecný HP.

To je naprosto nesmyslna argumentace.

To je asi tak jako bych rekl, ze filosof X resi problem, kolik andelu se vejde na spicku jehly -> resi se to v praxi -> je to prakticky problem.

7019

Hardware / Re:RFID čip bez SMD provedení

« kdy: 04. 03. 2013, 12:44:02 »

Output format: Baud rate 9600, Data bits 8, stop bit 1

Tak čte z tagu 8 znaků a přídá jeden znak '/n'.

Jo takhle

Ne. To je zpusob, jakym posila data po uart: jeden znak = 8bitu + stop bit. To je tzv. 8n1 format: http://en.wikipedia.org/wiki/8-N-1

7020

Hardware / Re:RFID čip bez SMD provedení

« kdy: 04. 03. 2013, 12:36:49 »

jinak jenom teď nevím jestli se pletu, ale jeden znak zabere v paměti 1bit?
Já to totiž bral tak, že pokud je tam uvedeno 1bit=1 znak. A já jich potřebuji 12 znaků.
Tak to byl důvod proč sem si myslel, že to není použitelné.

Tak ted asi uplne nevim, na co se ptas, ale jestli myslis, kolik bytu to umi z tagu precist, tak to neumim rict. Mam to vyzkousene jenom se sedmibytovymi, jine nevlastnim, takze nevim.