TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach

FEI archív 2010/2011 => 4. ročník => Topic started by: markus on 20.09.2010, 02:42:18

Title: Teoretická informatika
Post by: markus on 20.09.2010, 02:42:18
ok ... odkaz pre ludi... cvika z teoretickej informatiky prvy tyzden nebudu ... citacia z mailu :
"Este DOLEZITA INFORMACIA: v buducom (1.) tyzdni cvicenia z TI nebudu, lebo
ja aj kolegyna Lalova sme na sluzobnej ceste (konferencia). Takze pridte v
utorok, ale az druhy tyzden. A ak mozte, dajte prosim vediet aj inym ze
cvicenia z TI v 1. ty...zdni nebudu.

S pozdravom

S.Korecko"
Title: Re: Teoretická informatika
Post by: drtic on 20.09.2010, 03:40:51
ok ... odkaz pre ludi... cvika z teoretickej informatiky prvy tyzden nebudu ... citacia z mailu :
"Este DOLEZITA INFORMACIA: v buducom (1.) tyzdni cvicenia z TI nebudu, lebo
ja aj kolegyna Lalova sme na sluzobnej ceste (konferencia). Takze pridte v
utorok, ale az druhy tyzden. A ak mozte, dajte prosim vediet aj inym ze
cvicenia z TI v 1. ty...zdni nebudu.

S pozdravom

S.Korecko"
To len tak ti napisal?
Title: Re: Teoretická informatika
Post by: markus on 20.09.2010, 04:14:09
nie mne kamos pisal, neviem co s nim vybavoval...
Title: Re: Teoretická informatika
Post by: jardo on 20.09.2010, 14:34:16
popici, ze len tak dakomu posle mail, a niekto tu caka ako ... A prednaska tento tyzden bude?
Title: Re: Teoretická informatika
Post by: cory on 20.09.2010, 17:31:35
Ahojte. Chcem sa spytat ci by sa niekto nechcel vymenit z cvicenia v pondelok 11:35 na cvicenie v pondelok 16:50. Ja chodim na to neskor a chcel by som na to skor.
Title: Re: Teoretická informatika
Post by: LNC on 21.09.2010, 16:26:09
ach ja hlava derava, vedel som, ze mam skontrolovat forum a nemusel som tak skoro rano vstavat :D
Title: Re: Teoretická informatika
Post by: domino3d on 21.09.2010, 22:31:19
ach ja hlava derava, vedel som, ze mam skontrolovat forum a nemusel som tak skoro rano vstavat :D

aspon si mal o deviatej a nie o osmej jak my :D inak vitaj v skole  bv
Title: Re: Teoretická informatika
Post by: jardo on 23.09.2010, 04:54:23
to zajtra je prednaska v dajakej L9, to kde je ta miestnost v ktorej budove?
Title: Re: Teoretická informatika
Post by: markus on 23.09.2010, 06:43:45
Prednaska je v PK7-L4... a PK7 je viz mapka
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Foko.fei.tuke.sk%2Fwww%2Fsk%2Fstudium%2Frozvrhy%2Fmapa.jpg&hash=b7293548197a2de66c38ba747108ab6209b8b8d1)

akurat sa mi mari ze som to videl minule rozbombardovane co to prerabaju ta som zvedavy :D
Title: Re: Teoretická informatika
Post by: jardo on 23.09.2010, 15:08:35
tam som este nikdy nic nemal, bude to premiere :)
Title: Re: Teoretická informatika
Post by: ApokalypS on 23.09.2010, 18:48:58
si pis, ze bude.. ani netusis, co ta caka
Title: Re: Teoretická informatika
Post by: mctom on 27.09.2010, 01:05:17
viem že asi dosť blbá otázka, ale bol niekto na prednáške z TI a vie poskytnúť nejaké info??  ap :D
Title: Re: Teoretická informatika
Post by: domino3d on 27.09.2010, 01:13:43
hej, hudak nebol, bol korecko a ko prednasajuci, a kresla su tam dobre, a zle sa opiera o drevene lavice
Title: Re: Teoretická informatika
Post by: piton on 27.09.2010, 06:03:38
a este doplnim, ze fajne vela miesta na nohy pod lavicami...
Title: Re: Teoretická informatika
Post by: domino3d on 27.09.2010, 12:59:47
a este doplnim, ze fajne vela miesta na nohy pod lavicami...
ty asi nemas skoro dva metre, alebo si bol ironicky :D
ale v ZP je horsie podla mna, tam ked vychytas lavicu s tym drevom  pred kolenami ...
Title: Re: Teoretická informatika
Post by: piton on 27.09.2010, 14:45:17
mam skoro dva metre :D chybaju mi asi 2 cm... sak v tej miestnosti je kopec miesta na nohy, lepsie jak P24/25, ZP1/2...
Title: Re: Teoretická informatika
Post by: jardo on 27.09.2010, 16:20:50
su niekde prednasky z tohto predmetu?
Title: Re: Teoretická informatika
Post by: jan on 29.09.2010, 00:51:33
skripta:

https://hornad.fei.tuke.sk/~korecko/ti/tikn.zip (https://hornad.fei.tuke.sk/~korecko/ti/tikn.zip)
https://hornad.fei.tuke.sk/~korecko/ti/SHudak_TIuvod.pdf (https://hornad.fei.tuke.sk/~korecko/ti/SHudak_TIuvod.pdf)

toto ze pokryva 90% uciva  :ohmygod: :ohmygod: :ohmygod:
Title: Re: Teoretická informatika
Post by: domino3d on 29.09.2010, 03:41:07
mam skoro dva metre :D chybaju mi asi 2 cm... sak v tej miestnosti je kopec miesta na nohy, lepsie jak P24/25, ZP1/2...
jaj mi o tom starom  v strede s abavime, tak hej, to bolo v pohode, ZP je zleeeeeee P25 sa este da ale nie viac ako hodinu 30 dnes aj AF ma uz srala  :bannana_guitar:
Title: Re: Teoretická informatika
Post by: domino3d on 30.09.2010, 22:08:39
co bolo na prednaske?
co dolezite? :)
Title: Re: Teoretická informatika
Post by: Havran on 01.10.2010, 01:07:29
co bolo na prednaske?
co dolezite? :)

kedy pocas studia bolo daco dolezite na prednaske...
Title: Re: Teoretická informatika
Post by: radix on 01.10.2010, 05:38:44
co bolo na prednaske?
co dolezite? :)
ved si tam bol tak co sa pytas?
Title: Re: Teoretická informatika
Post by: domino3d on 01.10.2010, 14:27:01
co bolo na prednaske?
co dolezite? :)
ved si tam bol tak co sa pytas?
nebol som na konci, povedal daco dolezite na konci?
Title: Re: Teoretická informatika
Post by: drtic on 02.10.2010, 02:26:53
Ani nie, uz sme len dokoncili tu ekvivalenciu automatov.
Title: Re: Teoretická informatika
Post by: DeViLvs on 05.10.2010, 16:20:09
ludia kedy ma korecko cvika? mais teraz blbne, nejde odporucany stud.plan. thx
Title: Re: Teoretická informatika
Post by: drtic on 06.10.2010, 00:03:34
Ja viem o:
Po 8:15-9:45, PC6
Ut 9:10-10:50, PC6
Title: Re: Teoretická informatika
Post by: DeViLvs on 06.10.2010, 17:00:30
dik. btw vie niekto aj o inom maile na lalovu ako martina.lalova@tuke.sk? Bo som jej pisal uz 2x a stale nic.
Title: Re: Teoretická informatika
Post by: Matejus on 06.10.2010, 19:52:02
ja som jej písal na tento mail ospravedlnenie z neúčasti a takisto neodpísala, ale na hodine mi povedala, že prijala mail a ospravedlnenie prijala. Asi nemá vo zvyku odpisovať :) alebo skôr nemá čas.
Title: Re: Teoretická informatika
Post by: jardo on 09.10.2010, 01:27:11
ludia neviete nahodou ci su nuekde na nete zavesene prednasky?
Title: Re: Teoretická informatika
Post by: drtic on 09.10.2010, 14:41:01
Na ftp tuke.mafo.sk su skripta a priklady. Tie veci co sme brali doteraz su este z predmetu "Teoreticke zaklady informatiky".
Title: Re: Teoretická informatika
Post by: jardo on 09.10.2010, 20:20:42
no ale myslim , komkretne tie co prezenentuju na hodinach?
Title: Re: Teoretická informatika
Post by: drtic on 09.10.2010, 20:35:19
Nooo, myslim si ze by sa zislo sem tam prist na prednasku.

Na prednaskach sa totiz ide podla skript co som vymenoval. Prezentacie su len s TZI a znich len tazko pochopis o co ide.
Title: Re: Teoretická informatika
Post by: domino3d on 10.10.2010, 03:59:06
nejake tzi skripta, nie tie z ftp, nie su? lebo tam nie su obrazky a ani tabulky, napr strana 67...
Title: Re: Teoretická informatika
Post by: JCube on 10.10.2010, 05:00:56
tak chod makat :)
Title: Re: Teoretická informatika
Post by: Matejus on 11.10.2010, 02:52:57
nemohol by mi prosím Vás niekto oskenovať cvičenie z 2.týždňa s Ing. Ľaľovou ? budem vďačný ...
Title: Re: Teoretická informatika
Post by: kilomassa on 13.10.2010, 00:17:15
celkovo by mohol niekto hodit prednasky na net ak by sa mu chcelo
Title: Re: Teoretická informatika
Post by: elvolcanoik on 14.10.2010, 16:49:39
A tiez by niekto mohol kazdy tyzden zavesit priklady z cviceni od Ing. Korecka a Ing. Lalovej
Title: Re: Teoretická informatika
Post by: Sxx on 15.10.2010, 02:41:07
Domino3D = (https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fmain.makeuseoflimited.netdna-cdn.com%2Ftech-fun%2Fwp-content%2Fuploads%2F2010%2F03%2Fgameprogramming.jpg&hash=1b7d7f9006f4254ee44cc515b38c1a213d9a1bed)

sry za off topic :)
Title: Re: Teoretická informatika
Post by: domino3d on 15.10.2010, 18:27:13
nejake tzi skripta, nie tie z ftp, nie su? lebo tam nie su obrazky a ani tabulky, napr strana 67...

Title: Re: Teoretická informatika
Post by: jardo on 18.10.2010, 21:55:42
co bolo v pondelok na cviku s lalovou, vie niekto?
Title: Re: Teoretická informatika
Post by: Sxx on 20.10.2010, 05:28:31
take tie chujoviny, neviem jak sa to vola :), treba nato pravidla aby si vedel ratat
Title: Re: Teoretická informatika
Post by: jardo on 20.10.2010, 15:47:57
nevies mi povedat presnejsie? alebo hodit scany na net?
Title: Re: Teoretická informatika
Post by: Sxx on 20.10.2010, 21:52:28
Tu mas cele cviko
Title: Re: Teoretická informatika
Post by: kilomassa on 01.11.2010, 05:54:28
nenapisal by ten kto ma znenie zadani ktore mozu byt na zapoctovke ?
Title: Re: Teoretická informatika
Post by: LNC on 03.11.2010, 01:01:11
kto ma douci TI na zapich? napiste si cenu do spravy+cas kedy Vam to vyhovuje..
pisem v utorok
Title: Re: Teoretická informatika
Post by: DeViLvs on 04.11.2010, 16:24:45
vie mi niekto napisat co vsetko tam bude? thx
Title: Re: Teoretická informatika
Post by: VagiClean on 04.11.2010, 17:42:53
Neviete nahodou niekto ako je to so skupinami u Lalovej ? Koreckove skupiny pisu az o tyzden neskor a Lalova tiez spominala nieco na poslednom cviceni ze mozno sa to presunie , nema niekto nejake info ? THX :ringsmiley:
Title: Re: Teoretická informatika
Post by: DeViLvs on 04.11.2010, 17:55:08
Neviete nahodou niekto ako je to so skupinami u Lalovej ? Koreckove skupiny pisu az o tyzden neskor a Lalova tiez spominala nieco na poslednom cviceni ze mozno sa to presunie , nema niekto nejake info ? THX :ringsmiley:
Si si isty, ze Koreckove skupiny az o tyzden? Neviem, na cvikach som nebol poslednych.
Title: Re: Teoretická informatika
Post by: VagiClean on 04.11.2010, 18:40:16
Ano , dnes mi pisala spoluziacka ze oni maju az o tyzden u korecka , tak lebo aj vam aj nam odpadli 3 cvika takze Korecko to presunul len ci aj Lalova tak dufam ze ano
Title: Re: Teoretická informatika
Post by: Patto on 04.11.2010, 19:07:24
veru aj nam s Lalovou odpadli cvika ... a som pocul, ze zapoctovku bude zostavovat asi Hudak, tak by to malo byt asi v ten isty cas nie? ... co tak keby niekto skusil napisat Lalovej
Title: Re: Teoretická informatika
Post by: kilomassa on 04.11.2010, 19:39:29
ta ja chodim v utorok a mame normalne utorok s koreckom pisomku
Title: Re: Teoretická informatika
Post by: VagiClean on 04.11.2010, 21:10:01
mal som na mysli len skupiny co maju v pondelok , akurat som napisal mail takze ked mi pride odpoved dam vediet aj na forum nech sa nemusime zbytocne ucit :)
Title: Re: Teoretická informatika
Post by: LNC on 04.11.2010, 21:34:20
dnes mi to bolo vysvetlene a mam v tom namiesto hmly kus jasnejsie.. nechcem predbiehat, ale dufam, ze na minimalny zapich to bude stacit :)
Title: Re: Teoretická informatika
Post by: radix on 05.11.2010, 14:02:32
dnes mi to bolo vysvetlene a mam v tom namiesto hmly kus jasnejsie.. nechcem predbiehat, ale dufam, ze na minimalny zapich to bude stacit :)
a ked nie tak do roka sa to naucis :)
Title: Re: Teoretická informatika
Post by: Rainman9 on 06.11.2010, 04:28:45
mal som na mysli len skupiny co maju v pondelok , akurat som napisal mail takze ked mi pride odpoved dam vediet aj na forum nech sa nemusime zbytocne ucit :)
Stále neprišla žiadna odpoveď ? Už sme nedočkaví ... :D
Title: Re: Teoretická informatika
Post by: markus on 06.11.2010, 16:08:43
ja som tiez pisal lalovej a zatial nic... som pocul ze ona na maily nezvyka odpoved :D
Title: Re: Teoretická informatika
Post by: drtic on 06.11.2010, 16:51:35
Zmenila sa miestnost pre prednasku L4 -> L9_A230. Asi kvoli tomu, ze tam robotnici furt lomozia.
Title: Re: Teoretická informatika
Post by: VagiClean on 06.11.2010, 17:14:24
ja som tiez pisal lalovej a zatial nic... som pocul ze ona na maily nezvyka odpoved :D


Tiez stale nic :( tak dufam ze odpise nech mam dobry pocit , ale ja tipujem ze na 90 % nepiseme v pondelok ked ani koreckovci nepisu , ona sama vravela na cviku ze sa zariadi podla korecka lebo im odpadlo tak isto tak ze sa s nim dohodne a podla toho sa bude pisat /prelozi
Title: Re: Teoretická informatika
Post by: deCode666 on 06.11.2010, 17:15:36
ja som tiez pisal lalovej a zatial nic... som pocul ze ona na maily nezvyka odpoved :D

Neboj, ona odpíše ... tak o 2, 3 týždne ... možno ...  ;)
Title: Re: Teoretická informatika
Post by: domino3d on 06.11.2010, 21:58:17
Zmenila sa miestnost pre prednasku L4 -> L9_A230. Asi kvoli tomu, ze tam robotnici furt lomozia.
A JE TAM ZIMA!
Title: Re: Teoretická informatika
Post by: kamelot on 06.11.2010, 23:23:13
zapoctovka by mala byt v 9tom tyzdni (mame teraz preberat zasobnikove automaty, ktore maju byt na zapoctovke tiez)... jedine utorkova skupina s Koreckom pise tento tyzden, lebo im neodpadlo cviko minuly tyzden
Title: Re: Teoretická informatika
Post by: scream on 07.11.2010, 00:21:07
na cviku sa povedalo ze piseme teraz v pondelok, nikto nepovedal nic ine... na minulom sme opakovali... tak sa asi bude lepsie drzat toho ze zapoctovka je.
Title: Re: Teoretická informatika
Post by: markus on 07.11.2010, 00:39:56
No kamelotovi to povedala Lalova :D cize na tom zrejme nieco bude :D
Title: Re: Teoretická informatika
Post by: scream on 07.11.2010, 02:23:03
tak pokial tu nieje nejake oficialne vyjadrenie tak asi nieje dobry napad neucit sa:) ... mozno by stacil mail koreckovi
Title: Re: Teoretická informatika
Post by: DeViLvs on 07.11.2010, 17:34:13
tak ako to je? Myslim, ze to co povie Lalova je vedlajsie. Ide o to co povedal Korecko. Niektori tu pisete, ze este treba dobrat zasobnikove automaty, dalsi pise, ze uz sa opakovalo. Tak teraz ako? Prebrali ste tie zas. automaty ci nie? (Ja na cvika nechodim, som opakujuci)
Title: Re: Teoretická informatika
Post by: deCode666 on 07.11.2010, 17:35:57
Bohzna ... napríklad nám odpadli dve cviká a nie len jedno kvôli pondelku ... takže sme ani neopakovali a mám pocit, že sme ani tie automaty nebrali ... MF
Title: Re: Teoretická informatika
Post by: scream on 07.11.2010, 17:55:43
na cviku sa povedalo ze sa pise v 8t aj ked sa vedelo, ze nasledujuce cviko odpadne cize toho by som sa asi drzal. Dalsia vec je, ze nam odpadli 2 cvika a logicky by sa zapoctovka mohla posunut aspon o jeden,
Title: Re: Teoretická informatika
Post by: VagiClean on 07.11.2010, 17:58:36
V pondelok sa isto nepise , nepise ani koreckova skupina celkovo odpadli 3 cvicenia ( prvy tyzden nemal nikto ) a potom dusicky a predtym este jedno cviko odpadlo takze pisat nebudem urcite a ked ano tak ja sa opytam preco mam pisat zapoctovku z toho co este nemam prebrate , lalova to sama vravela ze ak prelozi korecko preklada aj ona ...  korecko prelozil  :evica:
Title: Re: Teoretická informatika
Post by: Kuko on 07.11.2010, 18:18:57
 bv Zajtra  zapoctovka s Lalovou nie je :) je to potvrdene priamo nou , odpisala na mail  .....  :banana_guitar:
Title: Re: Teoretická informatika
Post by: DeViLvs on 07.11.2010, 18:21:09
bv Zajtra  zapoctovka s Lalovou nie je :) je to potvrdene priamo nou , odpisala na mail  .....  :banana_guitar:
Ok, ale este to chcem pocut od Korecka, az vtedy uverim :)
Title: Re: Teoretická informatika
Post by: markus on 07.11.2010, 18:30:06
Lalova povedala ze sa prisposobi koreckovi cize predpokladam ze ona povie ze nieje az vtedy ked korecko povie... :D

bv Zajtra  zapoctovka s Lalovou nie je :) je to potvrdene priamo nou , odpisala na mail  .....  :banana_guitar:

Na aky mail si jej pisal?:D bo ja som pisal na tuke mail a mne neodpisala :D
Title: Re: Teoretická informatika
Post by: scream on 07.11.2010, 18:33:15
bv Zajtra  zapoctovka s Lalovou nie je :) je to potvrdene priamo nou , odpisala na mail  .....  :banana_guitar:

Ale jak zajtra bude, tak si ta najdem am ;D
Title: Re: Teoretická informatika
Post by: Kuko on 07.11.2010, 18:42:41
Lalova povedala ze sa prisposobi koreckovi cize predpokladam ze ona povie ze nieje az vtedy ked korecko povie... :D

bv Zajtra  zapoctovka s Lalovou nie je :) je to potvrdene priamo nou , odpisala na mail  .....  :banana_guitar:

Na aky mail si jej pisal?:D bo ja som pisal na tuke mail a mne neodpisala :D

Normalne na jej tuke mail  ;)
Title: Re: Teoretická informatika
Post by: Patto on 07.11.2010, 20:55:14
bv Zajtra  zapoctovka s Lalovou nie je :) je to potvrdene priamo nou , odpisala na mail  .....  :banana_guitar:

nuz dobre vediet, lebo mam toho vela .... ale ci mam v takejto veci verit niekomu z fora, tak to zase neviem ... posli screen mailu, ze ti uverime naisto :D
Title: Re: Teoretická informatika
Post by: pinderko on 08.11.2010, 03:05:11
cital niekto minulorocne forum ohladom prikladov co boli...to co...ved ja ani jeden nechapem co mame robit...to jak keby nie z toho predmetu...z coho sa ucite? bu
Title: Re: Teoretická informatika
Post by: plexisklo on 08.11.2010, 03:21:52
oni tusim az v jedenastom tyzdni vtedy pisali
Title: Re: Teoretická informatika
Post by: pinderko on 08.11.2010, 03:24:15
no a to pisomka co ma alebo nema byt na zajtra bude obsahovat jake priklady, okruhy...to bude toto co bolo na cvikach???
Title: Re: Teoretická informatika
Post by: mex03 on 08.11.2010, 05:19:28
Lalova povedala ze sa prisposobi koreckovi cize predpokladam ze ona povie ze nieje az vtedy ked korecko povie... :D

bv Zajtra  zapoctovka s Lalovou nie je :) je to potvrdene priamo nou , odpisala na mail  .....  :banana_guitar:

Na aky mail si jej pisal?:D bo ja som pisal na tuke mail a mne neodpisala :D

Normalne na jej tuke mail  ;)

Info z hromadneho mailu:


Dobry,

zapoctova pisomka pre pondelkove skupiny (bez ohladu na cviciaceho) - 9.
tyzden
zapoctova pisomka pre utorkove skupiny  - 8. tyzden

S pozdravom

Lalova


Vraj budu 4 priklady za 25 bodov (10+5+5+5)
Title: Re: Teoretická informatika
Post by: kilomassa on 08.11.2010, 17:00:23
nema dakto nejaku zbierku  s prikladmi?
Title: Re: Teoretická informatika
Post by: domino3d on 08.11.2010, 17:46:02
nema dakto nejaku zbierku  s prikladmi?
mozte ju sem potom upnut :)
thx
Title: Re: Teoretická informatika
Post by: LNC on 08.11.2010, 23:56:18
drzim nam zajtra vsetkym prsty!!! dame to!!!
Title: Re: Teoretická informatika
Post by: LNC on 09.11.2010, 18:55:35
no mame to za sebou, podla mna celkom prijatelne.

2 skupiny, 4 priklady. 10b+5b+5b+5b
1. priklad - zistenie, ci zobrazenie je mozne realizovat kon. automatom - celkom lahke, jedno bolo Na mod 2, druhe nepamatam
2. priklad - nakreslit KSA podla jazyka, ktory zacina '0' a konci '1'. mohol byt aj nedeterministicky. druha skupina napisat regularny vyraz akceptora, ktory bol dany obrazkom.
3. priklad - zjednodusenie KSA, redukcia Automatu.
4. priklad - zasobnikovy automat pre zatvorkove vyrazy, resp. xcx^R (teda zrkadlenie) ale vstupna abeceda mala prvky 0,1,2 - teda o jeden viac ako bolo na cviku.

kazdopadne ostatne skupiny maju mat nieco ine..
Title: Re: Teoretická informatika
Post by: scream on 13.11.2010, 20:03:07
neupne dakto poznamky? najme KSA a ZA by sa zislo :(
Title: Re: Teoretická informatika
Post by: domino3d on 13.11.2010, 21:44:15
konecna vaha a baza sa ako riesi? nikde to neviem najst :/
Title: Re: Teoretická informatika
Post by: DeViLvs on 14.11.2010, 00:23:00
konecna vaha a baza sa ako riesi? nikde to neviem najst :/
pozri v archive, minuly rok boli k tomu pekne riesene priklady
Title: Re: Teoretická informatika
Post by: DeViLvs on 14.11.2010, 02:44:38
neupne dakto poznamky? najme KSA a ZA by sa zislo :(
Plocicovu zbierku si pozeral?
konecna vaha a baza sa ako riesi? nikde to neviem najst :/
Je to eminkinych prikladoch vyriesenych.
Title: Re: Teoretická informatika
Post by: marian on 14.11.2010, 03:34:39
Nejaké videá na začiatok:
youtube.com/watch?v=FLcN2rN7pIQ#normal
Title: Re: Teoretická informatika
Post by: !Cica! on 14.11.2010, 04:54:44
1. priklad ... zistit ci je realizovatelne zobrazenie konciace 01 a druha skupina mala mod 2
2. priklad ... napisat regularny vyraz akceptora ... bol zadany akceptor, mal 4 stavy
3. priklad ... redukovat automat
4. priklad ... zasobnikovy automat xcx^R pre vstupy {0,1,2} a druha skupina zatvorkove vyrazy
Title: Re: Teoretická informatika
Post by: jardo on 14.11.2010, 05:06:47
ten prvy priklad pre 01 sa ako ma riesit?
Title: Re: Teoretická informatika
Post by: scream on 14.11.2010, 19:44:59
Nejaké videá na začiatok:
youtube.com/watch?v=FLcN2rN7pIQ#normal

fuuu tak takto mat pekne vysvetlene aj KSA a zasobnikove tak ti urcite poslem donation ;)
Title: Re: Teoretická informatika
Post by: marian on 14.11.2010, 19:51:09
Nejaké videá na začiatok:
youtube.com/watch?v=FLcN2rN7pIQ#normal

fuuu tak takto mat pekne vysvetlene aj KSA a zasobnikove tak ti urcite poslem donation ;)
Bude, ale az vecer, lebo mam pomaly net.
Title: Re: Teoretická informatika
Post by: scream on 14.11.2010, 20:00:03
Potom sa nehanbi pripisat aj cislo uctu na dobrovolne prispevky :)
Title: Re: Teoretická informatika
Post by: Patto on 14.11.2010, 21:39:26
Nejaké videá na začiatok:
youtube.com/watch?v=FLcN2rN7pIQ#normal

strasne dobry napad ... taketo veci si velmi cenim ;)

ja by som zase bol aj za vysvetlenie tej prvej otazky = zistenie, ci zobrazenie je mozne realizovat kon. automatom ... tie 4 podmienky .... a tiez za zasobnikove automaty ... ako pise scream, ked to bude fajn nemam problem poslat nejake donation
Title: Re: Teoretická informatika
Post by: jim-beam33 on 14.11.2010, 21:56:29
Nejaké videá na začiatok:
youtube.com/watch?v=FLcN2rN7pIQ#normal

strasne dobry napad ... taketo veci si velmi cenim ;)

ja by som zase bol aj za vysvetlenie tej prvej otazky = zistenie, ci zobrazenie je mozne realizovat kon. automatom ... tie 4 podmienky .... a tiez za zasobnikove automaty ... ako pise scream, ked to bude fajn nemam problem poslat nejake donation


ten prvy priklad by som tiez poprosil vysvetlit  ;D ;D ;D
Title: Re: Teoretická informatika
Post by: mctom on 14.11.2010, 22:09:55
vie mi niekto vysvetliť, prečo do jednotlivých tried [lambda], [1] a [11]  patria tie "fíčka", ktoré tam sú? lebop nejak sa nechytám :(
Title: Re: Teoretická informatika
Post by: domino3d on 14.11.2010, 22:23:47
vie mi niekto vysvetliť, prečo do jednotlivých tried [lambda], [1] a [11]  patria tie "fíčka", ktoré tam sú? lebop nejak sa nechytám :(
z kade mas tieto pekne prikladiky?
Title: Re: Teoretická informatika
Post by: mctom on 14.11.2010, 23:02:44
no na cviku sme ich riešili
Title: Re: Teoretická informatika
Post by: domino3d on 14.11.2010, 23:25:09
my nie, ale zaujimalo by to lambda 1 a11 ... tiež
Title: Re: Teoretická informatika
Post by: elvolcanoik on 15.11.2010, 00:04:21
kde najdem eminkine priklady ???
Title: Re: Teoretická informatika
Post by: LNC on 15.11.2010, 00:16:51
vie mi niekto vysvetliť, prečo do jednotlivých tried [lambda], [1] a [11]  patria tie "fíčka", ktoré tam sú? lebop nejak sa nechytám :(

no sak to je jasne, v prvom je vaha bazy rovna 2, preto tam musis mat 2 triedy. trieda [lambda] obsahuje parne, teda tie, kt. po deleni 2kou maju zvysok 0.
trieda [1] obsahuje cisla, ktore po deleni 2 maju zvysok rovny 1.

v tom dalsom priklade mas deleno 3, cize zvysok po deleni 3ky moze byt 0,1,2. preto mas 3.

pochopeno?
Title: Re: Teoretická informatika
Post by: radix on 15.11.2010, 00:22:55
 :o ty sa uz ucis :D
Title: Re: Teoretická informatika
Post by: Sxx on 15.11.2010, 01:03:56
Mozte niekto vysvetlit ako sa tvoria triedy pri zjednodusovani?

Q/S|  0   |  1
--------------
A   | B/1 | C/1
B   | B/0 | E/0
C   | D/1 | A/1
D   | D/0 | A/1
E   | E/1 | C/0
F   | A/0 | E/0

p1 robime podla vystupov ak su rovnake,cize {A,C}, {B,F},{D},{E} a p2 a dalsie?
Title: Re: Teoretická informatika
Post by: DeViLvs on 15.11.2010, 01:11:30
Mozte niekto vysvetlit ako sa tvoria triedy pri zjednodusovani?

Q/S|  0   |  1
--------------
A   | B/1 | C/1
B   | B/0 | E/0
C   | D/1 | A/1
D   | D/0 | A/1
E   | E/1 | C/0
F   | A/0 | E/0

p1 robime podla vystupov ak su rovnake,cize {A,C}, {B,F},{D},{E} a p2 a dalsie?
pozri si tie videa co tu su. tam je to krasne vysvetlene
Title: Re: Teoretická informatika
Post by: kamelot on 15.11.2010, 01:13:13
Mozte niekto vysvetlit ako sa tvoria triedy pri zjednodusovani?

Q/S|  0   |  1
--------------
A   | B/1 | C/1
B   | B/0 | E/0
C   | D/1 | A/1
D   | D/0 | A/1
E   | E/1 | C/0
F   | A/0 | E/0

p1 robime podla vystupov ak su rovnake,cize {A,C}, {B,F},{D},{E} a p2 a dalsie?

dalej porovnavas ze ci pri rovnakom vsupe prejdu do stavu v rovnakej skupine: tj. napr. pre A,C s nulou:
ide A do B a C do D, ktore su v rozdielnych skupinach => tj. rozpadne sa {A,C} na {A},{C} ...
ak by pre vstup 0 a sucasne aj 1 presli do stavov v jednej triede ekvivalencie, tak by ostali aj v danom kroku spolu
Title: Re: Teoretická informatika
Post by: Sxx on 15.11.2010, 01:25:35
DeViLvs: Nevsimol som si ze tam je tych videi viac :)

kamelot: dik
Title: Re: Teoretická informatika
Post by: slax on 15.11.2010, 01:40:32
pekne videa

ale budes davat aj videa o zasobnikovych automatoch a hlavne tu prvu otazku by som potreboval vysvetlit. To by bolo super fakt
Title: Re: Teoretická informatika
Post by: mctom on 15.11.2010, 01:42:57
no sak to je jasne, v prvom je vaha bazy rovna 2, preto tam musis mat 2 triedy. trieda [lambda] obsahuje parne, teda tie, kt. po deleni 2kou maju zvysok 0.
trieda [1] obsahuje cisla, ktore po deleni 2 maju zvysok rovny 1.

v tom dalsom priklade mas deleno 3, cize zvysok po deleni 3ky moze byt 0,1,2. preto mas 3.

pochopeno?
presne tak som to chápal aj ja, no čo nechápem potom je, že prečo v tom prvom príklade je v triede [1] fi11 a fi1001... toto mi nie je jasné...
Title: Re: Teoretická informatika
Post by: jim-beam33 on 15.11.2010, 01:52:32
no sak to je jasne, v prvom je vaha bazy rovna 2, preto tam musis mat 2 triedy. trieda [lambda] obsahuje parne, teda tie, kt. po deleni 2kou maju zvysok 0.
trieda [1] obsahuje cisla, ktore po deleni 2 maju zvysok rovny 1.

v tom dalsom priklade mas deleno 3, cize zvysok po deleni 3ky moze byt 0,1,2. preto mas 3.

pochopeno?
presne tak som to chápal aj ja, no čo nechápem potom je, že prečo v tom prvom príklade je v triede [1] fi11 a fi1001... toto mi nie je jasné...

no aj ja mam otazku k tomuto: pri fi je premenna Xi alebo Yi ???? bu
Title: Re: Teoretická informatika
Post by: domino3d on 15.11.2010, 01:58:04
no sak to je jasne, v prvom je vaha bazy rovna 2, preto tam musis mat 2 triedy. trieda [lambda] obsahuje parne, teda tie, kt. po deleni 2kou maju zvysok 0.
trieda [1] obsahuje cisla, ktore po deleni 2 maju zvysok rovny 1.

v tom dalsom priklade mas deleno 3, cize zvysok po deleni 3ky moze byt 0,1,2. preto mas 3.

pochopeno?
z kade vies jaka je vaha bazy este pred tym ako vies kolko je tried?  8)
Title: Re: Teoretická informatika
Post by: mctom on 15.11.2010, 02:13:57
no sak to je jasne, v prvom je vaha bazy rovna 2, preto tam musis mat 2 triedy. trieda [lambda] obsahuje parne, teda tie, kt. po deleni 2kou maju zvysok 0.
trieda [1] obsahuje cisla, ktore po deleni 2 maju zvysok rovny 1.

v tom dalsom priklade mas deleno 3, cize zvysok po deleni 3ky moze byt 0,1,2. preto mas 3.

pochopeno?
z kade vies jaka je vaha bazy este pred tym ako vies kolko je tried?  8)
zrejme už pozrel rovno na výsledok, keďže ho tam mám už aj napísaný :)
Title: Re: Teoretická informatika
Post by: scream on 15.11.2010, 02:47:54
budu este videjka?:) ci KSA to konci?
Title: Re: Teoretická informatika
Post by: Sxx on 15.11.2010, 03:20:10
ten prvy (10b) by sa fakt hodilo videjko :/ to je bordel
Title: Re: Teoretická informatika
Post by: scream on 15.11.2010, 03:28:28
jj tak... zasobnikove kludne nakoniec:)
Title: Re: Teoretická informatika
Post by: MackoZlesa on 15.11.2010, 04:43:58
jj tak... zasobnikove kludne nakoniec:)

nejako tam nvm najst video 7a  ???
Title: Re: Teoretická informatika
Post by: scream on 15.11.2010, 04:45:28
nejak tam nieje upnute... dufam ze marian nesiel spat :(
Title: Re: Teoretická informatika
Post by: DeViLvs on 15.11.2010, 04:54:05
tu su eminkine priklady, kedze v minulorocnom fore sa mi to nechcelo hladat:
http://leteckaposta.cz/848756924 (http://leteckaposta.cz/848756924)

BTW: Vie mi niekto po ludsky vysvetlit priklad 4.6 z Plocicovej zbierky?

PS: Greibachovej tvary a tie dalsie mutanty nebudu?
Title: Re: Teoretická informatika
Post by: DeViLvs on 15.11.2010, 06:22:59
vie mi niekto vysvetliť, prečo do jednotlivých tried [lambda], [1] a [11]  patria tie "fíčka", ktoré tam sú? lebop nejak sa nechytám :(
Odkial mas tieto priklady? Podla mna su zle.
V 1. priklade mas: trieda [lambda] je dobre
ale trieda [1] by mala byt napr: {fi 1, fi 01, fi 101, fi 110, fi 00111.....}
pozeras len na pocet jednotiek, nuly su v tomto pripade nepodstatne. Cize pocet jednotiek aby bol neparny pre [1]

Pozri do eminkinych prikladov, ona to ma dobre. Ak ste to pocitali s Lalovou, tak by som nebol prekvapeny, ze tam mate chybu :)

V 2.priklade>

Hned v tabulke je podla mna chyba, hned v 1.stlpci. Lebo pokial ti prisla len jedna 0, tak to znamena, ze mas parny pocet jednotiek, lebo este nemas ziadnu jednotku. Cize y(1) by podla mna malo byt 1 a nie 0, ako je v tabulke. Dalsie cisla v tabulke su podla mna dobre.
Lenze vedla tabulky mas:
fi00000(010)=011   a podla mna by tam malo byt fi 00000(010)=100
fi 0000 (101)=011   a podla mna by tam malo byt fi 0000 (101)=000

Pozri si to v eminkinych prikladoch. Tam su oba vyriesene spravne.

Neviem, je mozne, ze sa mylim, ak hej, tak ma opravte :D ale nepredpokladam
Title: Re: Teoretická informatika
Post by: LNC on 15.11.2010, 06:39:00
no sak to je jasne, v prvom je vaha bazy rovna 2, preto tam musis mat 2 triedy. trieda [lambda] obsahuje parne, teda tie, kt. po deleni 2kou maju zvysok 0.
trieda [1] obsahuje cisla, ktore po deleni 2 maju zvysok rovny 1.

v tom dalsom priklade mas deleno 3, cize zvysok po deleni 3ky moze byt 0,1,2. preto mas 3.

pochopeno?
presne tak som to chápal aj ja, no čo nechápem potom je, že prečo v tom prvom príklade je v triede [1] fi11 a fi1001... toto mi nie je jasné...

tak to je chybne. je predsa jasne, ze  fi11 a fi1001 ma parny pocet jednotiek, takze nemoze byt delitelne.. do [1] by mohli patrit fi1011, fi1, fi 1110011 atd..
Title: Re: Teoretická informatika
Post by: marian on 15.11.2010, 08:13:06
ten prvy (10b) by sa fakt hodilo videjko :/ to je bordel

Radšej neskoro ako nikdy.
youtube.com/watch?v=mOaGc51RCMM
Title: Re: Teoretická informatika
Post by: DeViLvs on 15.11.2010, 08:16:08
Pocujte, v tom 11. priklade v eminkinych: Nestacili by nam len 3 triedy? [lambda], [01] a [01 10]. Ta posledna trieda co tam ona ma by sa dala zlucit s triedou [lambda] nie?

Title: Re: Teoretická informatika
Post by: scream on 15.11.2010, 08:24:03
sice sa neska nevyspim ale pozriem si rozhodne videjko na zobrazenia... dikes ;)
Title: Re: Teoretická informatika
Post by: marian on 15.11.2010, 08:24:34
Pocujte, v tom 11. priklade v eminkinych: Nestacili by nam len 3 triedy? [lambda], [01] a [01 10]. Ta posledna trieda co tam ona ma by sa dala zlucit s triedou [lambda] nie?



Určite nie, Ty potrebuješ KA, ktorý povie, že ti ako posledné vstupy prišli 01,10,11 a ešte musíš ošetriť nejakým stavom, že ti neprišiel taký vstup aký si očakával.
Title: Re: Teoretická informatika
Post by: DeViLvs on 15.11.2010, 08:38:46
Pocujte, v tom 11. priklade v eminkinych: Nestacili by nam len 3 triedy? [lambda], [01] a [01 10]. Ta posledna trieda co tam ona ma by sa dala zlucit s triedou [lambda] nie?



Určite nie, Ty potrebuješ KA, ktorý povie, že ti ako posledné vstupy prišli 01,10,11 a ešte musíš ošetriť nejakým stavom, že ti neprišiel taký vstup aký si očakával.
Ano, ale to by som mal poriesene, ze by boli rozne vystupy. Podobne je rieseny hned prvy priklad v eminkinych, ze ten posledny stav je vlastne akoby zluceny s povodnym. Osetrene to je rozdielnym vystupom, kedze mame Mealy automat. Rano ho skusim zredukovat :)
Title: Re: Teoretická informatika
Post by: marian on 15.11.2010, 08:53:07
Pocujte, v tom 11. priklade v eminkinych: Nestacili by nam len 3 triedy? [lambda], [01] a [01 10]. Ta posledna trieda co tam ona ma by sa dala zlucit s triedou [lambda] nie?



Určite nie, Ty potrebuješ KA, ktorý povie, že ti ako posledné vstupy prišli 01,10,11 a ešte musíš ošetriť nejakým stavom, že ti neprišiel taký vstup aký si očakával.
Ano, ale to by som mal poriesene, ze by boli rozne vystupy. Podobne je rieseny hned prvy priklad v eminkinych, ze ten posledny stav je vlastne akoby zluceny s povodnym. Osetrene to je rozdielnym vystupom, kedze mame Mealy automat. Rano ho skusim zredukovat :)

Lenže ten prvý príklad sme si povedali, že keď aj keď je nula jednotiek, tak ich je párny počet. Ale tu nemôžeš povedať, že keď ti ešte nič neprišlo, tak už si rozoznal reťazec 011011. Zbytočne by si skúšal zredukovať a ešte pozerám, že si tie stavy urobil duplicitne [lambda], [01] a [01 10], predpokladám, že 11 si dal do lamda, ale potom ti chýba ešte 00.
Ale i tak sa to nedá.
Title: Re: Teoretická informatika
Post by: dodo on 15.11.2010, 09:38:14
tie videa su fakt super   bq , diky za tu namahu.
Title: Re: Teoretická informatika
Post by: DeViLvs on 15.11.2010, 12:30:31
Pocujte, v tom 11. priklade v eminkinych: Nestacili by nam len 3 triedy? [lambda], [01] a [01 10]. Ta posledna trieda co tam ona ma by sa dala zlucit s triedou [lambda] nie?



Určite nie, Ty potrebuješ KA, ktorý povie, že ti ako posledné vstupy prišli 01,10,11 a ešte musíš ošetriť nejakým stavom, že ti neprišiel taký vstup aký si očakával.
Ano, ale to by som mal poriesene, ze by boli rozne vystupy. Podobne je rieseny hned prvy priklad v eminkinych, ze ten posledny stav je vlastne akoby zluceny s povodnym. Osetrene to je rozdielnym vystupom, kedze mame Mealy automat. Rano ho skusim zredukovat :)

Lenže ten prvý príklad sme si povedali, že keď aj keď je nula jednotiek, tak ich je párny počet. Ale tu nemôžeš povedať, že keď ti ešte nič neprišlo, tak už si rozoznal reťazec 011011. Zbytočne by si skúšal zredukovať a ešte pozerám, že si tie stavy urobil duplicitne [lambda], [01] a [01 10], predpokladám, že 11 si dal do lamda, ale potom ti chýba ešte 00.
Ale i tak sa to nedá.
Co chyba tomuto automatu?
http://zberna.sk/viewer.php?id=viu1289799004h.png (http://zberna.sk/viewer.php?id=viu1289799004h.png)
Title: Re: Teoretická informatika
Post by: t0Mi on 15.11.2010, 14:59:07
Co chyba tomuto automatu?
http://zberna.sk/viewer.php?id=viu1289799004h.png (http://zberna.sk/viewer.php?id=viu1289799004h.png)
Graficka uprava.
Title: Re: Teoretická informatika
Post by: radix on 15.11.2010, 15:01:53
skor by som povedal ze ktory je konecny stav
Title: Re: Teoretická informatika
Post by: domino3d on 15.11.2010, 16:12:31
skor by som povedal ze ktory je konecny stav
to nie je KSA
Title: Re: Teoretická informatika
Post by: DeViLvs on 15.11.2010, 18:20:03
Co chyba tomuto automatu?
http://zberna.sk/viewer.php?id=viu1289799004h.png (http://zberna.sk/viewer.php?id=viu1289799004h.png)
Graficka uprava.
Neotravuj s prkotinami, pokial nechapes o com je rec.

Inak skusil som si to zredukovat a vychadza to. Ved tie stavy maju rovnake prechody aj vystupy. Rovnaky princip je napr v priklade ak konci 01. Tiez nam stacia iba 2 triedy.
Title: Re: Teoretická informatika
Post by: pinderko on 15.11.2010, 18:20:27
ZA pre anbncm;n,m>0 toto bude ako?
Title: Re: Teoretická informatika
Post by: DeViLvs on 15.11.2010, 18:26:58
ZA pre anbncm;n,m>0 toto bude ako?
V podstate to iste ako ako keby si mal len a^n b^n. Len na koniec este pridas, ze musi prist aspon jedno c a za c uz nic dalsie nejde.
Title: Re: Teoretická informatika
Post by: pinderko on 15.11.2010, 18:29:01
diky... :beer1:
Title: Re: Teoretická informatika
Post by: Sxx on 16.11.2010, 03:22:46
Lalova vravela ze da vysledky na moodle, ale kde? :)
Title: Re: Teoretická informatika
Post by: radix on 16.11.2010, 04:23:36
klik mais a tam na "Moje štúdium"  a pri TI sa zmeni ta 0 na nejake ine percento :)
Title: Re: Teoretická informatika
Post by: Sxx on 16.11.2010, 05:18:47
jaj mais ... ok
Title: Re: Teoretická informatika
Post by: domino3d on 16.11.2010, 16:57:43
klik mais a tam na "Moje štúdium"  a pri TI sa zmeni ta 0 na nejake ine percento :)
na jeden :) a na 16 v lepsom pripade
Title: Re: Teoretická informatika
Post by: dodo on 18.11.2010, 20:55:56
Tak co ma uz niekto vysledky v maise ???
Title: Re: Teoretická informatika
Post by: markus on 19.11.2010, 18:55:32
v maise vysledky ... aspon teda ja mam uz napisane
Title: Re: Teoretická informatika
Post by: piton on 19.11.2010, 20:57:35
ja este nie... :)
Title: Re: Teoretická informatika
Post by: jardo on 19.11.2010, 22:27:58
to ze kolko mas percent znamena ze kolo mas bodov?
a kolko musim mat na min zapocet
Title: Re: Teoretická informatika
Post by: markus on 19.11.2010, 22:34:21
tak tak... s tym ze este mozes mat +0-5 bodov za aktivitu :) a minimum potrebujes spolu 16
Title: Re: Teoretická informatika
Post by: pinderko on 22.11.2010, 03:54:04
pondelok rano o ktorej cviko z TI zacina? a je tam nejake volne miesto...chcel by som si nahradit cviko... bv
Title: Re: Teoretická informatika
Post by: DeViLvs on 22.11.2010, 04:50:32
pondelok rano o ktorej cviko z TI zacina? a je tam nejake volne miesto...chcel by som si nahradit cviko... bv
8:15
Title: Re: Teoretická informatika
Post by: JankoHrasko on 28.11.2010, 04:10:11
Ľaľovej cviká majú byť zastupované Korečkom, info od neho sú takéto:

"Zdravim,

cvicenie 8:15 bude spojene, v PC6, ostatne pobezia v povodnom case a mieste.
Cvicenia budu zastupovane Ing. Ivanom Klimekom, buduci tyzden aj o 8:15.
V 12. a 13. tyzdni budu cvicenia o 8:15 so mnou.

S.Korecko"
Title: Re: Teoretická informatika
Post by: jardo on 30.11.2010, 18:04:42
ludia, vie tu niekto hodit to co bolo v ppndelok na cviku o 8 15?
Title: Re: Teoretická informatika
Post by: markus on 30.11.2010, 22:25:30
cviko bolo spojene... boli turingove stroje
Title: Re: Teoretická informatika
Post by: jardo on 01.12.2010, 15:56:28
a hodit scany tu nevies?
Title: Re: Teoretická informatika
Post by: stamperlik on 03.12.2010, 03:34:30
a hodit scany tu nevies?
aj ja by som uvital
Title: Re: Teoretická informatika
Post by: mctom on 06.12.2010, 05:00:19
Klimek spomínal, že na intrákoch na sieti sú vypracované príklady v pdfku...neviete niekto pozrieť a prípadne tu hodiť aj link, nech si ich posťahujeme? :)
Title: Re: Teoretická informatika
Post by: qwerty on 06.12.2010, 22:10:03
Je dnes cvicenie o 16:50? kedze je dnes dekanske volno...
Title: Re: Teoretická informatika
Post by: cory on 07.12.2010, 02:50:12
Klimek spomínal, že na intrákoch na sieti sú vypracované príklady v pdfku...neviete niekto pozrieť a prípadne tu hodiť aj link, nech si ich posťahujeme? :)

pokial viem su aj na ftp
Title: Re: Teoretická informatika
Post by: Cheiftan on 10.12.2010, 17:39:31
bude prednaska v 13. tyzdni?
Title: Re: Teoretická informatika
Post by: deCode666 on 10.12.2010, 18:13:26
who cares? :)
Title: Re: Teoretická informatika
Post by: thom on 10.12.2010, 18:42:26
bude prednaska v 13. tyzdni?
nie
Title: Re: Teoretická informatika
Post by: drtic on 11.12.2010, 02:14:34
To vravel Hudak? Co konkretne ste brali. Som nebol minule.
Title: Re: Teoretická informatika
Post by: thom on 11.12.2010, 16:39:59
To vravel Hudak? Co konkretne ste brali. Som nebol minule.
No Hudak konkretne vravel, ze prednaska v 13. tyzdni nebude a tak sa usmieval, ze urcite aj jemu to vyhovovalo. No a pokracovali sme z tich jeho ukrajinskych skript :). Ale to uz jen tak prelietaval, konkretne ani nic nevravel. Len zopar viet ku kazdej kapitole co tam mal.
Vravel, ze skuska bude stylom 1 priklad - z tich co sa preberali. 2 otazky - 1. z casti automaty , 2. z casti algoritmy. Cize v podstate 1. a 2. polovica semestra. Inac co sa pamatam tak este na zaciatku semestra spominali, ze na tie dve otazky bude kladeny vacsi doraz ako na ten priklad, s vacsou vahou bude hodnotene.   
Title: Re: Teoretická informatika
Post by: slax on 18.12.2010, 04:28:38
neviem ci tu je niekto taky, kto mal s lalovou cvika a pisal pisomku, kde bol jeden kontroverzny priklad, kde ona sama vravela a na cvikach sme brali tak ako vsetci napisali aj na pisomke a potom nam vsetkym stiahla 5 bodov za priklad, pretoze to mame zevraj zle.
Potom povedala, ze nam tie body da, ale uz dalej neucila a ked pozeram teraz do maisu, tak tie body stale nejako nepridala.
Je tu este niekto taky?
Dobre nas ojebabrala. Takyto pristup "zboznujem"
Title: Re: Teoretická informatika
Post by: jardo on 18.12.2010, 05:31:18
neviem ci tu je niekto taky, kto mal s lalovou cvika a pisal pisomku, kde bol jeden kontroverzny priklad, kde ona sama vravela a na cvikach sme brali tak ako vsetci napisali aj na pisomke a potom nam vsetkym stiahla 5 bodov za priklad, pretoze to mame zevraj zle.
Potom povedala, ze nam tie body da, ale uz dalej neucila a ked pozeram teraz do maisu, tak tie body stale nejako nepridala.
Je tu este niekto taky?
Dobre nas ojebabrala. Takyto pristup "zboznujem"
ja som mal jeden priklad neviem cito bol ten,ale mi este pocas pisomky povedal ze to moze byt, ale na vyhodnoteni mi povedala ze tam mam jednu vec navyse a mi dala 0 z 5
Title: Re: Teoretická informatika
Post by: deCode666 on 18.12.2010, 07:42:46
tak nejako ... ja mám mať tých +5 bodov tiež, ale nepoznám nikoho, kto by ich mal dodatočne napísane v MAISe
Title: Re: Teoretická informatika
Post by: radix on 18.12.2010, 18:32:28
je nas viac co sme napisali priklad ako v skriptach a +5b stale nikde  ;)
Title: Re: Teoretická informatika
Post by: drtic on 19.12.2010, 19:30:19
To vravel Hudak? Co konkretne ste brali. Som nebol minule.
No Hudak konkretne vravel, ze prednaska v 13. tyzdni nebude a tak sa usmieval, ze urcite aj jemu to vyhovovalo. No a pokracovali sme z tich jeho ukrajinskych skript :). Ale to uz jen tak prelietaval, konkretne ani nic nevravel. Len zopar viet ku kazdej kapitole co tam mal.
Vravel, ze skuska bude stylom 1 priklad - z tich co sa preberali. 2 otazky - 1. z casti automaty , 2. z casti algoritmy. Cize v podstate 1. a 2. polovica semestra. Inac co sa pamatam tak este na zaciatku semestra spominali, ze na tie dve otazky bude kladeny vacsi doraz ako na ten priklad, s vacsou vahou bude hodnotene.   

Turingove stroje patria do ktorej casti?
Title: Re: Teoretická informatika
Post by: puq on 19.12.2010, 19:48:31
precitajte si archiv z poslednych 3 rokov...skuska s hudakom je stale rovnaka...dokonca aj otazky na terminoch sa opakovali
Title: Re: Teoretická informatika
Post by: kOsTi on 19.12.2010, 22:02:52
tu som si minuly rok robil prehlad o otazkach (od nas aj rok pred nami) ... enjoy
Title: Re: Teoretická informatika
Post by: slax on 19.12.2010, 22:40:47
a neskusili ste napisat lalovej mail? ... akoze aj 5 bodov je dost ... hlavne ked sa jedna o TI ... z ineho predmetu by som sa tym mozno az tak netrapil
Title: Re: Teoretická informatika
Post by: trek on 19.12.2010, 23:25:04
praveze z TI mas uplne jedno kolko mas bodov...ci plny alebo minimalny zapich...vsetko aj tak zavisi na hudakovi, ci ho presvedcis aby ti dal pismenko alebo nie
Title: Re: Teoretická informatika
Post by: markus on 20.12.2010, 00:35:44
ale zas som pocul aj take ze ak mas full zapich ti povie ze mas na viac a posle ta domov :D
Title: Re: Teoretická informatika
Post by: trek on 20.12.2010, 05:33:42
jj vsetko zavisi od aktualnej konstalacie hviezd a jeho nalady :D
Title: Re: Teoretická informatika
Post by: navarro on 21.12.2010, 19:06:35
ma uz niekto v maise body za aktivitu lebo tak to vyzera ze som dostal len jeden bod a pritom som bol dva-trikrat pri tabuli. Ma este niekto taky problem?
Title: Re: Teoretická informatika
Post by: markus on 21.12.2010, 20:14:29
body za aktivitu nema zatial nikto co potznam
Title: Re: Teoretická informatika
Post by: navarro on 21.12.2010, 20:26:55
body za aktivitu nema zatial nikto co potznam
no tak ja uz asi mam kedze mi tam pribudol z nicoho nic jeden bod
Title: Re: Teoretická informatika
Post by: piton on 21.12.2010, 20:49:40
mne sa tam tiez zjavil bod naviac :)
Title: Re: Teoretická informatika
Post by: cory on 21.12.2010, 22:25:43
uz mam zapisane aj body za aktivitu
Title: Re: Teoretická informatika
Post by: navarro on 21.12.2010, 23:29:56
a este jedna prosba, nemate tu niekto nafoteny insertsort z posledneho cvika?
Title: Re: Teoretická informatika
Post by: markus on 21.12.2010, 23:36:23
hmmm dnes som skontroloval a uz tam body su cize zrejme v priebehu vcerajska abo dnes to tam drbli :D bo myslimze vcera tam este nebolo :D
Title: Re: Teoretická informatika
Post by: deCode666 on 22.12.2010, 00:56:31
jaj, takže niekto tých 5 bodov má a niekto nie ... ta to aký systém v tom majú? ... Mne ich ešte stále nezapísala
Title: Re: Teoretická informatika
Post by: pinderko on 22.12.2010, 17:07:15
prave citam minulorocne forum a tam spominaju nejake okruhy otazok...hudak toho roku nic take nespravil???...nic na prednaske nespominal???
Title: Re: Teoretická informatika
Post by: puq on 22.12.2010, 18:43:37
minuleho roku to bolo toto:

http://hornad.fei.tuke.sk/predmety/TIMgrInformatika/ (http://hornad.fei.tuke.sk/predmety/TIMgrInformatika/)
Title: Re: Teoretická informatika
Post by: Havran on 22.12.2010, 19:10:17
no hej ale nebolo minuleho roku dakus ina stavba predmetu ??
Title: Re: Teoretická informatika
Post by: puq on 22.12.2010, 20:59:54
ja netusim ako bolo tohto roku :D
Title: Re: Teoretická informatika
Post by: jim-beam33 on 23.12.2010, 15:51:34
Cital som v minulorocnom fore ze sa ucia na skusku z nejakych Eminkinych materialov - nema to niekto? :buttrock:
Title: Re: Teoretická informatika
Post by: jim-beam33 on 23.12.2010, 21:33:04
ja mam :)
to je sice pekne  ;D a podelis sa s nimi? :buttrock:
Title: Re: Teoretická informatika
Post by: eminkaa on 23.12.2010, 23:02:42
no sak bol link niekde, ne?

http://www.web-share.net/download/file/item/TI.pdf_44149 (http://www.web-share.net/download/file/item/TI.pdf_44149)
http://www.web-share.net/download/file/item/TI-priklady.pdf_44151 (http://www.web-share.net/download/file/item/TI-priklady.pdf_44151)

ale nerob si iluzie, ze to je nieco extra, lebo neni :emot-LMAO:
Title: Re: Teoretická informatika
Post by: puq on 23.12.2010, 23:35:52
ale je to vyborne :) urcite bez toho by sa len tazko zrobila skuska ;) lebo na TIcku je masaker sa zorientovat co je kde a co a jak :)
Title: Re: Teoretická informatika
Post by: bludar on 24.12.2010, 20:47:02
hmm ked sa prihlasim do kurzu na moodle, su tam subory "SlidesTI1cast" a "SlidesTI2cast" a pripada mi to ako vypracovany zoznam otazok na skusku, mylim sa?... heslo do kurzu je "jahodka" pre toho, kto to nevedel.
Title: Re: Teoretická informatika
Post by: MackoZlesa on 24.12.2010, 23:05:34
Idu dvaja chlapici po lese. Jeden z nich je uplne mimo realitu a druhy tiez prednasa teoreticku informatiku.  :puf:

Title: Re: Teoretická informatika
Post by: drtic on 25.12.2010, 01:57:11
hmm ked sa prihlasim do kurzu na moodle, su tam subory "SlidesTI1cast" a "SlidesTI2cast" a pripada mi to ako vypracovany zoznam otazok na skusku, mylim sa?... heslo do kurzu je "jahodka" pre toho, kto to nevedel.
To su len tie prezentacie co boli na prednaskach. Niektore veci tam ani nie su a prevazna vacsina je dost strucna. Ale ako oporne body to je skvele.
Title: Re: Teoretická informatika
Post by: mircoo on 27.12.2010, 03:11:47
caute, na moodli je tiez 1 subor TIMgr7122010.pdf nazvany ze "Ucebne materialy ku TI". Myslite ze je tam cela teoria, ktora moze byt na skuske? ???
Title: Re: Teoretická informatika
Post by: JCube on 27.12.2010, 03:44:35
uprimne? ani keby si mal pat takych pdfiek tak odpoved bude nie :)
Title: Re: Teoretická informatika
Post by: mircoo on 27.12.2010, 04:13:24
uprimne? ani keby si mal pat takych pdfiek tak odpoved bude nie :)
ok, ale na tych 230 stranach sa pise o dost podstatnych veciach, ktore treba vediet?
Title: Re: Teoretická informatika
Post by: MackoZlesa on 27.12.2010, 20:18:43
sekvencne zobrazenie - vlastnost monotonnosti, co to je, nikde to nvm najst
Title: Re: Teoretická informatika
Post by: radix on 28.12.2010, 18:02:01
ako ma byt ta skuska mame mat dve teoreticke(25+25) + jeden priklad(20) ??
Title: Re: Teoretická informatika
Post by: thom on 29.12.2010, 00:00:25
ako ma byt ta skuska mame mat dve teoreticke(25+25) + jeden priklad(20) ??
No ja mam poznacene, ze :
dve teoreticke(25+20) + jeden priklad(25)
Title: Re: Teoretická informatika
Post by: markus on 29.12.2010, 00:37:58
cize teoreticky mi staci napisat priklad na full a mam po skuske :D prakticky napisem priklad na full a hudak ma odtial vydrbe :D
Title: Re: Teoretická informatika
Post by: ppt on 29.12.2010, 05:06:40
ak dobre pocitam, tak za zapich mate max 30bodov, priklad je za 20bodov. Takze ak napises priklad na full, stale mas len 50bodov. Takze stale ti chyba ten jeden bod, ktoreho zisk moze byt za urcitych okolnosti dost zlozity. :D
Title: Re: Teoretická informatika
Post by: puq on 29.12.2010, 06:45:19
pri hudakovi pokial nemas k obom otazkam aspon daco tak nemas sancu velmi prejst...popripade by som to povedal tak ze potrebujes z 2 otazok dokopy 100% :D a to je jedno v akom pomere(ci 50:50 alebo 75:25) :) a mat nejake body za priklad
Title: Re: Teoretická informatika
Post by: JCube on 29.12.2010, 09:29:21
neviem ci bol dakto taky kto presiel bez prikladu...a neviem ci bol dakto taky co presiel len s prikladom :)
Title: Re: Teoretická informatika
Post by: radix on 29.12.2010, 14:49:57
ako ma byt ta skuska mame mat dve teoreticke(25+25) + jeden priklad(20) ??
No ja mam poznacene, ze :
dve teoreticke(25+20) + jeden priklad(25)
ok, len tolko som chcel vediet ze ci 2+1
Title: Re: Teoretická informatika
Post by: thom on 29.12.2010, 15:52:56
Inac je nejaka sanca na skuske, ze sa podari aj nieco opisat ??Alebo sanca nulova??
Title: Re: Teoretická informatika
Post by: Ofinka on 30.12.2010, 03:33:41
Mam 2 otazky:
1. Otazka: V minulorocnych otazkach bolo znenie jednej ulohy "Sekvencne zobrazenia" . To k tomu akoze co treba? Konecno-automatove zobrazenia alebo su este nejake ine?
2. Otazka: Brali sme na cvikach priklady typu ze dokazte ze je nejaky jazyk deterministicky a bezkontextovy?

Prosiiiim vie niekto odpovedat na tieto otazkyyy?  :baaa: :baaa: :baaa: :baaa: :baaa: :baaa: :baaa: :baaa: :baaa:
Title: Re: Teoretická informatika
Post by: radix on 30.12.2010, 16:00:36
k 1. bude zrejme toto vsetko:Sekvenčné zobrazenia (sqz): definícia, vlastnosť monotonnosti. Sekvenčné a zachovávajúce dĺžku zobrazenia (zdz).  pridružené k sqz zobrazenia a ich vlastnosti. Relácia nerozlíšiteľnosti sqz a u-pridružených zobrazení. Báza a váha sqz. Podmienky realizovateľnosti sq a zd zobrazení v konečnom automate

k 2. to som si nenasiel v cvikach
Title: Re: Teoretická informatika
Post by: drtic on 30.12.2010, 16:28:34
Chcem sa spytat, brala sa na poslednej prednaske kapitola zo skript na moodli 11. Konštruovanie a klasifikácia algoritmov a stratégií spracovania dát. ?
Title: Re: Teoretická informatika
Post by: puq on 30.12.2010, 17:07:41
Mam 2 otazky:
1. Otazka: V minulorocnych otazkach bolo znenie jednej ulohy "Sekvencne zobrazenia" . To k tomu akoze co treba? Konecno-automatove zobrazenia alebo su este nejake ine?
2. Otazka: Brali sme na cvikach priklady typu ze dokazte ze je nejaky jazyk deterministicky a bezkontextovy?

Prosiiiim vie niekto odpovedat na tieto otazkyyy?  :baaa: :baaa: :baaa: :baaa: :baaa: :baaa: :baaa: :baaa: :baaa:

pri tej dvojke tam ide o to ze musis zrobit zasobnikovy automat a tym sa to dokazuje, ze ak existuje k jazyku zas. automat tak je jazyk bezkontextovy a deterministicky zistis tiez podla zas. automatu podla toho ako sa v nom rozhoduje
Title: Re: Teoretická informatika
Post by: hrochodyl on 30.12.2010, 18:29:03
Nie je tu nejaky clovek ktory bol na vsetkych prednaskach, a ktory by vedel povedat ktore veci sa tento rok presne brali? Lebo pochybujem ze tie temy ktore su na hornade budu rovnake s temami tento rok...  ???
Title: Re: Teoretická informatika
Post by: JankoHrasko on 30.12.2010, 20:37:14
je podľa vás príklad 6.3 v moodlovských skriptách správny?  ???  je na strane 157 a ďalej..
Title: Re: Teoretická informatika
Post by: Ofinka on 30.12.2010, 21:36:16
2. Otazka: Brali sme na cvikach priklady typu ze dokazte ze je nejaky jazyk deterministicky a bezkontextovy?

taketo ulohy su dost zakerne. nemuseli ste ich preberat v takomto zneni na hodine, ale pokial vies, co znamena, ked je jazyk deterministicky alebo bezkontextovy, potom musis vediet, akym sposobom sa to da dokazat - a na to mozes pouzit niektory z prikladov, ktore sa preberali na hodine.

taak dakujem za odpovede..aa uz si viem teda predstavit ze urcime ze jazyk je bezkontextovy a deterministicky tym ze mu zostrojime zasobnikovy automat..alee akym sposobom by sa riesil takyto typ prikladu?=>

Je dany bezkontextovy jazyk L1, jazyk L2=(a1a4a7...a3k+1; k je vacsie rovne 1, ai patri L1) a treba dokazat, ze L2 je tiez bezkontextovy jazyk.

to treba tiez nejako riesit pomocou zasobnikovych automatov?..alebo je nato nejake ine pravidlo?
Title: Re: Teoretická informatika
Post by: drtic on 30.12.2010, 23:12:44
je podľa vás príklad 6.3 v moodlovských skriptách správny?  ???  je na strane 157 a ďalej..
Neviem ti povedat. Ale v skriptach vseobecne je dost vela chyb. V takych pripadoch ked nie som si isty treba porovnat viac rozlicnych zdrojov.
Title: Re: Teoretická informatika
Post by: jim-beam33 on 02.01.2011, 20:12:48
Hm ludia sa nejak odhlasuju postupne z toho prveho terminu 4.1.  ;D :guitar: :guitar:
Title: Re: Teoretická informatika
Post by: sikik on 02.01.2011, 21:52:40
Inac je nejaka sanca na skuske, ze sa podari aj nieco opisat ??Alebo sanca nulova??
Ako opakujuci ti to poviem pravdivo. Ak sa ti aj podari opisat, hudak si to velmi rychlo overi ci je to z tvojej hlavy alebo nie, lebo potom ides k nemu na ustnu a vsetko mu musis vysvetlit
Title: Re: Teoretická informatika
Post by: Sxx on 03.01.2011, 01:45:13
Inac je nejaka sanca na skuske, ze sa podari aj nieco opisat ??Alebo sanca nulova??
Ako opakujuci ti to poviem pravdivo. Ak sa ti aj podari opisat, hudak si to velmi rychlo overi ci je to z tvojej hlavy alebo nie, lebo potom ides k nemu na ustnu a vsetko mu musis vysvetlit

to bude dalsia skuska na ktoru pridem o 9 rano a odidem o 18:20????
Title: Re: Teoretická informatika
Post by: puq on 03.01.2011, 01:54:45
oplati sa odist aj o 19:00 :) ked mas skusku...horsi pripad je tam byt 10 hodin a ta na konci hudak odjebe ;)
Title: Re: Teoretická informatika
Post by: thom on 03.01.2011, 01:57:08
Inac je nejaka sanca na skuske, ze sa podari aj nieco opisat ??Alebo sanca nulova??
Ako opakujuci ti to poviem pravdivo. Ak sa ti aj podari opisat, hudak si to velmi rychlo overi ci je to z tvojej hlavy alebo nie, lebo potom ides k nemu na ustnu a vsetko mu musis vysvetlit

to bude dalsia skuska na ktoru pridem o 9 rano a odidem o 18:20????
No podla mna urcite, Hudak si kazdeho osobne preskusa.
Title: Re: Teoretická informatika
Post by: radix on 03.01.2011, 02:03:41
tak z prveho terminu sa odhlasilo uz 11 ludi :) len aby sa nestalo ze posledny termin bude niekoho len 1. riadny ;)
Title: Re: Teoretická informatika
Post by: navarro on 03.01.2011, 02:47:45
na cvikach sme pocitali priklad na stroj s dvomi pocitadlami pre vyraz (a na n; b na n; c na n ).
 Ale ako by vyzeral stroj s dvomi pocitadlami pre vyraz (a na 2n; b na n; c na n ) ? Dakujem za pomoc  :)
Title: Re: Teoretická informatika
Post by: JankoHrasko on 03.01.2011, 02:57:37
Inac je nejaka sanca na skuske, ze sa podari aj nieco opisat ??Alebo sanca nulova??
Ako opakujuci ti to poviem pravdivo. Ak sa ti aj podari opisat, hudak si to velmi rychlo overi ci je to z tvojej hlavy alebo nie, lebo potom ides k nemu na ustnu a vsetko mu musis vysvetlit

to bude dalsia skuska na ktoru pridem o 9 rano a odidem o 18:20????
No podla mna urcite, Hudak si kazdeho osobne preskusa.

A asi ako dlho preveruje jednu osobu? Keď sa odhlasujú ľudia, tak tam asi budeme kratšie než do 18:20..  ;)
Title: Re: Teoretická informatika
Post by: bubo on 03.01.2011, 07:22:53
Less pipl = more one on one time with the Hudak boss.  :buttrock:
Title: Re: Teoretická informatika
Post by: Ofinka on 03.01.2011, 21:20:51
na cvikach sme pocitali priklad na stroj s dvomi pocitadlami pre vyraz (a na n; b na n; c na n ).
 Ale ako by vyzeral stroj s dvomi pocitadlami pre vyraz (a na 2n; b na n; c na n ) ? Dakujem za pomoc  :)

mne vyslo take nieco..ale nie som si ista ci to je dobre..cize to moze niekto skontrolovat!
Title: Re: Teoretická informatika
Post by: pinderko on 04.01.2011, 03:14:38
jak stojite na to??? mate vsetko prebrate a aj vsetko viete??? bu
Title: Re: Teoretická informatika
Post by: radix on 04.01.2011, 03:20:47
da sa to vobec? :D
Title: Re: Teoretická informatika
Post by: pinderko on 04.01.2011, 03:28:28
ani prd...priklady celkom ale teoria tak to na slucku...
Title: Re: Teoretická informatika
Post by: deCode666 on 04.01.2011, 04:43:28
neviem ako vy, ale ja sa idem zajtra ráno do školy len zohriať tak na 30 - 45 min. a padám ... príklady akurát tak to, čo bolo na zápočte a teória ani prd  ;D ... takžeeeee ...  :buttrock:
Title: Re: Teoretická informatika
Post by: navarro on 04.01.2011, 14:54:38
Dnesne otazky co mala moja skupina :

T1:  Uzaverove operacie. Uzaverove operacie nad jazykom.
       Elementerne uzaverove operacie nad triedami jazykov

T2 Algebra: baza, poly mono druhova algebra. Alegebraicke systemy. Logicko funkcne modely.
P: Zostrojte algoritmus Dijkstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne.

Kedze nas bolo len 16 t.j. 8 sme mali tuto skupinu, z toho sme hned na zaciatku 5 odovzdali hned cisty papier  bu cize tak, treba mat stastie na skupinu podla mna.
Title: Re: Teoretická informatika
Post by: radix on 04.01.2011, 15:04:33
a druha skupina?
Title: Re: Teoretická informatika
Post by: bludar on 04.01.2011, 17:02:36
Hmm ved to vyzera akoby to boli rovnake otazky ako minuly rok. Bola druha skupina nieco ako :

1.halting problem + dokaz + univerzalny turingov stroj
2.Dijkstrova algebra

??? lebo ak ano, tak to bolo presne minuly rok na prvom termine.
Title: Re: Teoretická informatika
Post by: thom on 04.01.2011, 17:09:13
Druha skupina bola:
T1 - Automatove zobrazenia - vlastnosti k tomu
T2 - Metaalgebra algoritmov, kriterium funkcionalnej uplnosti v dijkstrovej metaalgebre.
P - Polynom zegalkina z dvoch funkcii.
Title: Re: Teoretická informatika
Post by: radix on 04.01.2011, 17:18:06
[hide]
Hmm ved to vyzera akoby to boli rovnake otazky ako minuly rok. Bola druha skupina nieco ako :

1.halting problem + dokaz + univerzalny turingov stroj
2.Dijkstrova algebra

??? lebo ak ano, tak to bolo presne minuly rok na prvom termine.
zle si pozeral to bolo na druhom minuly rok ;) a rok pred tym
[/hide]
Title: Re: Teoretická informatika
Post by: kamelot on 04.01.2011, 17:52:07
P - Polynom zegalkina z dvoch funkcii.

hm z 2 funkcii? bolo na cvikach daco take?
Title: Re: Teoretická informatika
Post by: thom on 04.01.2011, 18:35:28
P - Polynom zegalkina z dvoch funkcii.

hm z 2 funkcii? bolo na cvikach daco take?
Bola funkcia c.1 a funkcia c.2, som sa asi zle vyjadril.
Title: Re: Teoretická informatika
Post by: kamelot on 04.01.2011, 18:43:37
teda bolo treba napisat 2 "osobitnych" zegalkinov?
Title: Re: Teoretická informatika
Post by: Ofinka on 04.01.2011, 18:59:32
teda bolo treba napisat 2 "osobitnych" zegalkinov?

presne tak...a strasne jednoduche boli..
Title: Re: Teoretická informatika
Post by: cory on 04.01.2011, 19:13:04
teda bolo treba napisat 2 "osobitnych" zegalkinov?

presne tak...a strasne jednoduche boli..

uz mas aj znamku ? pochval sa nie ?:)
Title: Re: Teoretická informatika
Post by: Ofinka on 04.01.2011, 19:57:21
teda bolo treba napisat 2 "osobitnych" zegalkinov?

presne tak...a strasne jednoduche boli..

uz mas aj znamku ? pochval sa nie ?:)

maaam..cize sa takto tesiiiiim  bp bp bp bp bp bp aaa inak bola som hned druha na ustnej cize neviem ako ostatni dopadli..ale aj ten co bol predo mnou spravil..hudak nebol zly..uplne v pohode bol..stacilo aby si vedel o com hovoris :) alee potom tu mozu aj ostatni dopisat ako dopadli..tiez ma to zaujima.. :xmas: :xmas: :xmas:
Title: Re: Teoretická informatika
Post by: cory on 04.01.2011, 20:03:45
teda bolo treba napisat 2 "osobitnych" zegalkinov?

presne tak...a strasne jednoduche boli..

uz mas aj znamku ? pochval sa nie ?:)

maaam..cize sa takto tesiiiiim  bp bp bp bp bp bp aaa inak bola som hned druha na ustnej cize neviem ako ostatni dopadli..ale aj ten co bol predo mnou spravil..hudak nebol zly..uplne v pohode bol..stacilo aby si vedel o com hovoris :) alee potom tu mozu aj ostatni dopisat ako dopadli..tiez ma to zaujima.. :xmas: :xmas: :xmas:


A z coho si sa ucila ?
Title: Re: Teoretická informatika
Post by: Ofinka on 04.01.2011, 20:26:03
taak vlastne ja som si vypracovala tie otazky co boli minule roky..zo skript na moodli v kombinacii s tymi pdfkami na moodli v kombinacii s eminkinimi poznamkami..a naucila som sa iba tie otazky..nic ine..a nastastie presne to bolo!!! :) ale samozrejme som si precitala cele skripta aby som vedela o com to celkovo je a tak..cize to bolo cca 8 dni aktivneho ucenia  :trestac:
Title: Re: Teoretická informatika
Post by: jim-beam33 on 04.01.2011, 22:51:43
teda bolo treba napisat 2 "osobitnych" zegalkinov?

presne tak...a strasne jednoduche boli..

uz mas aj znamku ? pochval sa nie ?:)


maaam..cize sa takto tesiiiiim  bp bp bp bp bp bp aaa inak bola som hned druha na ustnej cize neviem ako ostatni dopadli..ale aj ten co bol predo mnou spravil..hudak nebol zly..uplne v pohode bol..stacilo aby si vedel o com hovoris :) alee potom tu mozu aj ostatni dopisat ako dopadli..tiez ma to zaujima.. :xmas: :xmas: :xmas:

....tak za mnou boli este dvaja posledny - ktorych si p.Hudak odlozil az ked pride z obeda :D...a ja som bol momentalne 5  ktory spravil  :bannana_guitar:
Title: Re: Teoretická informatika
Post by: MackoZlesa on 04.01.2011, 23:14:41
taak vlastne ja som si vypracovala tie otazky co boli minule roky..zo skript na moodli v kombinacii s tymi pdfkami na moodli v kombinacii s eminkinimi poznamkami..a naucila som sa iba tie otazky..nic ine..a nastastie presne to bolo!!! :) ale samozrejme som si precitala cele skripta aby som vedela o com to celkovo je a tak..cize to bolo cca 8 dni aktivneho ucenia  :trestac:

a ktore otazky myslis? tie co su v anotacii?  :embarassed:
Title: Re: Teoretická informatika
Post by: drtic on 04.01.2011, 23:45:34
Tie co su na fore v archive z minulych rokov.

Pisat nejake dlhe slohy ku teorii netrebalo. Hlavne k veci a nech je vystihnuta podstata. Samozrejme treba si aj vediet obhajit to co je napisane, lebo pri vyhodnoteni prof. Hudak daval nejake otazky ohladom toho.
Title: Re: Teoretická informatika
Post by: wajo666 on 05.01.2011, 12:58:46
Ofinka  nezavesis ich niekde tie otazky....ked tebe pomohli pomozu aj inym :)  8)
Title: Re: Teoretická informatika
Post by: Ofinka on 05.01.2011, 16:46:28
Ofinka  nezavesis ich niekde tie otazky....ked tebe pomohli pomozu aj inym :)  8)

noo mozeem..alee su to fakt len tie z toho doc-ka s minulorocnymi otazkami + nejake co som este nasla na minulorocnom fore..kazdopadne tu su!
Title: Re: Teoretická informatika
Post by: wajo666 on 05.01.2011, 21:37:39
Ofinka  nezavesis ich niekde tie otazky....ked tebe pomohli pomozu aj inym :)  8)

noo mozeem..alee su to fakt len tie z toho doc-ka s minulorocnymi otazkami + nejake co som este nasla na minulorocnom fore..kazdopadne tu su!

diky moc ze vravis ze len toto si sa ucila plus emine priklady hej ? a stacilo hej?

EDIT som myslel vypracovane otazky :D
Title: Re: Teoretická informatika
Post by: thom on 06.01.2011, 19:16:59
Vedel by niekto pomoct s tymto prikladom?
"Zostrojte algoritmus Dijkstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne."
Bolo to teraz na skuske a bavili sa nejaki ludia ohladom toho, ze je to bud bubble sort alebo insertion sort, alebo ze je to nejaky typ sortu.
Tak keby vedel niekto poradit,ze co je to, urcite to pomoze aj ostatnym.
Title: Re: Teoretická informatika
Post by: drtic on 06.01.2011, 20:09:27
Ze vraj ten algoritmus sa vola SELECTION SORT. Postup by mal byt taky, ze vyberies najmensie cislo z postupnosti a zaradis ho na koniec a takto pokracujes dalej pre zostavajucu cast nezotriedenej postupnosti.
Title: Re: Teoretická informatika
Post by: romeo on 06.01.2011, 21:37:40
Ofinka  nezavesis ich niekde tie otazky....ked tebe pomohli pomozu aj inym :)  8)

noo mozeem..alee su to fakt len tie z toho doc-ka s minulorocnymi otazkami + nejake co som este nasla na minulorocnom fore..kazdopadne tu su!

diky moc ze vravis ze len toto si sa ucila plus emine priklady hej ? a stacilo hej?

EDIT som myslel vypracovane otazky :D

nesmierne dokazem byt vdacny za take vypracovane otazky :)
Title: Re: Teoretická informatika
Post by: jim-beam33 on 06.01.2011, 23:05:37
Vedel by niekto pomoct s tymto prikladom?
"Zostrojte algoritmus Dijkstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne."
Bolo to teraz na skuske a bavili sa nejaki ludia ohladom toho, ze je to bud bubble sort alebo insertion sort, alebo ze je to nejaky typ sortu.
Tak keby vedel niekto poradit,ze co je to, urcite to pomoze aj ostatnym.
mne Hudak uznal priklad nakoniec - hoci ho Korecko skrtol - dal mi zanho len polovicu a to som mal napisany klasicky Bubble sort - a trebalo len prehodit opacne znamienko. :bannana_guitar:
Title: Re: Teoretická informatika
Post by: domino3d on 07.01.2011, 03:37:36

2. Otazka: Brali sme na cvikach priklady typu ze dokazte ze je nejaky jazyk deterministicky a bezkontextovy?


taze bude take, alebo co teraz?
help

...
T1 - Automatove zobrazenia - vlastnosti k tomu
...
čo tam patri? to su konecno stavove automaty alebo co? nemam šajn
iste to pomoze viacerim.
Title: Re: Teoretická informatika
Post by: drtic on 07.01.2011, 04:37:00
Presnejsie to bolo toto, dufam ze to pomoze viacerym.

Konecno automatove zobrazenia a ich vlastnosti.
Sekvencne zobrazenia, zobrazenia zachovavajuce dlzku, pridruzene zobrazenia.
Realizovatelnost zobrazeni konecnym automatom.
Title: Re: Teoretická informatika
Post by: radoslav on 08.01.2011, 01:23:56
Dvaja posledni spravili. teda ja a este jeden. :)
Ja som bol trochu prevetrany, skusal ma cca 1h20m v kancli. Nakoniec som to vybojoval.
ja sommal skupinu uzaverove op+alg, LFM,AS.

Pytal sa na otazky, ktore suviseli s temou na pisomke.90%-alg, alg
Suvislost medzi LFM, AlgSys, ALGEBROU o tomto sme dost dlho diskutovali.
potom co je to Baza , co je to generator.
Nakoniec som rozpraval dost vela o Algebre Dijkstru + prevod na janova (skokove ins), + 2 druhove algebry, co tvori osnovy a signatury a vysvetlit ako to funguje
A metaalgebra AD + krit funkcionalnej uplnosti. V com spociva tato problematika E.Posta , pytal sa na maximalne subalgebry,
Trebalo vediet nielen vymenovat NT,ALT NALT, ... ale trebalo vediet ako su tie konkretne celky generovane.
Pytal sa este co je 1-konvolucia, homomorfizmus.

Vela stastia na TI.
Title: Re: Teoretická informatika
Post by: markus on 08.01.2011, 02:39:17
ty vole hodinu 20? by som mal po piatich minutach nervy na drance... :D resp. uz len po vstupe do miestnosti. po hodine 20 by som asi skapal :whacko:
Title: Re: Teoretická informatika
Post by: Squirrel_sK on 08.01.2011, 03:03:25
a co si dostal rado? dava hudak aj ine znamky ako A a FX?
Title: Re: Teoretická informatika
Post by: radoslav on 08.01.2011, 03:44:05
Takto, ja mam dobry pocit prof. Hudak bol ku mne ferovi.

Inak pre tich co idu je dobra sprava aspon podla mna taka, ze v pisomke teoreticka otazka je vedena ako cely nadpis kapitoly, resp zretazenie popisov viacerych kapitol. cize pisomka sa da dobre napisat ak je clovek pripraveny vzhladom ktomu ze otazka je dana velmi vseobecne, co je myslim velmi dobra sprava.
"zretazenie" asi uz mam degenerovany slovnik   :)
Title: Re: Teoretická informatika
Post by: piton on 08.01.2011, 04:08:27
dava aj ine, viem o ludoch, co mali C a D... :)
Title: Re: Teoretická informatika
Post by: ShadowQ on 08.01.2011, 18:50:36
ja poznam ludi co mali E51 a to chcem v utorok aj ja :) uz je nas prihlasenych len 19 :( ludia dostavaju bobbky ...
Title: Re: Teoretická informatika
Post by: radix on 08.01.2011, 18:58:35
ale tak ma to svoje vyhody, cim menej nas bude tym dlhsie si p.Hudak bude moct overit nase vedomosti co je celkom potesujuce  :emot-LMAO:
Title: Re: Teoretická informatika
Post by: markus on 08.01.2011, 19:08:24
cierny humor :D
Title: Re: Teoretická informatika
Post by: tusec on 08.01.2011, 19:43:41
Z toho ale vyplyva ze aj nadalej sa budu uvolnovat miesta, takze ak niekto bude mat ozaj zaujem dostat sa skor na skusku tak sa aj dostane. Snad  bq
Title: Re: Teoretická informatika
Post by: puq on 08.01.2011, 19:46:36
cim neskorsi termin ludia tym vacsia sanca na to ze to bude vas prvy a posledny :) lebo ludia sa odhlasuju odhlasuju a ak hudak strati nervy neje povinny vypisat dalsie terminy
Title: Re: Teoretická informatika
Post by: markus on 08.01.2011, 19:48:51
hej toto je na hovno :-/ som si dal 7 terminov odzadu a budem rad ak stihnem vobec prvy opravny :-/
Title: Re: Teoretická informatika
Post by: tusec on 08.01.2011, 20:00:30
Takze uz dost odhasovania ludia. Chodte radsej skusit ako sa odhlasit. Mozno z motiky vystreli :-)
Title: Re: Teoretická informatika
Post by: puq on 08.01.2011, 20:06:01
skusat sa neoplati :) nemas co skusat pokial nevies ;)
Title: Re: Teoretická informatika
Post by: domino3d on 08.01.2011, 20:12:43
tí co idete v utorok jak dlho ste sa ucili?

DOLEZITE!! toto sme prebrali lebo v ti2castAAslides to nie je a z toho hudy prednasal .... ? ? ?
Konštruovanie a klasifikácia algoritmov a stratégií spracovania dát.

edit: diki drtic  :thumbs-up:
edit: idem sa zryhať ked pomyslim na skusku...
Title: Re: Teoretická informatika
Post by: drtic on 09.01.2011, 02:15:59
tí co idete v utorok jak dlho ste sa ucili?

DOLEZITE!! toto sme prebrali lebo v ti2castAAslides to nie je a z toho hudy prednasal .... ? ? ?
Konštruovanie a klasifikácia algoritmov a stratégií spracovania dát.
Nebol som na poslednej prednaske, ale co viem tak to nebolo.
Title: Re: Teoretická informatika
Post by: Jerryh on 09.01.2011, 19:53:06
ludia by sa neodhlasovali keby niekto nedal na poslednu chvilu jeden termin presne kedy je/tesne pred skuskou z TI
Title: Re: Teoretická informatika
Post by: domino3d on 09.01.2011, 20:43:47
ludia by sa neodhlasovali keby niekto nedal na poslednu chvilu jeden termin presne kedy je/tesne pred skuskou z TI
pan ja som robil v jave velky projekt da aj dalsi termin... ale hudy to nepochopi a vybije si na nas zlost ...pitchiiiiiiiiiiiiii

edit: markus nestraš
Title: Re: Teoretická informatika
Post by: markus on 09.01.2011, 22:04:13
dnes som pocul ze Hudak strhol na skuske pocas ustnej casti 5 bodov zo zapoctovky od korecka za ktoru bolo 25 bodov :D FAIL :D
Title: Re: Teoretická informatika
Post by: radix on 10.01.2011, 00:35:47
fuha tak na 11. nas ostalo z 30 len 14 :) pekne s tym zamavali webove :D
Title: Re: Teoretická informatika
Post by: Jerryh on 10.01.2011, 00:42:12
ludia by sa neodhlasovali keby niekto nedal na poslednu chvilu jeden termin presne kedy je/tesne pred skuskou z TI
pan ja som robil v jave velky projekt da aj dalsi termin... ale hudy to nepochopi a vybije si na nas zlost ...pitchiiiiiiiiiiiiii

edit: markus nestraš
tipujem ze ho da zase kedy je termin z TI
Title: Re: Teoretická informatika
Post by: domino3d on 10.01.2011, 00:53:01
takže čo nakoniec bolo totriedenie postupnosti pouzitim Minimalneho prvku zostupne. ?

PS: sak k panovi hudakovi ide asi 170 ludi dokopy, to on kazdeho zvlada osobitne vyskusat? dobry je si myslim...
* len nech je benevolentny v utorok lebo nas bude malo, za čo my nemozeme... :(
Title: Re: Teoretická informatika
Post by: drtic on 10.01.2011, 01:26:21
Ja napriklad som bol dnu max. 10 min. a boli aj niektori ktori vosli a vysli, takze nieje to az take zdlhave.
Title: Re: Teoretická informatika
Post by: markus on 10.01.2011, 01:50:33
sak hej :D vojdes, vyjdes a o tyzden :D
Title: Re: Teoretická informatika
Post by: radix on 10.01.2011, 01:57:52
boli aj taki ktori uz nevysli?  :nervous:
Title: Re: Teoretická informatika
Post by: puq on 10.01.2011, 02:11:38
tych si hudak dal na veceru :D
Title: Re: Teoretická informatika
Post by: domino3d on 10.01.2011, 20:42:10
neviete ako sa riesi  Turingov stroj s 2 pocitadlami (a na 2n; b na n; c na n )
ked mas a na 2n, mozem mat posun na niektorej paske o dva stavy? alebo ako sa da vysporiadat s tym ze a-čok je 2 krat viac ?

pls help
Title: Re: Teoretická informatika
Post by: tusec on 10.01.2011, 20:46:04
striedanie instrukcii pricom v jednej je posun pasky a pocitadiel a v druhej iba pasky (R,R,R)  a pri druhej (R,-,-)
Title: Re: Teoretická informatika
Post by: thom on 10.01.2011, 21:36:42
Nasiel som v mojom pc cosi take :

stroj s 2 pocitadlami (a na 2n; b na n; c na n )



q0, (c(preskrtnute),Z,Z), (c(preskrtnute),Z,Z), q0, (R,R,R)

q0, (a,B,B), (a,B,B), qa, (R,-,-)

qa, (a,B,B), (a,B,B), qa2, (R,R,-)

qa2, (b,B,B), (b,B,B), q1, (R,-,R)

qa2, (a,B,B), (a,B,B), qa, (R,-,-)

q1, (b,B,B), (b,B,B), q1, (R,-,R)

q1, (c,B,B), (c,B,B), q2, (-,L,L)

q2, (c,B,B), (c,B,B), q2, (R,L,L)

q2, (s,B,B), (s,B,B), qF, (-,-,-)

mal som ho ja na skuske, takto som ho spravil a 10b bolo za neho
Title: Re: Teoretická informatika
Post by: domino3d on 10.01.2011, 22:41:04
na cvikach sme pocitali priklad na stroj s dvomi pocitadlami pre vyraz (a na n; b na n; c na n ).
 Ale ako by vyzeral stroj s dvomi pocitadlami pre vyraz (a na 2n; b na n; c na n ) ? Dakujem za pomoc  :)

mne vyslo take nieco..ale nie som si ista ci to je dobre..cize to moze niekto skontrolovat!
zaujimave riesenie ale zda sa mi ze pri b bude robit chybu, nie som si isty
Nasiel som v mojom pc cosi take :

stroj s 2 pocitadlami (a na 2n; b na n; c na n )


q0, (c(preskrtnute),Z,Z), (c(preskrtnute),Z,Z), q0, (R,R,R)

q0, (a,B,B), (a,B,B), qa, (R,-,-)

qa, (a,B,B), (a,B,B), qa2, (R,R,-)

qa2, (b,B,B), (b,B,B), q1, (R,-,R)

qa2, (a,B,B), (a,B,B), qa, (R,-,-)

q1, (b,B,B), (b,B,B), q1, (R,-,R)

q1, (c,B,B), (c,B,B), q2, (-,L,L)

q2, (c,B,B), (c,B,B), q2, (R,L,L)

q2, (s,B,B), (s,B,B), qF, (-,-,-)

mal som ho ja na skuske, takto som ho spravil a 10b bolo za neho
toto vyzera byt dobre
 a pridam aj moje :D nech to dakto skontroluje :)
Title: Re: Teoretická informatika
Post by: puty on 10.01.2011, 22:54:50
nazdar,

vedel by niekto vysvetlit, co konkretne treba vediet k: Nerozhodnuteľnosť problému zastavenia TS.

teda okrem toho ze neexistuje  univerzalny TS ktory by vedel rozhodnut ci sa lubovolny TS na nejakom vstupe  zastavi alebo nie. jedine co som k tomu nasiel je obrazok so 4 obdlznikmi a vela sipkami.. ale co nam chcel autor obrazku povedat ??

vdaka
Title: Re: Teoretická informatika
Post by: kamelot on 10.01.2011, 23:08:35
k tomu HP, mozno este z hopcrofta&ullmana nejak v skratke povedat ze co tie U a H robia...

Title: Re: Teoretická informatika
Post by: Cheiftan on 11.01.2011, 00:31:20
ja mam skusku stvrtok, ale mam taky pocit ze z toho bude velky FX :(

ucite sa aj take veci ako: KSA, zasobnikove aut., Bezkontextove jazyky ( Chomskeho a Greibachovej normalny tvar) - boli otazky na tie temy aj minuly rok?

alebo sa zameriavate na Turinga a Algebru algoritmov?

uz sa mi z toho zacina sibnut :)
Title: Re: Teoretická informatika
Post by: ballky on 11.01.2011, 01:19:11
nemate niekto riesenie na tento priklad ?

priklad : je dany bezkontextovy jazyk L1,
             jazyk L2=(a1a4a7...a3k+1; k je vacsie rovne 1, ai patri L1)
             a trebalo dokazat, ze L2 je tiez bezkontextovy jazyk
Title: Re: Teoretická informatika
Post by: tusec on 11.01.2011, 04:26:09
Pokial je ten jazyk bezkontextovy tak musi byt riesitelny zasobnikovym automatom (deterministickym) z toho vyplyva ze by sa k nemu aj mal dat zostrojit. Ak tam bolo a1 a4 ... tak by to mohlo byt nieco ako:
 L={a^3k+1|a patri L1 k <=1 }
(q0,a,Z,q1,aZ)
(q1,a,a,q1, aa)
(q1,aa,Z,qf,Z)
Neviem ci je to dobre.

Title: Re: Teoretická informatika
Post by: domino3d on 11.01.2011, 04:51:41
ja mam skusku stvrtok, ale mam taky pocit ze z toho bude velky FX :(

ucite sa aj take veci ako: KSA, zasobnikove aut., Bezkontextove jazyky ( Chomskeho a Greibachovej normalny tvar) - boli otazky na tie temy aj minuly rok?

alebo sa zameriavate na Turinga a Algebru algoritmov?

uz sa mi z toho zacina sibnut :)

aj mne z toho už trtká, nie si sám
turinga, alg, aj secko ostatne :D snad budem daco vediet...
Title: Re: Teoretická informatika
Post by: stamperlik on 11.01.2011, 06:43:19
nazdar,

vedel by niekto vysvetlit, co konkretne treba vediet k: Nerozhodnuteľnosť problému zastavenia TS.

teda okrem toho ze neexistuje  univerzalny TS ktory by vedel rozhodnut ci sa lubovolny TS na nejakom vstupe  zastavi alebo nie. jedine co som k tomu nasiel je obrazok so 4 obdlznikmi a vela sipkami.. ale co nam chcel autor obrazku povedat ??

vdaka

Skus pozriet http://sk.wikipedia.org/wiki/Probl%C3%A9m_zastavenia (http://sk.wikipedia.org/wiki/Probl%C3%A9m_zastavenia)
Title: Re: Teoretická informatika
Post by: domino3d on 11.01.2011, 16:12:30
TI2I.6 : Turingovsky-vypocitatelne funkcie. Definicia a ilustracia na priklade.

TI2II.6 : Algebra logiky a problem funkcionalnej uplnosti.
     Algebra boolovskych funkcii (BF) a problem funkcionalnej uplnosti systemov BF.

Priklad
Previest do algebry Janova z Dijkstru.
Title: Re: Teoretická informatika
Post by: radix on 11.01.2011, 16:41:35
za hodinu to zacne :D
Title: Re: Teoretická informatika
Post by: markus on 11.01.2011, 16:43:09
a za 30 sekund skonci? :D
Title: Re: Teoretická informatika
Post by: romeo on 11.01.2011, 21:08:09
Mna by zaujimalo ci sa da s tym ratat ze p. Hudak na stvrtkovom termine nebude davat tie otazky ktore boli zatial na tych 2 terminoch. Este ma z coho vyberat  ah:
Title: Re: Teoretická informatika
Post by: domino3d on 11.01.2011, 21:49:42
mám Cicimbus :) C-75
jak ostatny? radix, cory... ?
Title: Re: Teoretická informatika
Post by: MackoZlesa on 11.01.2011, 21:51:25
Mna by zaujimalo ci sa da s tym ratat ze p. Hudak na stvrtkovom termine nebude davat tie otazky ktore boli zatial na tych 2 terminoch. Este ma z coho vyberat  ah:
neda sa s tym vobec ratat. Pred dvoma rokmi presne takto ojebabral mojho brata, ktory isiel tiez na v poradi tretiu skusku a myslel si, ze otazky z prvych dvoch terminov nebudu. A boli presne tie otazky, co boli na prvych dvoch terminoch  :D
Title: Re: Teoretická informatika
Post by: MackoZlesa on 11.01.2011, 22:24:49
ako vlastne vyzera odpoved na otazku, s ktorou je Hudak ako tak spokojny? musia tam byt uvedene ku vsetkemu dokazy, tak ako je to v jeho skriptach?
Title: Re: Teoretická informatika
Post by: radix on 11.01.2011, 22:56:37
WUAAAAAAAA TOTO BOL TURINGOVSKY MASAKER NEKONECNOU PASKOU!!! :D uspesnost 12 zo 14(1neprisiel na vyhodnotenie)  :p:

mám Cicimbus :) C-75
jak ostatny? radix, cory... ?
ja som mu ku druhej otazke nepovedal spravne definiciu ohladom subalgebrier a max. sub, tak mi dal -20b takze iba D65  :'(
Title: Re: Teoretická informatika
Post by: thom on 11.01.2011, 23:03:55
WUAAAAAAAA TOTO BOL TURINGOVSKY MASAKER NEKONECNOU PASKOU!!! :D uspesnost 12 zo 14(1neprisiel na vyhodnotenie)  :p:
Hudak neprisiel a kto skusal????????
Title: Re: Teoretická informatika
Post by: radix on 11.01.2011, 23:05:35
hudak skusal kazdeho osobne
Title: Re: Teoretická informatika
Post by: thom on 11.01.2011, 23:08:00
aha 1 neprisiel, pardon. tak ako to prebiehalo???bol zhovievavy alebo ako??/
Title: Re: Teoretická informatika
Post by: radix on 11.01.2011, 23:12:47
tak skoro vsetci sme mali priklad na full a teoriu myslim ze tiez potom to uz bolo o tom co sa koho z tej pisomky opyta a potom daval za to body dole
Title: Re: Teoretická informatika
Post by: santa99 on 11.01.2011, 23:54:02
Dnes bolo super , len to cakanie.... Neviem si predstavit ze na termine bude 30 ludi , ti posledni zinfarktuju ... :whacko:
Title: Re: Teoretická informatika
Post by: puty on 12.01.2011, 02:03:41
to bola dnes len jedna skupina?
Title: Re: Teoretická informatika
Post by: piton on 12.01.2011, 02:04:10
jj, ale boli v dvoch miestnostiach po 7 ludi :)
Title: Re: Teoretická informatika
Post by: libra on 12.01.2011, 02:19:38
ludia by sa neodhlasovali keby niekto nedal na poslednu chvilu jeden termin presne kedy je/tesne pred skuskou z TI

Ludia by sa odhlasovali aj keby mali iba tu jedinu skusku a rok na ucenie sa. Tak to vzdy bolo, je a zial, aj bude...
Title: Re: Teoretická informatika
Post by: cory on 12.01.2011, 03:58:35
no dnes to bolo aj dobre aj zle. Najprv to zle: CAKANIE................ Nohy ma budu este dva dni boliet z toho preslapovania. Som urobil minimalne desat kilometrov. Uz som mal vychodeny chodnik na kachlickach na piatom poschodi.

A to dobre: profesor Hudak je fajn clovek. Aspon ja som mal z neho taky pocit. Vobec ziadne zakernosti. Pytal sa len na to co si zabudol napisat alebo co si do pisomky zle napisal. Ked si tomu nechapal co sa pytal, kludne sa treba opytat ako to mysli..... Samozrejme ze skusku zadarmo nedal.

Tos vsio. Vela stastia vsetkym a netreba sa bat ale treba sa ucit :)
Title: Re: Teoretická informatika
Post by: Cheiftan on 12.01.2011, 16:30:19
caute,

co znamena presne, ze sekvencne zobrazenie je bez predikcie ?

ja to chapam, ze pre vypocet R(t) neptrobujem hodnotu S(t+1)
Title: Re: Teoretická informatika
Post by: MackoZlesa on 12.01.2011, 16:56:36
caute,

co znamena presne, ze sekvencne zobrazenie je bez predikcie ?

ja to chapam, ze pre vypocet R(t) neptrobujem hodnotu S(t+1)

je to vysvetlene v tomto videu, cas 7:36

youtube.com/watch?v=mOaGc51RCMM
Title: Re: Teoretická informatika
Post by: romeo on 12.01.2011, 17:43:54
caute,

co znamena presne, ze sekvencne zobrazenie je bez predikcie ?

ja to chapam, ze pre vypocet R(t) neptrobujem hodnotu S(t+1)

Ak zobrazenie zachovava dlzku a zaroven vystup v case i zavisi iba od v stupu v case i alebo od predchadzajucich vstupov.
Title: Re: Teoretická informatika
Post by: Cheiftan on 12.01.2011, 17:54:30
diky za odpovede, a video je dzive  :thumbs-up:
Title: Re: Teoretická informatika
Post by: romeo on 12.01.2011, 21:14:08
Ze vraj ten algoritmus sa vola SELECTION SORT. Postup by mal byt taky, ze vyberies najmensie cislo z postupnosti a zaradis ho na koniec a takto pokracujes dalej pre zostavajucu cast nezotriedenej postupnosti.

No takze Vasou ulohou bolo aj zostrojit algoritmus? alebo ste mali dany algoritmus a z toho len prepisat na dijkstru.
Title: Re: Teoretická informatika
Post by: thom on 12.01.2011, 21:17:10
Ze vraj ten algoritmus sa vola SELECTION SORT. Postup by mal byt taky, ze vyberies najmensie cislo z postupnosti a zaradis ho na koniec a takto pokracujes dalej pre zostavajucu cast nezotriedenej postupnosti.

No takze Vasou ulohou bolo aj zostrojit algoritmus? alebo ste mali dany algoritmus a z toho len prepisat na dijkstru.
Ulohou bolo aj zostrojit ten algoritmus.
Title: Re: Teoretická informatika
Post by: tusec on 12.01.2011, 21:19:35
Inak co sa tyka halting probem, tak na ten odkaz z wikipedie sa nespoliehajte :-)
Radsej s eminkinich prikladov ten original
Title: Re: Teoretická informatika
Post by: domino3d on 12.01.2011, 22:54:45
Ze vraj ten algoritmus sa vola SELECTION SORT. Postup by mal byt taky, ze vyberies najmensie cislo z postupnosti a zaradis ho na koniec a takto pokracujes dalej pre zostavajucu cast nezotriedenej postupnosti.

No takze Vasou ulohou bolo aj zostrojit algoritmus? alebo ste mali dany algoritmus a z toho len prepisat na dijkstru.
Ulohou bolo aj zostrojit ten algoritmus.
hej :)
Title: Re: Teoretická informatika
Post by: Cheiftan on 13.01.2011, 00:25:10
minuly rok bola takato teor. otazka

Turingovsky-vypocitatelne funkcie. Definicia a ilustracia na priklade.

aky priklad sa tu da uviest?
Title: Re: Teoretická informatika
Post by: romeo on 13.01.2011, 00:29:28
minuly rok bola takato teor. otazka

Turingovsky-vypocitatelne funkcie. Definicia a ilustracia na priklade.

aky priklad sa tu da uviest?


f(x,y)=x+y

Title: Re: Teoretická informatika
Post by: domino3d on 13.01.2011, 00:40:08
minuly rok bola takato teor. otazka

Turingovsky-vypocitatelne funkcie. Definicia a ilustracia na priklade.

aky priklad sa tu da uviest?


f(x,y)=x+y


no ono hocijaky iny moze dat, aj minus, dakdo pisal minus na skuske sa mi zda ....
Title: Re: Teoretická informatika
Post by: markus on 13.01.2011, 02:14:05
Nechce si niekto na vymenu prehodit skusku z 20 na 17? pripadne ak sa niekto chce odhlasit z 20teho nech tak urobi uz teraz a predtym mi da vediet :D
Title: Re: Teoretická informatika
Post by: skolacik on 13.01.2011, 08:20:41
seruste.....cirou nahodou by nemal zaujem niekto z vas si vymenit termin 24. za 20. :baaa: ???
Title: Re: Teoretická informatika
Post by: cory on 13.01.2011, 13:46:23
vela stastia vsetkym dnesnym :)
Title: Re: Teoretická informatika
Post by: markus on 13.01.2011, 16:55:37
No co bolo dneska?
Title: Re: Teoretická informatika
Post by: DeViLvs on 13.01.2011, 18:24:34
Vedel by mi pomoct (prip. moze zarobit) niekto taky, co uz ma skusku spravenu? Dik. PM
Title: Re: Teoretická informatika
Post by: kilomassa on 13.01.2011, 18:38:32
Vedel by mi pomoct (prip. moze zarobit) niekto taky, co uz ma skusku spravenu? Dik. PM

aj mne by sa zislo
Title: Re: Teoretická informatika
Post by: radix on 13.01.2011, 21:45:03
dnes nikto nebol na skuske ze nie su info?
Title: Re: Teoretická informatika
Post by: romeo on 13.01.2011, 22:02:53
No takze jedna skupina :

Dijkstrova algebra + napisat konvoluciu evoluciu
Univerzalny turingov stroj + Halting Problem
Priklad bol stroj s dvoma pocitadlami (a na 2n,b na n,c na n)

Druha skupina:

Nerodove ekvivalencie
Algebra algoritmov
Prepisat asi Bubblesort do Dijkstry

;)  :bannana_guitar:  :ropebanana:  :beer1:
Title: Re: Teoretická informatika
Post by: mircoo on 13.01.2011, 22:19:55
caute,
takze mam to chvala Bohu tiez uspesne za sebou  ;)

Dnesne otazky boli:

(moja skupina)
- teoria1: nerodove ekvivalencie, nieco ohladom nejakej rozhnodnutelnosti regularnych vyrazov + aplikacia na priklade
- teoria2: algebra algoritmov
- priklad: napisat algoritmus Dijkstrovej algebry pre triedenie vzostupne ( BUBBLE klasika)

druha skupina
- teoria1: univerzalny TS stroj + halting problem, asi aj dokaz
- teoria2: dijkstrova algebra
- priklad: stroj s 2 pocitadlami

Celkovy dojem u pana profesora Hudaka ozaj dobry, pytal sa k veci a chcel odomna len zdovodnenie ci tomu aj logicky chapem co som tam napisal(hlavne to co som blbo napisal,respektive neporiadne). Za priklad som mal 8 bodov dole hoci som napisal riadne schemu, kedze to bolo treba este asi popisat co je co (predikaty, operacie atd), takze nato pozor, respektive sa spytajte, ze co k tomu vsetko chcu ak to vyzera jednoducho, ze len schemu napisat. Ku nerodovym som nemal nic, ale predsa len sa podarilo mi vykecat na Ecko.

Tak este good luck vsetkym, ktorych to este len caka ;)

Title: Re: Teoretická informatika
Post by: navarro on 13.01.2011, 22:21:27
No takze jedna skupina :

Dijkstrova algebra + napisat konvoluciu evoluciu
Univerzalny turingov stroj + Halting Problem
Priklad bol stroj s dvoma pocitadlami (a na 2n,b na n,c na n)

Druha skupina:

Nerodove ekvivalencie
Algebra algoritmov
Prepisat asi Bubblesort do Dijkstry

;)  :bannana_guitar:  :ropebanana:  :beer1:

k tym algebram algoritmov co zhruba treba napisat?
Title: Re: Teoretická informatika
Post by: domino3d on 13.01.2011, 23:24:37
caute,
takze mam to chvala Bohu tiez uspesne za sebou  ;)

Dnesne otazky boli:

(moja skupina)
- teoria1: nerodove ekvivalencie, nieco ohladom nejakej rozhnodnutelnosti regularnych vyrazov + aplikacia na priklade
- teoria2: algebra algoritmov
- priklad: napisat algoritmus Dijkstrovej algebry pre triedenie vzostupne ( BUBBLE klasika)

druha skupina
- teoria1: univerzalny TS stroj + halting problem, asi aj dokaz
- teoria2: dijkstrova algebra
- priklad: stroj s 2 pocitadlami

Celkovy dojem u pana profesora Hudaka ozaj dobry, pytal sa k veci a chcel odomna len zdovodnenie ci tomu aj logicky chapem co som tam napisal(hlavne to co som blbo napisal,respektive neporiadne). Za priklad som mal 8 bodov dole hoci som napisal riadne schemu, kedze to bolo treba este asi popisat co je co (predikaty, operacie atd), takze nato pozor, respektive sa spytajte, ze co k tomu vsetko chcu ak to vyzera jednoducho, ze len schemu napisat. Ku nerodovym som nemal nic, ale predsa len sa podarilo mi vykecat na Ecko.

Tak este good luck vsetkym, ktorych to este len caka ;)


dobre ze som siel 11.
Title: Re: Teoretická informatika
Post by: navarro on 14.01.2011, 00:45:54
keby som dostal priklad  dokazat ze jazyk L={a^i b^j c^k|i<>j alebo j<>k} je nedeterministicky bezkontextovy, staci napisat iba ze jeho doplnok L={a^i b^i c^i} je nedeterministicky tak aj povodny jazyk je nedeterministicky?
Title: Re: Teoretická informatika
Post by: stamperlik on 14.01.2011, 03:28:55
Na tuke.mafo.sk som hodil vypracované otázky, z ktorých som sa učil. Mal som nerodove ekvivalencie a napísal som to čo je v tých otázkach ešte aj spolu s kopec chybami. Celej otázke som nakoniec porozumel až na ústnej, kde mi ju pán Hudák vysvetlil  :). Príklad som mal vypísané op. termy a log. termy a ten jeden celý riadok. Pri podmienke som mal vymenene hodnoty, takže -3 body. Inak to asi stačilo. Algebry som cele tiež dosť poplietol, ale na tie sa už pozeralo len letmo. Nakoniec C.

Priamy download: http://dl.dropbox.com/u/3913680/Vypracovane%20ot%C3%A1zky%20by%20stamperlik.pdf (http://dl.dropbox.com/u/3913680/Vypracovane%20ot%C3%A1zky%20by%20stamperlik.pdf)
Title: Re: Teoretická informatika
Post by: spdy_ on 14.01.2011, 18:29:38
seruste.....cirou nahodou by nemal zaujem niekto z vas si vymenit termin 24. za 20. :baaa: ???

ja by som si prehodil..napisal som ti uz PM, ozvi sa  8)
Title: Re: Teoretická informatika
Post by: Matejus on 14.01.2011, 18:32:37
Ak sa chce niekto prihlásiť na 17.januára na skúšku, teraz je možnosť. Traja sme sa odhlásili, pretože len naivne sme si mysleli, že za 4 dni sme schopní sa naučiť to kvantum písmen a symbolov v tomto predmete.
Title: Re: Teoretická informatika
Post by: romeo on 14.01.2011, 18:48:07
Ak sa chce niekto prihlásiť na 17.januára na skúšku, teraz je možnosť. Traja sme sa odhlásili, pretože len naivne sme si mysleli, že za 4 dni sme schopní sa naučiť to kvantum písmen a symbolov v tomto predmete.

No neviem...ucil som sa menej ako 3 dni... a mam B  :)
Title: Re: Teoretická informatika
Post by: tusec on 14.01.2011, 19:26:27
Tak to si bol dost sikovny, asi len jeden z ojedinelych ked si to takto zvladol. Myslim ze to co sa pise skor plati ucit sa treba viac dni ak chces prejst, pripadne aj menej ak tomu chapes hned co bude ale veeeelmi ojedinele
Title: Re: Teoretická informatika
Post by: domino3d on 14.01.2011, 19:58:22
Ak sa chce niekto prihlásiť na 17.januára na skúšku, teraz je možnosť. Traja sme sa odhlásili, pretože len naivne sme si mysleli, že za 4 dni sme schopní sa naučiť to kvantum písmen a symbolov v tomto predmete.

No neviem...ucil som sa menej ako 3 dni... a mam B  :)

sportku si podal?
Title: Re: Teoretická informatika
Post by: romeo on 14.01.2011, 20:11:50
Ak sa chce niekto prihlásiť na 17.januára na skúšku, teraz je možnosť. Traja sme sa odhlásili, pretože len naivne sme si mysleli, že za 4 dni sme schopní sa naučiť to kvantum písmen a symbolov v tomto predmete.

No neviem...ucil som sa menej ako 3 dni... a mam B  :)

sportku si podal?

Ahhhh...  :emot-shakehead:
Title: Re: Teoretická informatika
Post by: kilomassa on 14.01.2011, 20:41:16
ja by som vymenil mozno 20 za 24 ... PM ked tak

inak jake je heslo do moodle ?
Title: Re: Teoretická informatika
Post by: domino3d on 14.01.2011, 20:41:24
keď ti už tak dobre išlo v ten deň :D
Title: Re: Teoretická informatika
Post by: kamelot on 14.01.2011, 20:45:13
inak jake je heslo do moodle ?

bolo jahodka
Title: Re: Teoretická informatika
Post by: romeo on 14.01.2011, 20:53:34
keď ti už tak dobre išlo v ten deň :D

Aaaaale na to pivo neprisiel nikto....  >:(   :beer1: 
Title: Re: Teoretická informatika
Post by: jan on 14.01.2011, 22:11:52
ako napisem ten selection sort pomocou Dijkstrovej algebry, alebo z kadial sa to mozem naucit
Title: Re: Teoretická informatika
Post by: thom on 15.01.2011, 03:38:39
ako napisem ten selection sort pomocou Dijkstrovej algebry, alebo z kadial sa to mozem naucit
No selection sort najdes kdekolvek na nete, a na prevod do DA si mozes vymysliet aj vlastne predikaty a vlastne funkcie s ktorymi budes pracovat, samozrejme ich musis opisat.
Lenze ktosi napisal, ze  :

"- priklad: napisat algoritmus Dijkstrovej algebry pre triedenie vzostupne ( BUBBLE klasika) "
Takze teraz neviem.
Title: Re: Teoretická informatika
Post by: DeViLvs on 15.01.2011, 04:39:24
som prihlaseny na 20.1. ale radsej by som siel 24.1. Je niekto taky, co by vymenil? Velmi by mi to pomohlo :)
Title: Re: Teoretická informatika
Post by: cory on 15.01.2011, 18:53:27
ako napisem ten selection sort pomocou Dijkstrovej algebry, alebo z kadial sa to mozem naucit
No selection sort najdes kdekolvek na nete, a na prevod do DA si mozes vymysliet aj vlastne predikaty a vlastne funkcie s ktorymi budes pracovat, samozrejme ich musis opisat.
Lenze ktosi napisal, ze  :

"- priklad: napisat algoritmus Dijkstrovej algebry pre triedenie vzostupne ( BUBBLE klasika) "
Takze teraz neviem.

pokial viem ide o BUBBLE sort akurat tam ide o spravne otocenie porovnania l s r. Cize mozes mat priklad vzostupne a zostupne a podla toho dat l>r alebo l<r
Title: Re: Teoretická informatika
Post by: domino3d on 15.01.2011, 20:04:56
ako napisem ten selection sort pomocou Dijkstrovej algebry, alebo z kadial sa to mozem naucit
No selection sort najdes kdekolvek na nete, a na prevod do DA si mozes vymysliet aj vlastne predikaty a vlastne funkcie s ktorymi budes pracovat, samozrejme ich musis opisat.
Lenze ktosi napisal, ze  :

"- priklad: napisat algoritmus Dijkstrovej algebry pre triedenie vzostupne ( BUBBLE klasika) "
Takze teraz neviem.

pokial viem ide o BUBBLE sort akurat tam ide o spravne otocenie porovnania l s r. Cize mozes mat priklad vzostupne a zostupne a podla toho dat l>r alebo l<r
nic tazke, ked si vezmes ze buble sa vyuziva len pre studijne ucely.  8)
Title: Re: Teoretická informatika
Post by: t0Mi on 15.01.2011, 20:58:49
ok takze ake druhy prikladov sa mozu vyskytnut ? vie dachto vymenovat ?
Title: Re: Teoretická informatika
Post by: Matejus on 16.01.2011, 02:00:41
je potrebné trepať do hlavy aj dôkazy ? myslím tie, čo má eminka vo svojich poznámkach.
Title: Re: Teoretická informatika
Post by: drtic on 16.01.2011, 14:54:39
ok takze ake druhy prikladov sa mozu vyskytnut ? vie dachto vymenovat ?

- vytvorit triediaci algoritmus vyberom najmensieho prvku zostupne v AD aj s opisom operacii
- vytvorit BUBBLE SORT v AD aj s opisom operacii(+na cviceni bolo spominane, ze si treba pozriet INSERTION a SHELL SORT)
- prevod algoritmu z AD do AJ
- previest Boolovsku funkciu na polynom Zegalkina
- vytvorit Turingov stroj pre dany jazyk(moze byt zadefinovane, ze su k dispozicii pocitadla, zasobnik)
- pokusit sa vytvorit Zasobnikovy automat pre dany jazyk, a na zaklade toho vediet urcit do ktorej skupiny jazykov Chomskeho hierarchie jazyk patri
+ mozno este nieco dalsie, mozte niekto doplnit

je potrebné trepať do hlavy aj dôkazy ? myslím tie, čo má eminka vo svojich poznámkach.

vo vacsine otazkach dokazy nie su potrebne, iba tam kde sa to vyslovene spomina(co viem tak je to Halting problem TS a mozno este nieco dalsie)
Title: Re: Teoretická informatika
Post by: Matejus on 16.01.2011, 15:06:58
drtic, ľudia ako ty sú, aspoň mnou, na fóre veľmi vážení :) ďakujem za vyčerpávajúcu odpoveď

A teda stači sa učiť z Eminho oskenovaného zošita podľa tých 11.okruhov z minulého roka a pánovi H to bude stačiť ?
Title: Re: Teoretická informatika
Post by: drtic on 16.01.2011, 15:47:34
drtic, ľudia ako ty sú, aspoň mnou, na fóre veľmi vážení :) ďakujem za vyčerpávajúcu odpoveď

A teda stači sa učiť z Eminho oskenovaného zošita podľa tých 11.okruhov z minulého roka a pánovi H to bude stačiť ?

no tak diki za pochvalu  :embarassed:

pozeral som to a mozem ti povedat len svoj nazor, skutocnost je mozno ina ...
niektore otazky su tam velmi dobre spracovane, v niektorych je tam toho dost naviac a v niektorych nieco chyba ale stacilo by to mozno na polovicu a viac bodov :), ale co je najdolezitejsie niektore veci sa z toho len tazko daju pochopit, cize idealne by bolo kazdu jednu otazku si prejst v skriptach a z eminkinych sa ucit to co napisat do papiera na pisomke, lebo je dost pravdepodobne, ze prof. Hudak bude chciet k niecomu vysvetlenie
Title: Re: Teoretická informatika
Post by: thom on 16.01.2011, 16:01:07
drtic, ľudia ako ty sú, aspoň mnou, na fóre veľmi vážení :) ďakujem za vyčerpávajúcu odpoveď

A teda stači sa učiť z Eminho oskenovaného zošita podľa tých 11.okruhov z minulého roka a pánovi H to bude stačiť ?

no tak diki za pochvalu  :embarassed:

pozeral som to a mozem ti povedat len svoj nazor, skutocnost je mozno ina ...
niektore otazky su tam velmi dobre spracovane, v niektorych je tam toho dost naviac a v niektorych nieco chyba ale stacilo by to mozno na polovicu a viac bodov :), ale co je najdolezitejsie niektore veci sa z toho len tazko daju pochopit, cize idealne by bolo kazdu jednu otazku si prejst v skriptach a z eminkinych sa ucit to co napisat do papiera na pisomke, lebo je dost pravdepodobne, ze prof. Hudak bude chciet k niecomu vysvetlenie
Mas pravdu, urcite sa naucit to co chces ku kazdej otazke napisat.Velmi dobra kniha je Hopcroft.Ullman.-.Formalne.jazyky.a.automaty, urcite su tam spracovane skoro vsetky otazky, takze na pochopenie velmi dobra.Ja som v nej hladal nejake otazky, napr. Halting problem a Postov problem, kde v inych zdrojoch som to bud nepochopil alebo velmi malo tam toho bolo.
Title: Re: Teoretická informatika
Post by: hrochodyl on 16.01.2011, 23:17:50
Tak co tipujete na zajtra? Ja verim ze bude Postov k. problem, Janova algebra a z prikladu zegalkin :D
Title: Re: Teoretická informatika
Post by: piton on 17.01.2011, 00:32:42
metody konstrukcie TS :) a janova algebra + zegalkin moze byt...
Title: Re: Teoretická informatika
Post by: Alex on 17.01.2011, 01:23:54
drzim Vam palce zajtra ... nech to nedopadne takto ... ;)

(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fstudent.cvut.cz%2Fimage%2Fstrip%2F4-22.jpg&hash=a99fd17e838db0b592b11a5644ffdb72ee407cec)

alebo takto ...

(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fstudent.cvut.cz%2Fimage%2Fstrip%2F1-16.gif&hash=01cc3587f192f22835be6c986f70353d448f6a99)
Title: Re: Teoretická informatika
Post by: jardo on 23.01.2011, 17:35:08
niekto to tu premazal?
Title: Re: Teoretická informatika
Post by: Johny Bravo on 23.01.2011, 17:41:39
http://www.tu-ke.com/forum/o-nicom/problem-s-databazou/ (http://www.tu-ke.com/forum/o-nicom/problem-s-databazou/)
Title: Re: Teoretická informatika
Post by: Skr3k0 on 23.01.2011, 18:10:15
co sa tyka mna akurat pred tym incidentom som postol tento zaujimavy link
http://stargate.cnl.tuke.sk/~klimek/skola/vypracovaneOtazkyZI.pdf (http://stargate.cnl.tuke.sk/~klimek/skola/vypracovaneOtazkyZI.pdf)
na ktory som natrafil pri googleni nejakej temy z TI.

Je tam viacero takych tem co sa vyskytli ako otazky na skuskach z TI.
Title: Re: Teoretická informatika
Post by: Sxx on 23.01.2011, 18:25:21
a ja vcera opity o 5 rano, som nechapal WTF ze sa neprihlasim a neprihlasim :D
Title: Re: Teoretická informatika
Post by: t0Mi on 23.01.2011, 19:03:04
Tu je zoznam otazok, mozu sa vsak vyskytnut aj ine..

1.   Konečno-automatové zobrazenia a ich vlastnosti
      a. Sekvenčné, zachovávajúce dĺžku a pridružené zobrazenia
      b. Realizovateľnosť zobrazenia konečným automatom
2.   Nerodove ekvivalencie a ich použitie
3.   Uzáverové operácie nad jazykmi
      a. Elementárne uzáverove operácie nad triedami jazykov
      b. Uzavretosť tried jazykov vzhľadom na zobrazenia
4.   Turingovsky vypočítateľné funkcie ( + príklad )
5.   Metódy konštrukcie Turingovho stroja
      a. Pamätanie stavu ( + príklad )
      b. M-stopový TS ( + príklad )
6.   Modifikácie Turingovho stroja
7.   Univerzálny TS, halting problem, dôkaz
8.   Postov korešpondenčný problém, dôkaz
9.   Algebra algoritmov
      a. Logicko-funkcionálne modely
      b. Báza, mono a poly-druhová algebra, algebraické systémy
10.   Dijkstrova algebra
11.   Algebra schém Janova a formalizácia procesu tvorby algoritmov
12.   Graf-schémy algoritmov
13.   Algebra logiky a problém funkcionálnej úplnosti
       a. Algebra boolovských funkcií
       b. Problém funkionálnej úplnosti systémov
14.   Metaalgebra algoritmiky a štruktúra jej subalgebier
15.   Kritérium funkcionálnej úplnosti v metaalgebre Dijkstry
16.   Metapravidlá konštruovania schém a stratégií spracovania dát
       a. Konvolúcia
       b. Evolúcia
       c. Transformácia
Title: Re: Teoretická informatika
Post by: Skr3k0 on 23.01.2011, 19:21:18
neviete mi niekto poradit, v ktorych oficialnych materialoch, alebo knihe najdem tu schemu/obrazok co je pri halting probleme je to uvedene v emikinom i stamperlikovom pdf ale inde to neviem najst... thx

btw: HALTING PROBLEM :)
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fro-che.info%2Fccc%2Fimages%2Fhalting-problem.png&hash=f6336f64db1f96be89f342edc5d7833c4ead351e)
Title: Re: Teoretická informatika
Post by: t0Mi on 23.01.2011, 19:28:22
moodle, slides, heslo jahodka
Title: Re: Teoretická informatika
Post by: jardo on 23.01.2011, 19:36:07
tak moja otazka, ma hudak neajke oblubene otazky na ustensj skuske? alebo nejake chytaky?
Title: Re: Teoretická informatika
Post by: kilomassa on 23.01.2011, 19:56:21
to je uplne super od daktorych ze sa odhlasia na poslednu chvilu ked uz neni sanca sa prihlasit na 27
Title: Re: Teoretická informatika
Post by: DeViLvs on 23.01.2011, 19:57:49
niekto z intraku kto by mi prisiel vysvetlit priklady na algebry? pozeram do skript a som z toho jelen. odmenim sa povedzme 5e. PM
Title: Re: Teoretická informatika
Post by: radix on 23.01.2011, 20:23:04
to je uplne super od daktorych ze sa odhlasia na poslednu chvilu ked uz neni sanca sa prihlasit na 27
chod bez prihlasenia
Title: Re: Teoretická informatika
Post by: kilomassa on 23.01.2011, 21:21:30
narazal som na to ze som sa tu pytal ako kkt kto sa vymeni bo som chcel ist az 24 a vtedy sa nikto neozval a teraz sa odhlasi to potesi cloveka takyto pristup...bol som 20 a nestihal som sa to vsetko naucit ale to je jedno aj tak to nikoho nezaujima len ide o to ze to fakt daktori by sa mohli pozriet aj inak na to ne len sa prihlasim a potom MF a potom sa odhlasim
Title: Re: Teoretická informatika
Post by: DeViLvs on 23.01.2011, 21:53:19
nikto? ludia, dam 10e tomu, kto mi vysvetli tie priklady. Pls, napr. niekto kto uz ma skusku a rozumie tomu. Sakra ludia, 10e za 2hodky +- 
Title: Re: Teoretická informatika
Post by: t0Mi on 23.01.2011, 22:04:36
taa aj zadarmo by som ti to vysvetlil kebyze mam cas :D ktorym nerozumies.. ?
Title: Re: Teoretická informatika
Post by: DeViLvs on 23.01.2011, 22:06:17
taa aj zadarmo by som ti to vysvetlil kebyze mam cas :D ktorym nerozumies.. ?
prevody AD do AJ.........sorty........a celkovo algebry
ostatne priklady viem
Title: Re: Teoretická informatika
Post by: kilomassa on 23.01.2011, 23:32:51
ta si mohol dat moe aj tu nech sa spravi konferencia abudeme sluhac :D
Title: Re: Teoretická informatika
Post by: Sxx on 23.01.2011, 23:58:31
to by bolo fajn, tiez by som sa pripojil
Title: Re: Teoretická informatika
Post by: Dulus on 24.01.2011, 02:36:02
viete teda niekto vysvetlit tie AJ / DJ prikaldy ???
Title: Re: Teoretická informatika
Post by: bludar on 24.01.2011, 03:17:36
Zaujimalo by ma ci niekto nema ten INSETRT a SHELL sort nejak dobre spoznamkovany, v knihe je ten INSERT ale niesu tam vysvetlene vsetky znacky...
Title: Re: Teoretická informatika
Post by: bubo on 24.01.2011, 03:27:40
Mohli by dat zajtra Turinga, Logicko Funkcionalne Modely, a Zegalkina, a :xmas: ideme domov s A-ckami  :puf:  kazdopadne drzim vsetkym a sebe palce zajtra..  :buttrock:
Title: Re: Teoretická informatika
Post by: JankoHrasko on 24.01.2011, 03:32:29
viete teda niekto vysvetlit tie AJ / DJ prikaldy ???
popis predikátov a operátorov je v skriptách na str. 163
na str. 168 a 169 sú operátory Dijsktrovej algebry
na str. 174 a 175 Janovej algebry
a aby si pochopil, ako sa vytvára popis algoritmu, pozri do eminkinych vypočítanách príkladov, teda do TI-priklady.pdf na str. 9 (príklad 31), tam je priamo aj prevod z AD do AJ
mne toto stačilo na pochopenie.. ;)
Title: Re: Teoretická informatika
Post by: kilomassa on 24.01.2011, 15:44:42
ake boli dnes otazky?
Title: Re: Teoretická informatika
Post by: peepoo on 24.01.2011, 16:36:56
jedna skupina:
Turingovsky vypočítateľné funkcie ( + príklad )
Algebra logiky a problém funkcionálnej úplnosti. Algebra boolovských funkcií BF a problém funkcionálnej úplnosti BF
priklad- prevod AD do AJ
Title: Re: Teoretická informatika
Post by: kilomassa on 24.01.2011, 18:45:18
kolko vas nakoniec bolo ? boli dve skupiny ne?
Title: Re: Teoretická informatika
Post by: bubo on 24.01.2011, 20:36:43
Uzasne dnes bolo.. z prvej otazky mam 1/3 bodov, druhu mam celu spravnu, a z prikladu dostanem nadpolovicnu vacsinu bodov. Pridem na ustnu, mam viac nez dost bodov na znamku, Hudak mi da 2 otazky, z toho jednu zle odpoviem, a ma posle prec ze mam prist nabuduce.............  bu bu bu bu

Na ustnej casti vie byt dost nemilosrdny..
Title: Re: Teoretická informatika
Post by: domino3d on 24.01.2011, 20:59:52
Uzasne dnes bolo.. z prvej otazky mam 1/3 bodov, druhu mam celu spravnu, a z prikladu dostanem nadpolovicnu vacsinu bodov. Pridem na ustnu, mam viac nez dost bodov na znamku, Hudak mi da 2 otazky, z toho jednu zle odpoviem, a ma posle prec ze mam prist nabuduce.............  bu bu bu bu

Na ustnej casti vie byt dost nemilosrdny..
co si nevedel? mal si sa tvarit ze vies a len rozmyslas... no dost kruty bol a to bol po alebo pred obedom?
Title: Re: Teoretická informatika
Post by: kilomassa on 24.01.2011, 21:12:18
Uzasne dnes bolo.. z prvej otazky mam 1/3 bodov, druhu mam celu spravnu, a z prikladu dostanem nadpolovicnu vacsinu bodov. Pridem na ustnu, mam viac nez dost bodov na znamku, Hudak mi da 2 otazky, z toho jednu zle odpoviem, a ma posle prec ze mam prist nabuduce.............  bu bu bu bu

Na ustnej casti vie byt dost nemilosrdny..

ktore si mal otaztky a ake dve ti polozil na ustnej ? inak vies uz kolko ludi asi tak nespravilo ?
Title: Re: Teoretická informatika
Post by: spdy_ on 24.01.2011, 22:16:30
ked som vychadzal o 15.02 od pana H. tak som bol siedmy ktory spravil.. za mnou ostali uz len traja, neviem ako dopadli.
Ale nemozem povedat zleho slova na pana H. spytal sa ma jednu otazku, nebol som si v nej velmi isty, tak mi pomohol ako zacat a potom som to uz dokoncil, a ohodnotil celkom slusne.
Ale dnes tam boli ludia unho dnu az privelmi dlho..cca -10-15 minut jeden. (boli aj vynimky co len vosli a vysli a mali spravenu skusku)

yeeeeah ale konecne je to za mnou.. D-69  :buttrock: :buttrock:
Title: Re: Teoretická informatika
Post by: kilomassa on 24.01.2011, 22:19:29
ked som vychadzal o 15.02 od pana H. tak som bol siedmy ktory spravil.. za mnou ostali uz len traja, neviem ako dopadli.
Ale nemozem povedat zleho slova na pana H. spytal sa ma jednu otazku, nebol som si v nej velmi isty, tak mi pomohol ako zacat a potom som to uz dokoncil, a ohodnotil celkom slusne.
Ale dnes tam boli ludia unho dnu az privelmi dlho..cca -10-15 minut jeden. (boli aj vynimky co len vosli a vysli a mali spravenu skusku)

yeeeeah ale konecne je to za mnou.. D-69  :buttrock: :buttrock:
jaku ti dal otazku ?inak 7my hm aj keby ti 3 spravili tak zas 10 z 27 neni vela
Title: Re: Teoretická informatika
Post by: ropman on 24.01.2011, 22:29:30
u neho je to strasny random. niekomu len spocita body, niekomu polozi jednu otazku a ked nevie tak dovi niekomu polozi viac otazok a aj ked nevie tak prejde... nerozumiem tomu. kazdopadne ja som presiel aj ked som skoro nic nevedel a zaver ku ktoremu som dosiel pri poslednej otazke bol uplne zly. tak som si uz hovoril ze na 100% neprejdem, ale nakoniec som dostal D comu som ani neveril a fest som sa potom strapnil bo som bol uplne mimo :). vskratke, bez lucku sa to neda prejst, ak sa tomu clovek naozaj poriadne nevenuje pocas celeho semestra..
Title: Re: Teoretická informatika
Post by: piton on 24.01.2011, 22:32:53
Hudakove spravanie na skuske ma nedeterministicky charakter :)
drzim palce vsetkym...
Title: Re: Teoretická informatika
Post by: DeViLvs on 24.01.2011, 22:50:41
jj pravda, niekoho sa vypytuje a niekomu len spocita body. Mozno je to podla bodov za priklad a mozno je to cisty random. Ale zda sa mi, ze ti ktori mali priklad full, pripadne blizko full, tak sa ich uz velmi nevypytoval, alebo vobec. Konkretne ja som mal priklad 17 z 20, T1 25b, T2 0b a nic len mi spocital body a ci moze byt, ci nechcem k tomu nieco povedat. Odpoved bola, ze radsej nie, tak sme zasmiali a slapal som prec.
Title: Re: Teoretická informatika
Post by: spdy_ on 24.01.2011, 22:54:49
ked som vychadzal o 15.02 od pana H. tak som bol siedmy ktory spravil.. za mnou ostali uz len traja, neviem ako dopadli.
Ale nemozem povedat zleho slova na pana H. spytal sa ma jednu otazku, nebol som si v nej velmi isty, tak mi pomohol ako zacat a potom som to uz dokoncil, a ohodnotil celkom slusne.
Ale dnes tam boli ludia unho dnu az privelmi dlho..cca -10-15 minut jeden. (boli aj vynimky co len vosli a vysli a mali spravenu skusku)

yeeeeah ale konecne je to za mnou.. D-69  :buttrock: :buttrock:
jaku ti dal otazku ?inak 7my hm aj keby ti 3 spravili tak zas 10 z 27 neni vela

mal som chybne napisanu Samodualitu, tak sme rozoberali kedy su dve funkcie vzajomne dualne a kedy je funkcia samodualna, a na konkretnych prikladoch sme to riesili.
Title: Re: Teoretická informatika
Post by: markus on 24.01.2011, 23:05:25
jj pravda, niekoho sa vypytuje a niekomu len spocita body. Mozno je to podla bodov za priklad a mozno je to cisty random. Ale zda sa mi, ze ti ktori mali priklad full, pripadne blizko full, tak sa ich uz velmi nevypytoval, alebo vobec. Konkretne ja som mal priklad 17 z 20, T1 25b, T2 0b a nic len mi spocital body a ci moze byt, ci nechcem k tomu nieco povedat. Odpoved bola, ze radsej nie, tak sme zasmiali a slapal som prec.

ja by som povedal ze to je od nalady :D
pretoze ja som mal priklad na 18 bodov z T1 som mal napisane vsetko a ohodnotil mi to dvomi bodmi az po ustnej casti :D
Title: Re: Teoretická informatika
Post by: Trent on 24.01.2011, 23:08:40
My sme sa bavili o TV reklamách.
Title: Re: Teoretická informatika
Post by: bubo on 25.01.2011, 00:51:55
jj pravda, niekoho sa vypytuje a niekomu len spocita body. Mozno je to podla bodov za priklad a mozno je to cisty random. Ale zda sa mi, ze ti ktori mali priklad full, pripadne blizko full, tak sa ich uz velmi nevypytoval, alebo vobec. Konkretne ja som mal priklad 17 z 20, T1 25b, T2 0b a nic len mi spocital body a ci moze byt, ci nechcem k tomu nieco povedat. Odpoved bola, ze radsej nie, tak sme zasmiali a slapal som prec.

ja by som povedal ze to je od nalady :D
pretoze ja som mal priklad na 18 bodov z T1 som mal napisane vsetko a ohodnotil mi to dvomi bodmi az po ustnej casti :D

tak toto je krute :D
Title: Re: Teoretická informatika
Post by: JohnyM on 25.01.2011, 02:25:59
nema niekto ulozene ake otazky boli na predchadzajucich terminoch? tak pekne pokope jak to bolo pred padnutim fora :D
Title: Re: Teoretická informatika
Post by: radix on 25.01.2011, 02:27:56
Tu je zoznam otazok, mozu sa vsak vyskytnut aj ine..

1.   Konečno-automatové zobrazenia a ich vlastnosti
      a. Sekvenčné, zachovávajúce dĺžku a pridružené zobrazenia
      b. Realizovateľnosť zobrazenia konečným automatom
2.   Nerodove ekvivalencie a ich použitie
3.   Uzáverové operácie nad jazykmi
      a. Elementárne uzáverove operácie nad triedami jazykov
      b. Uzavretosť tried jazykov vzhľadom na zobrazenia
4.   Turingovsky vypočítateľné funkcie ( + príklad )
5.   Metódy konštrukcie Turingovho stroja
      a. Pamätanie stavu ( + príklad )
      b. M-stopový TS ( + príklad )
6.   Modifikácie Turingovho stroja
7.   Univerzálny TS, halting problem, dôkaz
8.   Postov korešpondenčný problém, dôkaz
9.   Algebra algoritmov
      a. Logicko-funkcionálne modely
      b. Báza, mono a poly-druhová algebra, algebraické systémy
10.   Dijkstrova algebra
11.   Algebra schém Janova a formalizácia procesu tvorby algoritmov
12.   Graf-schémy algoritmov
13.   Algebra logiky a problém funkcionálnej úplnosti
       a. Algebra boolovských funkcií
       b. Problém funkionálnej úplnosti systémov
14.   Metaalgebra algoritmiky a štruktúra jej subalgebier
15.   Kritérium funkcionálnej úplnosti v metaalgebre Dijkstry
16.   Metapravidlá konštruovania schém a stratégií spracovania dát
       a. Konvolúcia
       b. Evolúcia
       c. Transformácia
Title: Re: Teoretická informatika
Post by: JohnyM on 25.01.2011, 02:37:59
nenene toto som videl :) ine som myslel, podla datumu som chcel :D
Title: Re: Teoretická informatika
Post by: Squirrel_sK on 25.01.2011, 02:42:18
Quote from: markus
suhrn otazok zo semestra:
=====================4.1.==========================
A)
T1:  Uzaverove operacie. Uzaverove operacie nad jazykom.
       Elementerne uzaverove operacie nad triedami jazykov
T2 Algebra: baza, poly mono druhova algebra. Alegebraicke systemy. Logicko funkcne modely.
P: Zostrojte algoritmus Dijkstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne.

B)
T1 - Automatove zobrazenia - vlastnosti k tomu
T2 - Metaalgebra algoritmov, kriterium funkcionalnej uplnosti v dijkstrovej metaalgebre.
P - Polynom zegalkina z dvoch funkcii.

=====================11.1.==========================
Len jedna skupina bola

TI2I.6 : Turingovsky-vypocitatelne funkcie. Definicia a ilustracia na priklade.

TI2II.6 : Algebra logiky a problem funkcionalnej uplnosti.
     Algebra boolovskych funkcii (BF) a problem funkcionalnej uplnosti systemov BF.

Priklad
Previest do algebry Janova z Dijkstru.

=====================13.1.==========================
A)
Dijkstrova algebra + napisat konvoluciu evoluciu
Univerzalny turingov stroj + Halting Problem
Priklad bol stroj s dvoma pocitadlami (a na 2n,b na n,c na n)

B)
Nerodove ekvivalencie
Algebra algoritmov
Prepisat asi Bubblesort do Dijkstry



=====================17.1.==========================
A)
1.otazka:
Uzaverove operacie. Uzaverove operacie nad jazykom.
Elementerne uzaverove operacie nad triedami jazykov

2.otazka:
baza, poly mono druhova algebra. Alegebraicke systemy. Logicko funkcne modely.

Priklad: Zostrojte algoritmus Dijkstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne.


B)
1 otazka: turing. vypocitatelne funkcie
2 otazka: alegbra logiky a boolova algebra
priklad: previest do Alg. Janova nejaky bordel...


sorry, som to tu pastol jak som to mal v docku.. mal som tazky den na TI tak to chapte :D
Title: Re: Teoretická informatika
Post by: t0Mi on 25.01.2011, 03:21:01
...
ten suhrn robil markus, na taketo nieco sa pouziva quote...
Title: Re: Teoretická informatika
Post by: domino3d on 25.01.2011, 03:24:16
...
ten suhrn robil markus, na taketo nieco sa pouziva quote...
zbytocne... moralna uroven ucasnikov fora upada. Toto nebol prvy pripad...
Title: Re: Teoretická informatika
Post by: Ali N on 25.01.2011, 03:27:17
jj pravda, niekoho sa vypytuje a niekomu len spocita body. Mozno je to podla bodov za priklad a mozno je to cisty random. Ale zda sa mi, ze ti ktori mali priklad full, pripadne blizko full, tak sa ich uz velmi nevypytoval, alebo vobec. Konkretne ja som mal priklad 17 z 20, T1 25b, T2 0b a nic len mi spocital body a ci moze byt, ci nechcem k tomu nieco povedat. Odpoved bola, ze radsej nie, tak sme zasmiali a slapal som prec.

ja by som povedal ze to je od nalady :D
pretoze ja som mal priklad na 18 bodov z T1 som mal napisane vsetko a ohodnotil mi to dvomi bodmi az po ustnej casti :D
Nezavadzaj, k PCP si nemal napisane vsetko a mal si to viac nabiflene nez pochopene :D
Title: Re: Teoretická informatika
Post by: thom on 25.01.2011, 03:29:39
Dnes bola iba jedna skupina? Ked sa pisalo iba o jednej.
Title: Re: Teoretická informatika
Post by: DeViLvs on 25.01.2011, 03:38:17
ta druha mala tusim presne tie otazky ako na 17.1.2011 sa mi zda.
Title: Re: Teoretická informatika
Post by: bubo on 25.01.2011, 03:49:10
ja som mal:

Algebra, tie modely, baza, viac-radove algebry
Uzavretost operacii nad jazykmi

a druha skupina mala tusim

Vypocet TS
Algebra logiky

Inac ked chcem ist na opravak, je lepsie ak pojdem neprihlaseny? (keby som znovu musel ist :D)
Title: Re: Teoretická informatika
Post by: Ali N on 25.01.2011, 04:20:44
ja som mal:

Algebra, tie modely, baza, viac-radove algebry
Uzavretost operacii nad jazykmi

a druha skupina mala tusim

Vypocet TS
Algebra logiky

Inac ked chcem ist na opravak, je lepsie ak pojdem neprihlaseny? (keby som znovu musel ist :D)

No, pokial nepojdes na ustnu v pripade ze uvidis ze to nema vyznam tak mozno je lepsie ist neprihlaseny kedze neprides o termin, len teraz tieto posledne terminy su dost natreskane tak nemas istotu ze ta zoberu, a navyse aj tak sa chlieb lame az na ustnej casti a na tu ak pojdes tak pravdepodobne mas po termine tak ci tak
Title: Re: Teoretická informatika
Post by: markus on 25.01.2011, 04:41:43
hmmm typek co bol pri nas bol 3tikrat a mu povedal ze mu termin nezapocita alebo take nieco ak sa nemylim ale niesom si stopro isty
Title: Re: Teoretická informatika
Post by: bludar on 25.01.2011, 04:42:23
V rámci Algebier sa začalo operovať s termínom TERM. Čítam si poučku aj sto krát ale myslím že tomu úplne nerozumiem. Vedel by mi niekto vysvetliť nejako polopatisticky, že čo ten TERM je ???
Title: Re: Teoretická informatika
Post by: t0Mi on 25.01.2011, 05:47:46
term je prvok z mnoziny generatorov alebo
aj n-arna fcia ktorej argumenty su termy.
polopatistickejsie neviem...
Title: Re: Teoretická informatika
Post by: Cheiftan on 25.01.2011, 05:59:42
co si myslite moze sa stat ze Hudak vypise este jeden termin naviac?
Title: Re: Teoretická informatika
Post by: trek on 25.01.2011, 06:03:07
minuly rok sa to stalo...boli myslim 2
Title: Re: Teoretická informatika
Post by: Ali N on 25.01.2011, 06:42:12
hmmm typek co bol pri nas bol 3tikrat a mu povedal ze mu termin nezapocita alebo take nieco ak sa nemylim ale niesom si stopro isty
on vravel ze predtym nemal zapisany termin lebo nebol prihlaseny a nesiel na ustnu ... a myslel si ze aj teraz mu ho mozno nezapocita, ale bol tusim koli tomu za koreckom, ten ho poslal za hudakom a akurat ked som ja isiel na ustnu tak si isiel vybavit to nezapisanie a hudak mu povadal nieco v zmysle ze "to nechajte na mna ci vam to zapisem alebo nie" ... ako dopadol tak to netusim
Title: Re: Teoretická informatika
Post by: DeViLvs on 25.01.2011, 07:38:59
minuly rok sa to stalo...boli myslim 2
Minuly rok sa to nestalo, prave preto som opakoval tento predmet. Pochybujem, ze vypise dalsie terminy, ale tak ktovie, mozno...
Title: Re: Teoretická informatika
Post by: Achilus13 on 25.01.2011, 07:44:16
viete teda niekto vysvetlit tie AJ / DJ prikaldy ???
popis predikátov a operátorov je v skriptách na str. 163
na str. 168 a 169 sú operátory Dijsktrovej algebry
na str. 174 a 175 Janovej algebry
a aby si pochopil, ako sa vytvára popis algoritmu, pozri do eminkinych vypočítanách príkladov, teda do TI-priklady.pdf na str. 9 (príklad 31), tam je priamo aj prevod z AD do AJ
mne toto stačilo na pochopenie.. ;)

A to v ktorých skriptách????? hľadám a neviem ako sa volajú
Title: Re: Teoretická informatika
Post by: Squirrel_sK on 25.01.2011, 16:23:03
V rámci Algebier sa začalo operovať s termínom TERM. Čítam si poučku aj sto krát ale myslím že tomu úplne nerozumiem. Vedel by mi niekto vysvetliť nejako polopatisticky, že čo ten TERM je ???

1. Termom moze byt prvok z mnoziny generatorov.
2. Tiez funkcia - term, ktorej argumenty su prvky z mn. generatorov
3. Funkcia, ktorej argumenty su funkcie - termy
4. Dva termy su ekvivalentne, ak generuju rovnaky prvok..

Priklady:
Nech A~=(A,W) , A=mn. prirodzenych cisel N, G={1} je system generatorov, f(x,y)= x + y patri do W
1. 1 je term
2. 1+1 je term
3. ((1+1)+1) je term
4. termy (((1+1)+1)+1) a ((1+1)+(1+1)) su ekvivalentne - totozne
Title: Re: Teoretická informatika
Post by: JankoHrasko on 25.01.2011, 16:32:43
viete teda niekto vysvetlit tie AJ / DJ prikaldy ???
popis predikátov a operátorov je v skriptách na str. 163
na str. 168 a 169 sú operátory Dijsktrovej algebry
na str. 174 a 175 Janovej algebry
a aby si pochopil, ako sa vytvára popis algoritmu, pozri do eminkinych vypočítanách príkladov, teda do TI-priklady.pdf na str. 9 (príklad 31), tam je priamo aj prevod z AD do AJ
mne toto stačilo na pochopenie.. ;)

A to v ktorých skriptách????? hľadám a neviem ako sa volajú
v tých, ktoré sú na moodli.. :) k tým má prístup každý z nás, a keďže sú priamo na tento predmet, tak ma ich nenapadlo presne menovať..
Title: Re: Teoretická informatika
Post by: bludar on 25.01.2011, 16:36:16
V rámci Algebier sa začalo operovať s termínom TERM. Čítam si poučku aj sto krát ale myslím že tomu úplne nerozumiem. Vedel by mi niekto vysvetliť nejako polopatisticky, že čo ten TERM je ???

1. Termom moze byt prvok z mnoziny generatorov.
2. Tiez funkcia - term, ktorej argumenty su prvky z mn. generatorov
3. Funkcia, ktorej argumenty su funkcie - termy
4. Dva termy su ekvivalentne, ak generuju rovnaky prvok..

Priklady:
Nech A~=(A,W) , A=mn. prirodzenych cisel N, G={1} je system generatorov, f(x,y)= x + y patri do W
1. 1 je term
2. 1+1 je term
3. ((1+1)+1) je term
4. termy (((1+1)+1)+1) a ((1+1)+(1+1)) su ekvivalentne - totozne

 :thumbs-up: Vďaka, dobre vysvetlené.
Title: Re: Teoretická informatika
Post by: JankoHrasko on 25.01.2011, 17:16:51
ak mal tiež niekto problém pochopiť, kedy je funkcia totálna, podarilo sa mi nájsť dobré vysvetlenie:
   "Parciálne a totálne funkcie
    Funkcia je zobrazenie prvkov definičného oboru na prvky oboru hodnôt (relácia), pričom každému prvku definičného oboru zodpovedá najviac jeden prvok oboru hodnôt
    Definičný obor – doména (domain)
    Obor hodnôt – kodoména (range)
    Funkcia je parciálna, ak nie je definovaná pre všetky prvky domény
          Funkcia top napr. nie je definovaná pre prázdny zásobník
          top : Stack[E] -\-> E
    Funkcia je totálna, ak nie je parciálna
          Príklad: funkcia empty
          empty : Stack[E] --> Boolean"
zdroj: http://www2.fiit.stuba.sk/~vranic/mps/p/p08.pdf (http://www2.fiit.stuba.sk/~vranic/mps/p/p08.pdf)
Title: Re: Teoretická informatika
Post by: jardo on 25.01.2011, 20:07:39
pri tych uzaverovych operaciach nad triedami jazykov, treba vypisat tych devet operacii, alebo tam treba aj potom tie odvodenia pre zjednotenie zretazenie uzaver a reverziu?
Title: Re: Teoretická informatika
Post by: Squirrel_sK on 25.01.2011, 22:34:53
radsej napis obidve.. ja som napisal oboje a dal mi za to 20b
Title: Re: Teoretická informatika
Post by: thom on 25.01.2011, 22:37:23
radsej napis obidve.. ja som napisal oboje a dal mi za to 20b
a co vsetko si k tomu pisal?Pisal si iba o povahe uzavretosti tried jazykov 0,1,2 alebo aj o triede 3 ?
Title: Re: Teoretická informatika
Post by: kilomassa on 25.01.2011, 22:39:16
no to je potom dost co pisat k tej otazke
Title: Re: Teoretická informatika
Post by: hrochodyl on 26.01.2011, 02:53:57
pri tych uzaverovych operaciach nad triedami jazykov, treba vypisat tych devet operacii, alebo tam treba aj potom tie odvodenia pre zjednotenie zretazenie uzaver a reverziu?
Ja som minule napisal tych 9 operacii a mi povedal ze to nemam z jeho skript, ze to je pre neho nic. Takze to by som uz nepisal. Staci podla mna napisat "len" to zjednotenie, zretazenie, uzaver a reverziu.
Title: Re: Teoretická informatika
Post by: jardo on 26.01.2011, 03:25:42
Quote
Ja som minule napisal tych 9 operacii a mi povedal ze to nemam z jeho skript, ze to je pre neho nic. Takze to by som uz nepisal. Staci podla mna napisat "len" to zjednotenie, zretazenie, uzaver a reverziu.
cize t dal za ne 0 bodov?
Title: Re: Teoretická informatika
Post by: bludar on 26.01.2011, 04:22:25
uz je jeden odhlaseny :) mimochodom ako ste na tom vy? ja uz to nemozem ani vidiet, myslim ze to bude u mna FAIL... :(
Title: Re: Teoretická informatika
Post by: hrochodyl on 26.01.2011, 04:30:34
Quote
cize t dal za ne 0 bodov?
Veru, 0.
Title: Re: Teoretická informatika
Post by: jardo on 26.01.2011, 04:36:32
cize treba vediet len tie odvodenia tych operacii zjednotenit zretazenie uzaver a reverzia?
Title: Re: Teoretická informatika
Post by: hrochodyl on 26.01.2011, 15:11:02
ja si myslim ze ano. Ale urcite uz by som nepisal tych 9 operacii.
Title: Re: Teoretická informatika
Post by: JankoHrasko on 26.01.2011, 16:40:42
čo by ste písali k otázke Algebra algoritmov?
Title: Re: Teoretická informatika
Post by: jardo on 26.01.2011, 16:52:44
ja si myslim ze ano. Ale urcite uz by som nepisal tych 9 operacii.
no lenze k tej otazke ze uzavrete operacie nad jazykmi, je aj podotazka ze operacie an fromalnych jazykoch a tie su ktore?
Title: Re: Teoretická informatika
Post by: thom on 26.01.2011, 17:04:47
ja si myslim ze ano. Ale urcite uz by som nepisal tych 9 operacii.
no lenze k tej otazke ze uzavrete operacie nad jazykmi, je aj podotazka ze operacie an fromalnych jazykoch a tie su ktore?
Nerozumiem tvojej otazke. Ktore su tie operacie, alebo ktore su tie jazyky??
Title: Re: Teoretická informatika
Post by: bludar on 26.01.2011, 18:41:06
"Subalgebra  B~ algebry A~ je jej maximálnou subalgebrou , ak v dôsledku výberu ľubovoľného takého
prvku q ∈  A~, ale q /∈  B~ získame systém generátorov algebry  A~."

Takže najprv B~ ešte nieje systém generátorov, ale ak vyberiem nejaké ľubovoľné q z A~ a získam tým systém generátorov, to znamená že pomocou B~ už viem vzjadriť každý prvok z A~. A teda platí, že každý systém generátorov je aj maximálnou subalgebrou? Rozumiem tomu dobre?
Title: Re: Teoretická informatika
Post by: jardo on 26.01.2011, 20:25:44
ja si myslim ze ano. Ale urcite uz by som nepisal tych 9 operacii.
no lenze k tej otazke ze uzavrete operacie nad jazykmi, je aj podotazka ze operacie an fromalnych jazykoch a tie su ktore?
Nerozumiem tvojej otazke. Ktore su tie operacie, alebo ktore su tie jazyky??
no mal som na skuske otazku: Operacie na formalnych jazykoch, Uzavretosť operacii nad jazykmi. Uzavretost na elementarne operacie nad jazykmi.

NO co ktomu treba?
staci tan napisat tie odvodenia pre operacie zjednotenia zretazenia, uzaveru a reverzie, alebo este neico?
Title: Re: Teoretická informatika
Post by: thom on 26.01.2011, 21:01:14
ja si myslim ze ano. Ale urcite uz by som nepisal tych 9 operacii.
no lenze k tej otazke ze uzavrete operacie nad jazykmi, je aj podotazka ze operacie an fromalnych jazykoch a tie su ktore?
Nerozumiem tvojej otazke. Ktore su tie operacie, alebo ktore su tie jazyky??
no mal som na skuske otazku: Operacie na formalnych jazykoch, Uzavretosť operacii nad jazykmi. Uzavretost na elementarne operacie nad jazykmi.
NO co ktomu treba?
staci tan napisat tie odvodenia pre operacie zjednotenia zretazenia, uzaveru a reverzie, alebo este neico?
No tak operacie na formalnych jazykoch su zretazenie, iteracia, mocnina, ..., inverzny homomorfizmus(cize tich 9 operacii). A potom dokazujes uzavretost operacii(zjednotenie, zretazenie, iteracia, reverzia, prienik, doplnok) na jednotlive triedy jazykov(0,1,2,3) co je -  Uzavretosť operacii nad jazykmi. Uzavretost na elementarne operacie nad jazykmi.
Title: Re: Teoretická informatika
Post by: jardo on 26.01.2011, 22:10:32
no lenze ked si cital to pred tym, tak tych devet operacii vraj ze hudak nechce ze da za ne 0 bodov
Title: Re: Teoretická informatika
Post by: Macro on 26.01.2011, 22:47:32
to mi chcete povedat ze sa mam naucit take nieco?  ZJEDNOTENIE: G 3 =(V N(3) ,V T(3) ,P 3 ,S 3 ); V N(3) = V N(1) ∪ V N(2) ∪S 3 ; V T(3) = V T(1) ∪ V T(2) ; P 3 =P 1 ∪P 2 ∪{S 3 ->S 1 ,S 3 ->S 2 }∪{S  ->prazdny |S 1 ->prazdny  alebo S 2 ->prazdny } -{S 1 ->prazdny , S 2 ->prazdny }; L(G 3 )= L(G 1 )∪L(G 2 ); ...atd..
ved tomu ani nerozumiem a v skriptach to nejak neviem najst (tie co su na na moodly)
Title: Re: Teoretická informatika
Post by: Squirrel_sK on 26.01.2011, 22:56:32
no lenze ked si cital to pred tym, tak tych devet operacii vraj ze hudak nechce ze da za ne 0 bodov

hovorim, ja som napisal tych 9, + tie 4 ... zretazenie, zjednotenie, reverzia, iteracia.. pomocou tych gramatik.. ani som nenapisal ktorych tried jazykov sa to tyka.. a 20b.. samozrejme.. napiste ktorych sa to tyka.. lebo asi mal len dobru naladu pri mne.. proste uznal mi to
to marco: neni to tazke.. precitaj si definiciu gramatiky.. co su neterminalne, terminalne symboly, pravidla, startovaci, prazdny symbol.. toto su este lahke veci, ale dalej (pokracovanie uzaverovych) to je uz horsie
Title: Re: Teoretická informatika
Post by: hrochodyl on 26.01.2011, 22:57:31
v ullmanovskych veciach to mas vysvetlene. Sice tiez tomu nejako extra nechapem ale tam to je aspon popisane :D
Title: Re: Teoretická informatika
Post by: jardo on 27.01.2011, 01:34:17
ludia nemate urobene tie algoritmy triedenia? aspon niektore?
Title: Re: Teoretická informatika
Post by: JankoHrasko on 27.01.2011, 04:57:15
ludia nemate urobene tie algoritmy triedenia? aspon niektore?
selection sort (triedenie použitím minimálneho prvku)
http://dl.dropbox.com/u/4446823/selection%20sort.jpg (http://dl.dropbox.com/u/4446823/selection%20sort.jpg)
Title: Re: Teoretická informatika
Post by: Jerryh on 27.01.2011, 05:34:35
ludia nemate urobene tie algoritmy triedenia? aspon niektore?
selection sort (triedenie použitím minimálneho prvku)
http://dl.dropbox.com/u/4446823/selection%20sort.jpg (http://dl.dropbox.com/u/4446823/selection%20sort.jpg)
urcite je dobry?  ako vymenis posledne 2 prvky ako nie su zoradene?
Title: Re: Teoretická informatika
Post by: bludar on 27.01.2011, 06:30:14
ludia nemate urobene tie algoritmy triedenia? aspon niektore?
selection sort (triedenie použitím minimálneho prvku)
http://dl.dropbox.com/u/4446823/selection%20sort.jpg (http://dl.dropbox.com/u/4446823/selection%20sort.jpg)
urcite je dobry?  ako vymenis posledne 2 prvky ako nie su zoradene?

podla mna by to stacilo definovat ze sa vymienaju prvky napravo od tych ukazovatelov
Title: Re: Teoretická informatika
Post by: Jerryh on 27.01.2011, 06:56:47
ludia nemate urobene tie algoritmy triedenia? aspon niektore?
selection sort (triedenie použitím minimálneho prvku)
http://dl.dropbox.com/u/4446823/selection%20sort.jpg (http://dl.dropbox.com/u/4446823/selection%20sort.jpg)
urcite je dobry?  ako vymenis posledne 2 prvky ako nie su zoradene?

podla mna by to stacilo definovat ze sa vymienaju prvky napravo od tych ukazovatelov
to ma napadlo ako prve, len som sa chcel uistit ze som to dobre pochopil ze sa to neda
Title: Re: Teoretická informatika
Post by: Patto on 27.01.2011, 17:01:39
nechce niekto nahodou vymenit termin a ist trosku skor? .... z 3.2. na 31.1?
Title: Re: Teoretická informatika
Post by: thom on 27.01.2011, 19:45:52
Nejake info z dnesnej skusky??
Title: Re: Teoretická informatika
Post by: kilomassa on 27.01.2011, 22:12:31
1.nerodove  2. algebry algoritmov priklad turing so 2 zasebnikmi druha mala daco so sekvencnym strojom a bubble ostatne nwm...
Title: Re: Teoretická informatika
Post by: frapko on 27.01.2011, 23:07:55
Nejake info z dnesnej skusky??

27.1.

1.skupina
- Nerodove ekvivalencie
- Algebra algoritmov
- Turingov stroj s jednou vstupnou paskou a dvomi zasobnikovymi - a^2n b^n c^n

2.skupina
- Uzáverové operácie nad jazykmi - Uzavretosť tried jazykov vzhľadom na zobrazenia
- Metapravidlá konštruovania schém a stratégií spracovania dát - Konvolúcia, Evolúcia, Transformácia
- Prepisat Bubblesort do Dijkstry, vzostupne

ak sa mylim v niektorej z otazok v skupine 2, tak ma opravte...
Title: Re: Teoretická informatika
Post by: JankoHrasko on 28.01.2011, 00:39:35
Nejake info z dnesnej skusky??

27.1.

1.skupina
- Nerodove ekvivalencie
- Algebra algoritmov
- Turingov stroj s jednou vstupnou paskou a dvomi zasobnikovymi - a^2n b^n c^n

2.skupina
- Uzáverové operácie nad jazykmi - Uzavretosť tried jazykov vzhľadom na zobrazenia
- Metapravidlá konštruovania schém a stratégií spracovania dát - Konvolúcia, Evolúcia, Transformácia
- Prepisat Bubblesort do Dijkstry, vzostupne

ak sa mylim v niektorej z otazok v skupine 2, tak ma opravte...

2.skupina
1.otázka : Zobrazenia nad jazykmi. Uzavretosť tried jazykov vzhľadom na zobrazenia
2.otázka (správne)
príklad - zostupne
Title: Re: Teoretická informatika
Post by: spdy_ on 28.01.2011, 00:47:11
ako sa vam dnes darilo? aka bola uspesnost ? :)  :angel:
Title: Re: Teoretická informatika
Post by: bludar on 28.01.2011, 02:21:34
Moj postreh zo skúšky:

zatiaľ čo som tam bol prešla asi tak polovica možno aj nadpolovica. Neviem ako to šlo ďalej lebo som šiel odpovedať asi tak v prvej osmici ľudí. Na ústnej sa ma vypytoval na tie Nerodove ekv. mal som zaradiť nejaký jazyk do Chomského hierarchie konkrétne sa ma opýtal na jazyk   a^n b^n   že či sa da ako regularny urobiť či čo, odpoveď má byť že sa nedá samozrejme, lebo to vyplyva z Nerodovych Ekv.a zároveň som mal tie Nerodove Ekv. zle, ale nakoniec sme to dali nejako dokopy, opýtal sa ma aj na Kalužninovu alg. a potom už len čo je max subalgebra. Rozlúčil som sa, ako on povedal, s "vysokým Dé". Hurá!!!!

EDIT: Neroda som pochopil viac po prečítaní  neformálneho popisu http://cs.wikipedia.org/wiki/Myhillova-Nerodova_v%C4%9Bta (http://cs.wikipedia.org/wiki/Myhillova-Nerodova_v%C4%9Bta)
        Alebo aj http://stargate.cnl.tuke.sk/~klimek/skola/vypracovaneOtazkyZI.pdf (http://stargate.cnl.tuke.sk/~klimek/skola/vypracovaneOtazkyZI.pdf) tam je v II.16 dokaz ze jazyk 0^n1^n nie je reg. sa mi zda.
Title: Re: Teoretická informatika
Post by: luqash on 28.01.2011, 03:28:08
Moj postreh: mat priklad za 20 bodov ak je priklad za menej tak sa viac pyta :-)
Title: Re: Teoretická informatika
Post by: thom on 28.01.2011, 04:18:39
Inac neviem ci ste si to niekto vsimli, ale ja som si zapisoval co bolo na akom termine a vsimol som si, ze na kazdom druhom termine boli skoro tie iste otazky.
Takze na 31.1.2011 podla mojich vypoctov vychadza nieco take :)

A)
1.otazka:
Turingovsky vypočítateľné funkcie ( + príklad )
2.otazka:
Algebra logiky a problém funkcionálnej úplnosti. Algebra boolovských funkcií BF a problém funkcionálnej úplnosti BF

B)
1.otazka:
baza, poly mono druhova algebra. Alegebraicke systemy. Logicko funkcne modely.
2.otazka:
Uzaverove operacie. Uzaverove operacie nad jazykom. Elementerne uzaverove operacie nad triedami jazykov

priklad- prevod AD do AJ  + nejaky TS s dvoma zasobnikmi, alebo s dvoma pocitadlami

A taktiez 3.1.2011 by malo byt nieco take ako bolo dnes.
Ale to si vie zistit kazdy pozorny citatel :)
Title: Re: Teoretická informatika
Post by: deCode666 on 28.01.2011, 04:20:44
Moj postreh: mat priklad za 20 bodov ak je priklad za menej tak sa viac pyta :-)

a keď máš príklad na 0? ... resp. nemáš príklad?  :)
Title: Re: Teoretická informatika
Post by: navarro on 28.01.2011, 04:49:29
Moj postreh: mat priklad za 20 bodov ak je priklad za menej tak sa viac pyta :-)

a keď máš príklad na 0? ... resp. nemáš príklad?  :)
Ta sa ti ani neoplati cakat na vyhodnotenie  ;D...resp by si musel mat teoreticke napisane perfektne dobre, lepsie jak v skriptach  bu ;D
Title: Re: Teoretická informatika
Post by: luqash on 28.01.2011, 04:52:21
thom -> Korecko povedal, ze mame odkazat dalsim, ze na dalsi termin budu nove otazky :-) neviem co je na tom pravdy mozno zartoval
deCode -> ked mas nula bodov respektive malo bodov tak sa asi ani nic nepyta a posle ta prec

ale sa mi paci ako kazdy sa pyta a co ked mam tolko a tolko bodov a co ked da taku a taku otazku proste TREBA SA NAUCIT VSETKO to je jedina istota
tiez sa netreba spoliehat ani na ludi, ktori tvrdia, ze sa to ucili par dni a spravili to lebo ti vacsinou zabudnu povedat, ze orafali priklad od kolegu tak isto ako aj teoriu a Hudak im na to nahodou neprisiel respektive maju minimalne IQ 150 a vsetko si odvodili sami(su aj taki)

inak toto bola jednoznacne najtazsia skuska aku som za posledne 4 roky mal takze si to netreba prekladat na piaty rocnik, ale spravit to hned :-)
Title: Re: Teoretická informatika
Post by: Ali N on 28.01.2011, 05:27:18
Mam pocit ze dnes bol ochotnejsi dat znamku nez minule (20.1.), mozno to bolo aj tym ze som mal viac napisane :D ale minule ked som nevedel jednu otazku co mi dal na ustnej tak ma poslal prec (resp. pytal sa dalej, snazil sa ma naviest na spravnu odpoved ale stale sa tocil okolo tej jednej otazky), zatial co teraz sa ma spytal na sekvencne stroje, ked som nevedel tak mi vysvetlil ze co chcel pocut a dal mi dalsiu otazku ... neviem ci to fakt bolo tym ze som mal viac napisane alebo to zalezi od nalady, ale mne je to uz jedno, hlavne ze mam svoje D61 :D
Title: Re: Teoretická informatika
Post by: jardo on 28.01.2011, 18:02:10
ludia nevedli by ste sem hodit co je to transformacii, vela som toho v skriptach nenasiel
DIKY
Title: Re: Teoretická informatika
Post by: Sxx on 28.01.2011, 18:17:13
ak ma niekto zapisane ake otazky boli na terminoch po 17.1 do 27.1 tak dajte. Neviem to tu najst, asi to skapalo s DB
Title: Re: Teoretická informatika
Post by: thom on 28.01.2011, 18:50:24
suhrn otazok zo semestra:
=====================4.1.2011==========================
A)
T1:  Uzaverove operacie. Uzaverove operacie nad jazykom.
       Elementerne uzaverove operacie nad triedami jazykov
T2 Algebra: baza, poly mono druhova algebra. Alegebraicke systemy. Logicko funkcne modely.
P: Zostrojte algoritmus Dijkstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne.

B)
T1 - Automatove zobrazenia - vlastnosti k tomu
T2 - Metaalgebra algoritmov, kriterium funkcionalnej uplnosti v dijkstrovej metaalgebre.
P - Polynom zegalkina z dvoch funkcii.

=====================11.1.2011==========================
Len jedna skupina bola

TI2I.6 : Turingovsky-vypocitatelne funkcie. Definicia a ilustracia na priklade.

TI2II.6 : Algebra logiky a problem funkcionalnej uplnosti.
     Algebra boolovskych funkcii (BF) a problem funkcionalnej uplnosti systemov BF.

Priklad
Previest do algebry Janova z Dijkstru.

=====================13.1.2011==========================
A)
Dijkstrova algebra + napisat konvoluciu evoluciu
Univerzalny turingov stroj + Halting Problem
Priklad bol stroj s dvoma pocitadlami (a na 2n,b na n,c na n)

B)
Nerodove ekvivalencie
Algebra algoritmov
Prepisat asi Bubblesort do Dijkstry

=====================17.1.2011==========================
A)
1.otazka:
Uzaverove operacie. Uzaverove operacie nad jazykom.
Elementerne uzaverove operacie nad triedami jazykov
2.otazka:
baza, poly mono druhova algebra. Alegebraicke systemy. Logicko funkcne modely.
Priklad: Zostrojte algoritmus Dijkstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne.

B)
1 otazka: turing. vypocitatelne funkcie
2 otazka: alegbra logiky a boolova algebra
priklad: previest do Alg. Janova nejaky bordel...

=====================20.1.2011==========================
A)
prva otazka bol PCP a MPCP a druha otazka graf reprezent. a graf-schema (toto som necakal)

priklad bol turingov stroj rozpoznava L x pricom x patri 0,1,2 * ... kazdy mohol napisat riesenie vlastne niekto pouzil zasobniky niekto ne... s este som zabudol ze podmienka bola aby pocet 1 a 0 bol rovnaky 2 bolo jedno kelo budze...

B)
1. Zobrazenia definovane na jazykoch. Uzavretost tried jazykov vzhladom na zobrazenia.
2. Metapravidla konstrukcie schem a strategie spracovania dat: konvolucia, evolucia, metapravidlo transformacie schem.
PR.: Dijkstra - bubblesort zostupne.

=====================24.1.2011==========================
A)
1.otazka:
Turingovsky vypočítateľné funkcie ( + príklad )
2.otazka:
Algebra logiky a problém funkcionálnej úplnosti. Algebra boolovských funkcií BF a problém funkcionálnej úplnosti BF

B)
1.otazka:
baza, poly mono druhova algebra. Alegebraicke systemy. Logicko funkcne modely.
2.otazka:
Uzaverove operacie. Uzaverove operacie nad jazykom. Elementerne uzaverove operacie nad triedami jazykov

priklad- prevod AD do AJ

=====================27.1.2011==========================
1.skupina
- Nerodove ekvivalencie
- Algebra algoritmov
- Turingov stroj s jednou vstupnou paskou a dvomi zasobnikovymi - a^2n b^n c^n

2.skupina
- Uzáverové operácie nad jazykmi - Uzavretosť tried jazykov vzhľadom na zobrazenia
- Metapravidlá konštruovania schém a stratégií spracovania dát - Konvolúcia, Evolúcia, Transformácia
- Prepisat Bubblesort do Dijkstry, zostupne
Title: Re: Teoretická informatika
Post by: Matejus on 28.01.2011, 18:52:13
bol by niekto taký láskavý a napísal tu insert sort algoritmus v Dijkstrovej forme ? Ja som si ho totižto napísal, ale vyšlo mi to dosť zložito s piatimi alternatívami, nezdá sa mi to správne. Ďakujem vopred
Title: Re: Teoretická informatika
Post by: thom on 28.01.2011, 18:55:09
ludia nevedli by ste sem hodit co je to transformacii, vela som toho v skriptach nenasiel
DIKY
V TIMgr7122010 je to na strane 211 - 11.2 Metapravidlo transformácie schém a optimizácia triediaci-ch algoritmov, v podstate cela kapitola popisuje o tranformacii.
Title: Re: Teoretická informatika
Post by: jardo on 28.01.2011, 19:08:22

[/quote]
V TIMgr7122010
[/quote]

a to kde najdem?
Title: Re: Teoretická informatika
Post by: thom on 28.01.2011, 19:10:23

V TIMgr7122010
[/quote]

a to kde najdem?
[/quote]
no na moodli, heslo je jahodka,a vola sa to "Ucebne materialy k TI"
Title: Re: Teoretická informatika
Post by: gabikke on 29.01.2011, 01:18:06
Je tu niekto taky, kto este nema zapisanu znamku v maise z 27. 1. 2011?
Title: Re: Teoretická informatika
Post by: romeo on 29.01.2011, 02:56:01
Je tu niekto taky, kto este nema zapisanu znamku v maise z 27. 1. 2011?

tak ja som nemal asi 4 dni  ;)
Title: Re: Teoretická informatika
Post by: Cheiftan on 29.01.2011, 03:10:27
Je tu niekto taky, kto este nema zapisanu znamku v maise z 27. 1. 2011?

tak ja som nemal asi 4 dni  ;)

oh zavidim vam, ze ake porblemy tu riesite, zaroven aj gratulujem

fuj z toho ucenia my uz je zle,  bu  :mishela  :trestac:
tesim sa na pondelok na ten velky fx
Title: Re: Teoretická informatika
Post by: roman5555 on 29.01.2011, 03:29:57
ma niekto vypracovane otazky ktore boli a aj priklady aby sa to dalo nejak zrozumitelne pochopit ?

P.S: popripade niekto nejaky tahacik ? :D
Title: Re: Teoretická informatika
Post by: roman5555 on 29.01.2011, 23:50:47
prosim nema niekto vsetky typy prikladov tak aby tomu porozumel aj debil ? :D
Title: Re: Teoretická informatika
Post by: jardo on 30.01.2011, 02:55:27
ma niekto este nejake algoritmy triedenia spravene
Title: Re: Teoretická informatika
Post by: slax on 30.01.2011, 05:16:02
nejako nemozem pochopit tomu prikladu k turingovmu stroju na f(x,y) = x + y

a je tam na zaciatku 11B11 cize ako tam pise potom m1 by malo byt tie prve dve jednotky, cize 2 a m2 tie druhe dve jednotky, cize tiez 2

jedine co tam spravi, ze vymaze prvu jednotku a potom tam pise, ze vysledok je pocet jednotiek (cize <qk>) co je vo finalovom stave (1B11) = 3 a to ma byt m1 + m2 ? :D

2 + 2 = 3 mi nejako nesedi :D
neviem tomu pochopit ako je to tam myslene :-/
Title: Re: Teoretická informatika
Post by: thom on 30.01.2011, 05:26:31
nejako nemozem pochopit tomu prikladu k turingovmu stroju na f(x,y) = x + y

a je tam na zaciatku 11B11 cize ako tam pise potom m1 by malo byt tie prve dve jednotky, cize 2 a m2 tie druhe dve jednotky, cize dve

jedine co tam spravi, ze vymaze prvu jednotku a potom tam pise, ze vysledok je pocet jednotiek (cize <qk>) co je vo finalovom stave (1B11) = 3 a to ma byt m1 + m2 ? :D

2 + 2 = 3 mi nejako nesedi :D
neviem tomu pochopit ako je to tam myslene :-/

No ja som inac tiez nad tym dumal, ale ked som si cital o tom v skriptach tak tam sa pise:
                                              uqi sj v
, t.j. že aktuálna bunka obsahuje symbol sj , TS M je v stave qi a že obsah vstupnej pásky naľavo od
aktuálnej bunky je u a obsah vstupnej pásky napravo od aktuálnej bunky je v

Cize ked mas fin. konfiguraciu : B1m1 Bq4 11m2, tak to co je pred stavom q4 - to je to cez co vsetko si musel prejst po tej paske, kym si sa dostal do fin. konfiguracie -  z hladiska konecneho vypoctu pre teba nezaujimave znaky. Zaujima ta iba to co je za tym q4, pretoze v tom stave prave si - cize 11m2. co je spravny vysledok.

Tak som to pochopil ja,opravte  ma niekto ak je to nespravne.

Title: Re: Teoretická informatika
Post by: DeViLvs on 30.01.2011, 06:11:15
nejako nemozem pochopit tomu prikladu k turingovmu stroju na f(x,y) = x + y

a je tam na zaciatku 11B11 cize ako tam pise potom m1 by malo byt tie prve dve jednotky, cize 2 a m2 tie druhe dve jednotky, cize tiez 2

jedine co tam spravi, ze vymaze prvu jednotku a potom tam pise, ze vysledok je pocet jednotiek (cize <qk>) co je vo finalovom stave (1B11) = 3 a to ma byt m1 + m2 ? :D

2 + 2 = 3 mi nejako nesedi :D
neviem tomu pochopit ako je to tam myslene :-/

trochu zle to chapes:
zoberme, ak je na zaciatku 11B11, napisal si "m1 by malo byt tie prve dve jednotky" co je asi hlavny problem. m1 je nejake prirodz. cislo a ma v tomto pripade hodnotu 1. Co sa zapise ako 11 (DVE jednotky). Precitaj si vyssie v skriptach ako sa to koduje. ak m1 je nejake cislo, povedzme 4, tak sa zakoduje piatimi jednotkami.

Z toho vyplyva, ze v tomto pripade, ktory si ty napisal, ma m1 hodnotu 1 a m2 tiez 1. Ked scitas 1+1 = 2. A cislo 2 sa zakoduje 3 jednotkami.

Musis pochopit, ze cislo m sa koduje ako 1 1^m...............(napr. m=5, tak 1 11111.......co je dokopy sest jednotiek)


Problem nastava, ze pri scitani ti vzniknu dve taketo "nadbytocne" jednotky. Preto treba jednu "skrtnut" :)
Title: Re: Teoretická informatika
Post by: slax on 30.01.2011, 06:39:35
nj jasne uz chapem ... vdaka DeViLvs za vysvetlenie ;)

teraz pozeram, ze tam je n+1
Title: Re: Teoretická informatika
Post by: DeViLvs on 30.01.2011, 07:02:56
nj jasne uz chapem ... vdaka DeViLvs za vysvetlenie ;)

teraz pozeram, ze tam je n+1
nz
Title: Re: Teoretická informatika
Post by: gabikke on 30.01.2011, 07:33:25
Je tu niekto taky, kto este nema zapisanu znamku v maise z 27. 1. 2011?

tak ja som nemal asi 4 dni  ;)

oh zavidim vam, ze ake porblemy tu riesite, zaroven aj gratulujem

fuj z toho ucenia my uz je zle,  bu  :mishela  :trestac:
tesim sa na pondelok na ten velky fx
ver si ze to spravis, a ked dostanes otazky, nieco napises, pred ustnou sa to poriadne douc, casu je dost a uvidis ze to zvladnes.
Title: Re: Teoretická informatika
Post by: slax on 30.01.2011, 08:52:18
Code: [Select]
TS s dvoma pocitadlami (a^2n,b^n,c^n)
ako sa vyriesi toto. Existuje take nieco, ze posuniem v jednom kroku dvakrat dolava napr. v jednom zasobniku (ze napr. LL)
alebo ze zapise len kazde druhe a-cko nejako vyriesit

nasiel som vyriesene s dvoma zasobnikmi a aj dvoma pocitadlami ale len pre { a^n,b^n,c^n | n>=1}
nie je niekde vyrieseny tento priklad?
Title: Re: Teoretická informatika
Post by: pinderko on 30.01.2011, 14:50:08
skus nad tym rozmyslat tak,ze pocet a = pocet b+pocet c...takze ked pridu acka a zapises ich tak potom bckami a ceckami ich dokazes vymazat
Title: Re: Teoretická informatika
Post by: slax on 30.01.2011, 15:18:53
no to je pekny napad ... ale myslim, ze vzdy by to nemuselo sediet ... napr. ze Bciek by bolo viac ako n a Ceciek by bolo menej ako n ale sucet by daval aj tak 2n
Title: Re: Teoretická informatika
Post by: Squirrel_sK on 30.01.2011, 15:48:56
takto nejak by to mohlo byt, opravte ma, ak sa mylim

(q0,(©,Z,Z),(©,Z,Z),q1,(R,-,-))
(q1,(a,Z,Z),(a,B,B),q2,(R,R,R))
(q2,(a,B,B),(a,B,B),q1,(R,-,-))
(q1,(a,B,B),(a,B,B),q2,(R,R,R))
(q1,(b,B,B),(b,B,B),q3,(R,L,-))
(q3,(b,B,B),(b,B,B),q3,(R,L,-))
(q3,(c,Z,B),(c,Z,B),q4,(R,-,L))
(q4,(c,Z,B),(c,Z,B),q4,(R,-,L))
(q4,($,Z,Z),($,Z,Z),qF,(-,-,-))
Title: Re: Teoretická informatika
Post by: kilomassa on 30.01.2011, 16:05:09
Code: [Select]
TS s dvoma pocitadlami (a^2n,b^n,c^n)
ako sa vyriesi toto. Existuje take nieco, ze posuniem v jednom kroku dvakrat dolava napr. v jednom zasobniku (ze napr. LL)
alebo ze zapise len kazde druhe a-cko nejako vyriesit

nasiel som vyriesene s dvoma zasobnikmi a aj dvoma pocitadlami ale len pre { a^n,b^n,c^n | n>=1}
nie je niekde vyrieseny tento priklad?

mozno by bolo len dobre povedat ze ak mas na zaciatku a pride acko prepnes sa do stavu pre dve acka cize cakas druhe a ked ti to druhe pride prepnes sa naspet s tym ze ho akoby ignorujes nikam nepises ani nikde neyzapisujes a mozes ocakavat bcko no a to cko je presne na to ako ti pisali na odpametavanie/vymazavnie akoby tych dvoch s tym ze ak vsetko suhlasi dostanes sa vsade(2poc/zas) na zaciatok a zaroven na koniec vstupnej pasky
Title: Re: Teoretická informatika
Post by: thom on 30.01.2011, 16:08:12
takto nejak by to mohlo byt, opravte ma, ak sa mylim

(q0,(©,Z,Z),(©,Z,Z),q1,(R,-,-))
(q1,(a,Z,Z),(a,B,B),q2,(R,R,R))
(q2,(a,B,B),(a,B,B),q1,(R,-,-))
(q1,(a,B,B),(a,B,B),q2,(R,R,R))
(q1,(b,B,B),(a,B,B),q3,(R,L,-))
(q3,(b,B,B),(b,B,B),q3,(R,L,-))
(q3,(c,Z,B),(c,Z,B),q4,(R,-,L))
(q4,(c,Z,B),(c,Z,B),q4,(R,-,L))
(q4,($,Z,Z),($,Z,Z),qF,(-,-,-))

neviem ci nemas chybu v tejto instrukcii (q1,(b,B,B),(a,B,B),q3,(R,L,-)), pride ti na vstupe b a prepisujes ho na a.nerozumiem tomu bk
Title: Re: Teoretická informatika
Post by: Squirrel_sK on 30.01.2011, 17:19:20
takto nejak by to mohlo byt, opravte ma, ak sa mylim

(q0,(©,Z,Z),(©,Z,Z),q1,(R,-,-))
(q1,(a,Z,Z),(a,B,B),q2,(R,R,R))
(q2,(a,B,B),(a,B,B),q1,(R,-,-))
(q1,(a,B,B),(a,B,B),q2,(R,R,R))
(q1,(b,B,B),(a,B,B),q3,(R,L,-))
(q3,(b,B,B),(b,B,B),q3,(R,L,-))
(q3,(c,Z,B),(c,Z,B),q4,(R,-,L))
(q4,(c,Z,B),(c,Z,B),q4,(R,-,L))
(q4,($,Z,Z),($,Z,Z),qF,(-,-,-))

neviem ci nemas chybu v tejto instrukcii (q1,(b,B,B),(a,B,B),q3,(R,L,-)), pride ti na vstupe b a prepisujes ho na a.nerozumiem tomu bk

ano mas pravdu, je to chybne.. opravujem
Title: Re: Teoretická informatika
Post by: slax on 30.01.2011, 17:36:07
nuz ano tak som aj ja rozmyslal, ze by sa to riesilo, ze jedno acko posunie a dalsie ignoruje

inac neviem ci som si dobre vsimol, ale rozdiel medzi 2 zasobnikmi a 2 pocitadlami je, ze pri 2 zasobnickoch zapisujem tie znaky aj do zasobnika a pri 2 pocitadlach len posuvam a nic nezapisujem?

Title: Re: Teoretická informatika
Post by: t0Mi on 30.01.2011, 17:43:52
jop a tym padom ten s pocitadlami je vacsi hlupak, lebo az v
poslednom stave zistis ze nedojdes do qF (lebo nenastane $,Z,Z)..
pri zasobnikovom sa to dojebe uz skorej, ak nie je dany retazec validny..
:)
Title: Re: Teoretická informatika
Post by: DeViLvs on 30.01.2011, 19:39:29
takto nejak by to mohlo byt, opravte ma, ak sa mylim

(q0,(©,Z,Z),(©,Z,Z),q1,(R,-,-))
(q1,(a,Z,Z),(a,B,B),q2,(R,R,R))
(q2,(a,B,B),(a,B,B),q1,(R,-,-))
(q1,(a,B,B),(a,B,B),q2,(R,R,R))
(q1,(b,B,B),(b,B,B),q3,(R,L,-))
(q3,(b,B,B),(b,B,B),q3,(R,L,-))
(q3,(c,Z,B),(c,Z,B),q4,(R,-,L))
(q4,(c,Z,B),(c,Z,B),q4,(R,-,L))
(q4,($,Z,Z),($,Z,Z),qF,(-,-,-))

nesuhlasim.
V 2. instrukcii prepisujes Z v pocitadlach na Bcka (co nemozes jednak lebo to su pocitadla a jednak, ze to nesedi dalej...) A potom mas dalej v instrukciach, ze je v pocitadlach Z. Lenze Z uz si zmazal.

Preto by som prve dve instrukcie dal takto:
(q0,(©,Z,Z),(©,Z,Z),q1,(R,R,R))
(q1,(a,B,B),(a,B,B),q2,(R,R,R))

aj tak si nie som celkom isty, ci to potom bude sediet. Tento priklad uz tu bol rieseny, pricom sa objavili aj chybne riesenia, kedze v niektorom bol tusim ten problem, ako uz bolo spomenute, ze pocet a = pocet b + pocet c. Co samozrejme zdaleka nemusi byt to iste ako a^2n b^n c^n.

Hladajte, malo by to tu byt niekde. Spravny algoritmus pouzival stavy qa a qa2. Kebyze ste nenasli, mam ho aj v zosite, len sa mi nechce prepisovat :D
Title: Re: Teoretická informatika
Post by: thom on 30.01.2011, 19:55:00
asi myslis toto:

q0, (c(preskrtnute),Z,Z), (c(preskrtnute),Z,Z), q0, (R,R,R)

q0, (a,B,B), (a,B,B), qa, (R,-,-)

qa, (a,B,B), (a,B,B), qa2, (R,R,-)

qa2, (b,B,B), (b,B,B), q1, (R,-,R)

qa2, (a,B,B), (a,B,B), qa, (R,-,-)

q1, (b,B,B), (b,B,B), q1, (R,-,R)

q1, (c,B,B), (c,B,B), q2, (-,L,L)

q2, (c,B,B), (c,B,B), q2, (R,L,L)

q2, (s,Z,Z), (s,Z,Z), qF, (-,-,-)
Title: Re: Teoretická informatika
Post by: DeViLvs on 30.01.2011, 20:03:15
asi myslis toto:

q0, (c(preskrtnute),Z,Z), (c(preskrtnute),Z,Z), q0, (R,R,R)

q0, (a,B,B), (a,B,B), qa, (R,-,-)

qa, (a,B,B), (a,B,B), qa2, (R,R,-)

qa2, (b,B,B), (b,B,B), q1, (R,-,R)

qa2, (a,B,B), (a,B,B), qa, (R,-,-)

q1, (b,B,B), (b,B,B), q1, (R,-,R)

q1, (c,B,B), (c,B,B), q2, (-,L,L)

q2, (c,B,B), (c,B,B), q2, (R,L,L)

q2, (s,B,B), (s,B,B), qF, (-,-,-)
hej, len pozeram, ze tu je zas asi chyba v poslednej instrukcii :D ja by som tam nedal Bcka ale Z.
Title: Re: Teoretická informatika
Post by: Sxx on 30.01.2011, 20:04:23
mozte mi vysvetlit co su jednotlive zatvorky a co su jednotlive pozicie 1. 2. 3. v zatvorkach pri dvoch zasobnikoch?
(q0,(D,Z,Z),(D,Z,Z),q0,(R,R,R))
Title: Re: Teoretická informatika
Post by: thom on 30.01.2011, 20:13:03
asi myslis toto:

q0, (c(preskrtnute),Z,Z), (c(preskrtnute),Z,Z), q0, (R,R,R)

q0, (a,B,B), (a,B,B), qa, (R,-,-)

qa, (a,B,B), (a,B,B), qa2, (R,R,-)

qa2, (b,B,B), (b,B,B), q1, (R,-,R)

qa2, (a,B,B), (a,B,B), qa, (R,-,-)

q1, (b,B,B), (b,B,B), q1, (R,-,R)

q1, (c,B,B), (c,B,B), q2, (-,L,L)

q2, (c,B,B), (c,B,B), q2, (R,L,L)

q2, (s,B,B), (s,B,B), qF, (-,-,-)
hej, len pozeram, ze tu je zas asi chyba v poslednej instrukcii :D ja by som tam nedal Bcka ale Z.
no opravil som to na Z, mas pravdu.
len jedno mi nejde do hlavy, tato instrukcia : q0, (a,B,B), (a,B,B), qa, (R,-,-) - pride znak "a" a iba sa posunie, nikam si ho neulozi, ako potom mozu suhlasit tie pocty becok a cecok s poctom acok, jedno acko je neulozene
Title: Re: Teoretická informatika
Post by: DeViLvs on 30.01.2011, 20:15:06
mozte mi vysvetlit co su jednotlive zatvorky a co su jednotlive pozicie 1. 2. 3. v zatvorkach pri dvoch zasobnikoch?
(q0,(D,Z,Z),(D,Z,Z),q0,(R,R,R))
(q0,(D,Z,Z),(D,Z,Z),q0,(R,R,R))
v stave q0: (hlava na vstup. paske ukazuje na D, hlava v zasobniku1/pocitadle1 ukazuje na Z, v  zasobniku2/pocitadle2 ukazuje na Z)
((ne)prepis znak na vstup. paske (kde ukazuje) na D, v zasobniku1/pocitadle1 (ne)prepis na Z, v  zasobniku2/pocitadle2 (ne)prepis na Z)
TS prejde do stavu q0 (cize ostane v rovnakom stave)
a (posun hlavu vstup. pasky do prava (o 1 poziciu samozrejme), posun hlavu na zas1 doprava, posun hlavu na zas2 doprava)
Title: Re: Teoretická informatika
Post by: DeViLvs on 30.01.2011, 20:24:57
no opravil som to na Z, mas pravdu.
len jedno mi nejde do hlavy, tato instrukcia : q0, (a,B,B), (a,B,B), qa, (R,-,-) - pride znak "a" a iba sa posunie, nikam si ho neulozi, ako potom mozu suhlasit tie pocty becok a cecok s poctom acok, jedno acko je neulozene
no ide o to, ze pocet aciek musi byt 2x tolko ako pocet b. a takisto 2x tolko ako pocet c. Cize pocet a = 2x pocet b = 2x pocet b.

Priklad, ked pocet a = pocet b = pocet c (a^n b^n c^n) je lahky, kedze najprv sa posuvas doprava v pocitadle1 (ten zodpoveda poctu aciek), potom sa posuvas doprava v pocitadle2 (co zodpoveda poctu b) a potom ked ti budu prichadzat ccka, tak posuvas sa v pocitadle1 a pocitadle2 naspat dolava. Ak je vstupny retazec validny, tak ti hlavy v pocitadlach budu ukazovat opat na zaciatok, kde si zacal.

Problem je, ze ked pocet aciek je 2x tolko ako bciek. Vtedy sa zvykne postupovat akoby takto: iba kazde druhe a zapocitaj (=posun hlavu v pocitadle1).
AaAaAa bbb ccc

Cize iba pri "malom" a posunie hlavu. Cize ak acok je pocet n, tak hlavu posunie iba n/2 krat, Tak aby ten pocet n/2 sedel k bckam a cckam.

Este spomeniem, ze iba pri stave ked mas parny pocet a moze prist b. Cize iba po malom a moze prist b.
Title: Re: Teoretická informatika
Post by: thom on 30.01.2011, 20:36:34
ok super,takto som nad tym neuvazoval ;)
este jedno mi nie je jasne, tato instrukcia:
q1, (c,B,B), (c,B,B), q2, (-,L,L) - precita prve c, neposunie sa a vymazuje, ked potom nasleduje instrukcia:
q2, (c,B,B), (c,B,B), q2, (R,L,L), nie je to tak, ze hlava sa neposunula, cize znova zacina na tom istom znaku?? a dvakrat pracuje s tym istym znakom??
nemalo by byt : q1, (c,B,B), (c,B,B), q2, (R,L,L) ?
Title: Re: Teoretická informatika
Post by: Faust on 30.01.2011, 20:41:00
ludia kde najdem algoritmus Dijkstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne?  ..to je ten bubble sort ci to je nieco ine? vdaka
Title: Re: Teoretická informatika
Post by: t0Mi on 30.01.2011, 20:49:28
keby bolo q1, (c,B,B), (c,B,B), q2, (R,L,L) tak v case ked odpocitas pocitadla na Z,Z,
tak hlava by bola uz dalej ako je dolar a nýb rž (dolar,Z,Z) nenastane..
nebud lenivy, pouzit pero a papier a kresli si gulicky namiesto hlavy..

tie algoritmy nenajdes, treba pochopit ako sa to robi.. aj tak by
si si to nezapamatal.. tu mas princip, ked vies ako funguje UM,
d(a,b), UST(a,b) a boolovske funkcie, vies spravit algoritmus..

http://www.maths.abdn.ac.uk/~igc/tch/mx4002/notes/node30.html (http://www.maths.abdn.ac.uk/~igc/tch/mx4002/notes/node30.html)
(bacha korecko chce ZOSTUPNE, takze musis Y1 posuvat od konca)
ostatne 2 algoritmy, pre insertion a shell sort, su na youtube..

:)
Title: Re: Teoretická informatika
Post by: DeViLvs on 30.01.2011, 20:50:40
...
jj je to tak, ze pracuje 2x s tym istym cckom. Ale to IBA s prvym cckom.
A to preto, lebo treba si predstavit uplne jednoduchy priklad, napriklad ze x=a^n b^n. a nech n=1, cize x=ab

Sleduj len pocitadlo1. (oznacme ho Z,B1,B2.....)

V 1.instrukcii pride (Cpreskrtnute), co pre nas vstupny retazec este "nic neznamena". Ale hlavu v poc1 uz posunie na B1.
Az teraz pride a a posunie hlavu v poc1 na B2. Cize acok mame len jedno, ale hlava uz ukazuje na druhe B (B2).
A teraz keby prislo to jedno ccko, tak by sme sa posunuli len o 1 poziciu dolava, cize na B1. Lenze my chceme, aby hlava uz ukazovala na Z.

Preto treba najprv poriesit to, ze po vsetkych ackach hlava ukazuje o 1 viac doprava. Preto ju treba posunut raz dolava.

napr:
C    a    a     a
Z    B1  B2   B3  B4  B5  ....
                       |

Cize ked pridu 3 accka, tak hlava ukazuje uz na stvrte Bcko. teda ju treba posunut naspat:

C    a    a     a
Z    B1  B2   B3  B4  B5  ....
                  |

A teraz nam uz mozu chodit ccka :D
Title: Re: Teoretická informatika
Post by: thom on 30.01.2011, 21:05:10
No teraz uz tomu rozumiem. :bannana_guitar:
Este jednu otazku mam.Na cvikach sme riesili priklad "a^n b^n c^n"  a k tej instrukcii q1, (c,B,B), (c,B,B), q2, (-,L,L)
mam zapisane pre TS s dvoma zasobnikmi q1, (c,B,B), (c,B,B), q2, (R,L,L)
                  a pre TS s dvoma pocitadlami q1, (c,B,B), (c,B,B), q2, (-,L,L)
Je to chyba, alebo to tak ma byt??Pretoze ak tomu spravne rozumiem tak obidva typy sa rovnako pohybuju po paske, cize obidva budu o jeden znak "napred" a spravne pre TS s dvoma zasobnikmi by malo byt : q1, (c,B,B), (c,B,B), q2, (-,L,L) ??
Title: Re: Teoretická informatika
Post by: DeViLvs on 30.01.2011, 21:13:19
No teraz uz tomu rozumiem. :bannana_guitar:
Este jednu otazku mam.Na cvikach sme riesili priklad "a^n b^n c^n"  a k tej instrukcii q1, (c,B,B), (c,B,B), q2, (-,L,L)
mam zapisane pre TS s dvoma zasobnikmi q1, (c,B,B), (c,B,B), q2, (R,L,L)
                  a pre TS s dvoma pocitadlami q1, (c,B,B), (c,B,B), q2, (-,L,L)
Je to chyba, alebo to tak ma byt??Pretoze ak tomu spravne rozumiem tak obidva typy sa rovnako pohybuju po paske, cize obidva budu o jeden znak "napred" a spravne pre TS s dvoma zasobnikmi by malo byt : q1, (c,B,B), (c,B,B), q2, (-,L,L) ??
zalezi od dalsich instrukcii. Tych rieseni je kopa. Vsetko co som pisal, to je len jedna z moznosti. Neviem ako ste to pocitali na cvikach, ale ja mam k 2 zasobnikom tiez napisane (-,L,L). Napis si na papier jednoduchy priklad a uvidis.
Title: Re: Teoretická informatika
Post by: Sxx on 30.01.2011, 22:16:34
ja som to pochopil len teraz lebo som nevedel co su zatvorky ale je to jednoduche a ked som si to kreslil na papier ako sa pohybuje hlava a zasobniky tak mi vychadza ze tam ma byt RLL

EDIT: (-,L,L) predsa len :))))
Title: Re: Teoretická informatika
Post by: Matejus on 30.01.2011, 22:42:59
ludia kde najdem algoritmus Dijkstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne?  ..to je ten bubble sort ci to je nieco ine? vdaka
to by mal byť podľa mojich informácii SELECTION SORT
Title: Re: Teoretická informatika
Post by: Sxx on 31.01.2011, 16:46:25
31.1.

1. Podobnost konecnostavovych automatov
2. Algoritmy graf. reprezentacia alg. graf. schemy algoritmov

Priklad : TS L={an bn cn | n>=1}
Title: Re: Teoretická informatika
Post by: deCode666 on 31.01.2011, 17:25:25
dneska bol teda dobrý LOL na skúške :)
Title: Re: Teoretická informatika
Post by: Matejus on 31.01.2011, 17:30:37
31.1 druhá skupina

1. Bezkontextové gramatiky: Greibachov tvar a kanonický tvar
2. Metaalgebra algoritmiky a dajaké subalgebry: dačo dačo
P: AD do AJ (boli tam dva vnorené cykly s kopou kompozícii a nakoniec jedna alternatíva)

Ja už som väčšiu smolu mať ani nemohol dnes. Najprv si presadnem a vďaka tomu som vychytal tu horšiu skupinu. Potom zistím že príklad, ktorý som napísal mi Ľaľová opravila na fullko a nakoniec som mal pripravené ťaháky na všetko možné, len nie na tieto moje dve otázky. O tých som nemal ani šajnu.
Super ze teraz mám vo štvrtok o 8:00 opravnú z TI a o 9:00 z Unixu. To len bude psycho.
Title: Re: Teoretická informatika
Post by: hijovec on 31.01.2011, 17:45:17
parada panove... :) som rad ze uz "len unix" mi ostal... trimem vam vsetkym prsty aby ste to nejak ustali :) a utecha ale na hovno ze vela by som ani na nevedel pisat k tym otazkam :( dost salenota  :ropebanana: :ropebanana:
Title: Re: Teoretická informatika
Post by: bubo on 31.01.2011, 20:36:24
E-51 :ropebanana: chvala Bohu dnes fakt chcel davat kazdemu znamku ak ste aspon daco k veci mali napisane.
Title: Re: Teoretická informatika
Post by: Macro on 31.01.2011, 21:56:25
to uz je co za skusku!
vyhodil ma len tak z nalady :(

a btw vidi niekto otazku Podobnost konecnostavovych automatov v sylaboch? lebo ja nie. hlavne ze hovoria ze davaju iba z toho
a ani v slidoch na moodly
Title: Re: Teoretická informatika
Post by: bubo on 31.01.2011, 22:45:25
Zial je to tam.. ja som k tomu tiez skoro nic nemal k veci, ale je to v tych 230s skriptach na strane 49.

Ale fakt tie otazky zo zadku tahali..
Title: Re: Teoretická informatika
Post by: t0Mi on 31.01.2011, 22:47:36
...
...
minimum element sort nerobi swap, selection je nieco ine..
please editni si prispevok, lepsie povedane vymaz ho, nech
to ostatnych nemyli, mas to cele zle pochopene..
Title: Re: Teoretická informatika
Post by: scream on 31.01.2011, 22:48:48
to uz je co za skusku!
vyhodil ma len tak z nalady :(

a btw vidi niekto otazku Podobnost konecnostavovych automatov v sylaboch? lebo ja nie. hlavne ze hovoria ze davaju iba z toho
a ani v slidoch na moodly

to iste u mna... priklad + zapich 40 bodov... a 50 bodov z teorie len tak puuuuf bez jedinej otazky....  k podobnosti som mal asi kus hluposti ale k schemam som to mal celkom dobre podla toho co citam zo skript.
Title: Re: Teoretická informatika
Post by: domino3d on 31.01.2011, 22:56:20
to uz je co za skusku!
vyhodil ma len tak z nalady :(

a btw vidi niekto otazku Podobnost konecnostavovych automatov v sylaboch? lebo ja nie. hlavne ze hovoria ze davaju iba z toho
a ani v slidoch na moodly
dpc a to uz bol najedeny a nemal naladu?
Title: Re: Teoretická informatika
Post by: hijovec on 31.01.2011, 23:18:30
to uz je co za skusku!
vyhodil ma len tak z nalady :(

a btw vidi niekto otazku Podobnost konecnostavovych automatov v sylaboch? lebo ja nie. hlavne ze hovoria ze davaju iba z toho
a ani v slidoch na moodly

to iste u mna... priklad + zapich 40 bodov... a 50 bodov z teorie len tak puuuuf bez jedinej otazky....  k podobnosti som mal asi kus hluposti ale k schemam som to mal celkom dobre podla toho co citam zo skript.

vacsinou to je tak ze ked napises hluposti tak ta vyjebe jedna radost :) to iste aj mna na prvom termine.. len mi povedal toto zle toto zle uvidime sa nabuduce  :ropebanana:
Title: Re: Teoretická informatika
Post by: scream on 31.01.2011, 23:19:40
hej, presne tak dajako to bolo... ze toto mate zle musite prist nabuduce
Title: Re: Teoretická informatika
Post by: slax on 31.01.2011, 23:26:29
E-51 :ropebanana: chvala Bohu dnes fakt chcel davat kazdemu znamku ak ste aspon daco k veci mali napisane.

toto si skadial zase dostal????

praveze dnes naopak to bola riadna brutalita ... kazdy kto mal znamku a nebolo ich az tak vela, tak mal max E51 .... aj ked body na ovela viac vychadzalo

dnes nejako asi nemal naladu ... ked mu clovek povedal iba nejaky nezmysel, tak ho vyhodil

ale tak ja mam E51 spokojnost :)
Title: Re: Teoretická informatika
Post by: Kuko on 31.01.2011, 23:44:57
E-51 :ropebanana: chvala Bohu dnes fakt chcel davat kazdemu znamku ak ste aspon daco k veci mali napisane.

toto si skadial zase dostal????

praveze dnes naopak to bola riadna brutalita ... kazdy kto mal znamku a nebolo ich az tak vela, tak mal max E51 .... aj ked body na ovela viac vychadzalo

dnes nejako asi nemal naladu ... ked mu clovek povedal iba nejaky nezmysel, tak ho vyhodil

ale tak ja mam E51 spokojnost :)

ostali sme tam 5 ti co mali tu skupinu co kazdy hned odisiel co priklad bol prevod do Janova a dal nam poslednym trom D D C cize nepadali nedaval len E51 , ale to uz asi bol rad ze sme uz posledni.
Title: Re: Teoretická informatika
Post by: bubo on 01.02.2011, 00:52:22
E-51 :ropebanana: chvala Bohu dnes fakt chcel davat kazdemu znamku ak ste aspon daco k veci mali napisane.

toto si skadial zase dostal????

praveze dnes naopak to bola riadna brutalita ... kazdy kto mal znamku a nebolo ich az tak vela, tak mal max E51 .... aj ked body na ovela viac vychadzalo

dnes nejako asi nemal naladu ... ked mu clovek povedal iba nejaky nezmysel, tak ho vyhodil

ale tak ja mam E51 spokojnost :)

Ta bol omnoho milosrdnejsi nez inokedy.. par krat ked som si nebol isty odpovedou, alebo dokonca ju nevedel, tak som len tak cakal ze kedy otoci na hlavny list dvojharku mojej skusky a napise pekne pomaly Fx, ale nie.. opytal sa dalsiu otazku. a potom dalsiu. proste dnes aj daval sancu, inak by sme tam vsetci boli max 2 minuty a podostavali Fx, a nie 25 minut ako ten prvy :D.
Title: Re: Teoretická informatika
Post by: slax on 01.02.2011, 10:39:37
nuz to je tvoj nazor .... mozno si mal stastie aj ... poznam vela ludi co vyebal len sa tak zaprasilo ... a mali aj popisane ... ale nazvat to, ze daval kazdemu skusku si myslim ze nie je urcite pravdive
Title: Re: Teoretická informatika
Post by: scream on 01.02.2011, 16:33:26
vyjebaval jedna radost bez otazky... pytal sa podla mna len tych ktori mali k teorii dost vela a k veci a beztak im dal E51
Title: Re: Teoretická informatika
Post by: roman5555 on 01.02.2011, 20:14:53
je prosim vas niekde aj postup ku prikladom ako dostaneme jednotlive veci ?? dakujem
Title: Re: Teoretická informatika
Post by: kilomassa on 01.02.2011, 22:26:26
okrem skript na moodli si to hladaj na nete abo napis tu comu nechapes
Title: Re: Teoretická informatika
Post by: sikik on 02.02.2011, 03:09:37
nuz to je tvoj nazor .... mozno si mal stastie aj ... poznam vela ludi co vyebal len sa tak zaprasilo ... a mali aj popisane ... ale nazvat to, ze daval kazdemu skusku si myslim ze nie je urcite pravdive
kazdemu skusku urcite nedal, ale na jeho pomery az prilis vela ludi spravilo. Pretoze E51 bolo viac jak FX. Tak ci onak. Vzdy je to o stasti, lebo niekedy pri nom jedna otazka znamena skusku alebo letecky kurz. V mojom pripade C77 :bannana_guitar: :ropebanana: :bannana_guitar:
Title: Re: Teoretická informatika
Post by: deCode666 on 02.02.2011, 04:04:06
Mohol by tu niekto dať nejaký vyriešený príklad na prevody medzi AD a AJ? Ale nie BUBBLE a ani nič podobné. Taký nejaký aký bol včera na skúške.
Title: Re: Teoretická informatika
Post by: Matejus on 02.02.2011, 15:01:09
Mohol by tu niekto dať nejaký vyriešený príklad na prevody medzi AD a AJ? Ale nie BUBBLE a ani nič podobné. Taký nejaký aký bol včera na skúške.
na riť ti to je, prevod z AD do AJ už nebude, bol naposledy. Takisto ani TS. Bude BUBBLE, MINIMALNY PRVOK alebo ZEGELKIN. Alebo ak ho napadne este nieco zákerné, tak dá niečo multitutišalené.
Title: Re: Teoretická informatika
Post by: LNC on 02.02.2011, 15:44:25
ak toto citate p. Korecko, prosim dajte toho Zegalkina. zatial bol len raz, co tak ho dat opat? :)
Title: Re: Teoretická informatika
Post by: Cheiftan on 02.02.2011, 15:50:59
...
...
minimum element sort nerobi swap, selection je nieco ine..
please editni si prispevok, lepsie povedane vymaz ho, nech
to ostatnych nemyli, mas to cele zle pochopene..

ja neviem co som zle pochopil, ale podla tych linkov je selection sort a minimum element sort to iste
http://www.maths.abdn.ac.uk/~igc/tch/mx4002/notes/node30.html - "go through the list and find the smallest element. Swap it with the first element of the list. Now find the smallest element of the rest of the list and swap it with the second element of the list. And so on."

http://en.wikipedia.org/wiki/Selection_sort - "Find the minimum value in the list. Swap it with the value in the first position. Repeat the steps above for the remainder of the list (starting at the second position and advancing each time)"

Edit: v oboch pripadoch ziskas neklesajucu postupnost
Title: Re: Teoretická informatika
Post by: Faust on 02.02.2011, 15:53:16
btw a ked bude bubble sort, to staci napisat ten jeden riadok v AD že: {[UM(M(1))] {[d(Y1),k)]..........}*UST(Y(1),H) ?
Title: Re: Teoretická informatika
Post by: t0Mi on 02.02.2011, 16:02:50
pozri ked si to dokazes obhajit, myslim ze korecko ti to uzna..
ide o to ci vies spravit algoritmus, nie ako ten algorimus funguje..
pocas skusky sa mozes kludne pytat, na zaklade toho ho navrhnes..
Title: Re: Teoretická informatika
Post by: drtic on 02.02.2011, 16:03:45
btw a ked bude bubble sort, to staci napisat ten jeden riadok v AD že: {[UM(M(1))] {[d(Y1),k)]..........}*UST(Y(1),H) ?
nestaci, treba vsetky predikaty a funkcie vymenovat a popisat
Title: Re: Teoretická informatika
Post by: t0Mi on 02.02.2011, 16:04:52
btw a ked bude bubble sort, to staci napisat ten jeden riadok v AD že: {[UM(M(1))] {[d(Y1),k)]..........}*UST(Y(1),H) ?
ku vsetkym algoritmom sa patri nakreslit aj diagram. ja osobne neviem ako by
som bez diagramu robil AD, nemam taku predstavivost aby som sa nepomylil..
no a samozrejme ten popis.. ale ved to su 4 ci 5 zakladnych funkcii, ostatne
si mozete sami definovat..
Title: Re: Teoretická informatika
Post by: piton on 02.02.2011, 16:14:11
Ale na skuskediagram byt nemusi...
Title: Re: Teoretická informatika
Post by: jardo on 02.02.2011, 16:38:19
k turingovsky vypovitatelnym funkciam, treba aj priklad?
Title: Re: Teoretická informatika
Post by: Trent on 02.02.2011, 17:01:50
k turingovsky vypovitatelnym funkciam, treba aj priklad?

Áno treba. Nepýta sa, ale naň pri obhajobe.
Title: Re: Teoretická informatika
Post by: t0Mi on 02.02.2011, 17:15:17
Ale na skuskediagram byt nemusi...
mi vysvetli ako spravis AD ked si nenakreslis diagram ?
Title: Re: Teoretická informatika
Post by: piton on 02.02.2011, 17:24:23
no sak ked tak dobre poznam ten algoritmus, ani nepotrebujem diagram nie? da sa to napisat z hlavy...
Title: Re: Teoretická informatika
Post by: roman5555 on 02.02.2011, 17:39:09
Ako tvorim pri Zegalkinovi tu UDNF a UBNF ??
Title: Re: Teoretická informatika
Post by: bubo on 02.02.2011, 17:55:02
Myslim ze na plny pocet bodov treba mat napisany pseudokod, potom opisat jednotlive operacie ze co robia, ako TRANSP a P atd, a potom samotny prepis do Dijkstra.. diagramy tam ani velmi nebolo treba.

Ja som mal BUBBLESORT napisat, a napisal som tam toto vsetko, a dostal som 18/20 bodov, z toho 2 mi strhol preto lebo som tie podmienky v cykloch a alternativach mal napisane len ako [k<=n] namiesto [DIST(Y1...)] ci ako sa to pise.
Title: Re: Teoretická informatika
Post by: deCode666 on 02.02.2011, 17:57:45
Mohol by tu niekto dať nejaký vyriešený príklad na prevody medzi AD a AJ? Ale nie BUBBLE a ani nič podobné. Taký nejaký aký bol včera na skúške.
na riť ti to je, prevod z AD do AJ už nebude, bol naposledy. Takisto ani TS. Bude BUBBLE, MINIMALNY PRVOK alebo ZEGELKIN. Alebo ak ho napadne este nieco zákerné, tak dá niečo multitutišalené.

To je síce krásne, bratm, ale aj tak by mi taký nejaký vyriešený príklad bodol ... :)
Title: Re: Teoretická informatika
Post by: t0Mi on 02.02.2011, 18:11:11
no sak ked tak dobre poznam ten algoritmus, ani nepotrebujem diagram nie? da sa to napisat z hlavy...
a ked to bude korecko opravovat tak on tiez bude dobre poznat tvoj algoritmus ?
Title: Re: Teoretická informatika
Post by: Faust on 02.02.2011, 18:21:52
Ako tvorim pri Zegalkinovi tu UDNF a UBNF ??

TI-priklady.pdf str. 10 ..je to celkom easy akurat nechapem krok ked prechadzam z UDNF na UBNF ..vyzera to tak ze len staci zakruzkovat tie pluska a je z toho UBNF, opravte ma ak sa mylim
Title: Re: Teoretická informatika
Post by: piton on 02.02.2011, 18:26:19
no sak ked tak dobre poznam ten algoritmus, ani nepotrebujem diagram nie? da sa to napisat z hlavy...
a ked to bude korecko opravovat tak on tiez bude dobre poznat tvoj algoritmus ?
sak bubble je bubble... a ked mu popises predikaty a operacie, tak je jedno, ci mas obrazok, alebo len vyjadrene v AD/AJ... to, ze vyvojak netreba, su koreckove slova...
Title: Re: Teoretická informatika
Post by: roman5555 on 02.02.2011, 18:26:59
Ako tvorim pri Zegalkinovi tu UDNF a UBNF ??

TI-priklady.pdf str. 10 ..je to celkom easy akurat nechapem krok ked prechadzam z UDNF na UBNF ..vyzera to tak ze len staci zakruzkovat tie pluska a je z toho UBNF, opravte ma ak sa mylim


ano odtial sa to ucim ale mne akosi nie je jasne ani to ako dostanem tu UDNF. tu tabulku to je v pohode ale potom ? ako na UDNF ?
Title: Re: Teoretická informatika
Post by: Faust on 02.02.2011, 18:34:28
Ako tvorim pri Zegalkinovi tu UDNF a UBNF ??

TI-priklady.pdf str. 10 ..je to celkom easy akurat nechapem krok ked prechadzam z UDNF na UBNF ..vyzera to tak ze len staci zakruzkovat tie pluska a je z toho UBNF, opravte ma ak sa mylim

ano odtial sa to ucim ale mne akosi nie je jasne ani to ako dostanem tu UDNF. tu tabulku to je v pohode ale potom ? ako na UDNF ?

no ked mas tabulku zrobenu tak dolezity je pre teba posledny stlpec f v ktorom si zakruzkujes len 1-ničky,
ako v priklade 33.:je zakruzkovana jednicka na 5. riadku ..teraz pozeras na premenne x,y,z - je tam 0 1 1
takze napises UDNF = x'yz + ... atd
Title: Re: Teoretická informatika
Post by: roman5555 on 02.02.2011, 18:42:26
Ako tvorim pri Zegalkinovi tu UDNF a UBNF ??

TI-priklady.pdf str. 10 ..je to celkom easy akurat nechapem krok ked prechadzam z UDNF na UBNF ..vyzera to tak ze len staci zakruzkovat tie pluska a je z toho UBNF, opravte ma ak sa mylim

ano odtial sa to ucim ale mne akosi nie je jasne ani to ako dostanem tu UDNF. tu tabulku to je v pohode ale potom ? ako na UDNF ?

no ked mas tabulku zrobenu tak dolezity je pre teba posledny stlpec f v ktorom si zakruzkujes len 1-ničky,
ako v priklade 33.:je zakruzkovana jednicka na 5. riadku ..teraz pozeras na premenne x,y,z - je tam 0 1 1
takze napises UDNF = x'yz + ... atd

super :D dakujem ti takze Zegalkina by som mal vediet :D :D
Title: Re: Teoretická informatika
Post by: deCode666 on 02.02.2011, 19:26:06
Ako tvorim pri Zegalkinovi tu UDNF a UBNF ??

TI-priklady.pdf str. 10 ..je to celkom easy akurat nechapem krok ked prechadzam z UDNF na UBNF ..vyzera to tak ze len staci zakruzkovat tie pluska a je z toho UBNF, opravte ma ak sa mylim

ano odtial sa to ucim ale mne akosi nie je jasne ani to ako dostanem tu UDNF. tu tabulku to je v pohode ale potom ? ako na UDNF ?

no ked mas tabulku zrobenu tak dolezity je pre teba posledny stlpec f v ktorom si zakruzkujes len 1-ničky,
ako v priklade 33.:je zakruzkovana jednicka na 5. riadku ..teraz pozeras na premenne x,y,z - je tam 0 1 1
takze napises UDNF = x'yz + ... atd

super :D dakujem ti takze Zegalkina by som mal vediet :D :D

... a keď napíšeš UDNF, tak potom "+" zmeníš na XOR (zakrúžkované "+") ... potom všade, kde je negácia to pomeníš takto: napr: x'yz XOR xy XOR x'z = (x XOR 1)yz XOR xy XOR (x XOR 1)z ... potom vynásobíš zátvorky a keď budeš mať dva rovnaké členy, tak ich škrtneš: napr: xyz XOR xz XOR xyz = xz preto, lebo tam máš 2-krát "xyz" ... ak by tam bolo trikrát, tak výsledok bude: xyz XOR xz ... dúfam, že pomohlo ... a ak trepem somariny, tak ma opravte :)
Title: Re: Teoretická informatika
Post by: Faust on 02.02.2011, 23:09:50
1.mohol by tu niekto napisat algoritmus Dijkstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne?

2. vytvorit Zasobnikovy automat pre dany jazyk, a na zaklade toho vediet urcit do ktorej skupiny jazykov Chomskeho hierarchie jazyk patri ...co je to Chomskeho hierarchia? ..a ako urcim tie skupiny?

3. co robi funkcia UST(Y(1),H)? vdaka :)
Title: Re: Teoretická informatika
Post by: marian on 03.02.2011, 00:22:35
1.mohol by tu niekto napisat algoritmus Dijkstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne?

2. vytvorit Zasobnikovy automat pre dany jazyk, a na zaklade toho vediet urcit do ktorej skupiny jazykov Chomskeho hierarchie jazyk patri ...co je to Chomskeho hierarchia? ..a ako urcim tie skupiny?

3. co robi funkcia UST(Y(1),H)? vdaka :)
1. tiež by som chcel
2. skripta str. 33
3. vráti ukazovateľ aktuálnej pozície za H = na začiatok postupnosti, skripta str. 163
Title: Re: Teoretická informatika
Post by: domino3d on 03.02.2011, 00:32:05
zajtra drzim vsetkym palce
Title: Re: Teoretická informatika
Post by: Dulus on 03.02.2011, 00:40:27
Niekto kto v tom ma jasno, na poslednom termine vravela Lalova nieco v zmysle ze uz nebudu rovnake otazky ako boli, tzna ze tie co uz boli sa uz vlastne nemusime ucit alebo ako ? tym padom by som poprosil niekoho ci nema zoznam uz otazok ktore boli , aby sa teda dalo vyjst ze ktore teda budu tie nove.
Title: Re: Teoretická informatika
Post by: Faust on 03.02.2011, 00:52:16
suhrn otazok 2011 v prilohe
Title: Re: Teoretická informatika
Post by: scream on 03.02.2011, 01:33:05
No ja som to skor pochopil tak ze ak vypise este dalsi termin...okrem zajtrajsieho tak tam nemame cakat nic co uz bolo.
Title: Re: Teoretická informatika
Post by: LNC on 03.02.2011, 01:53:35
kto dnes nespi ruky horeeeeeeeeee!!!!!!

to kolko nas zajtra bude? hmmm?

neviete kedy ma byt ten "dalsi" vypisany termin??? dakedy v pondelok ci jak?
Title: Re: Teoretická informatika
Post by: scream on 03.02.2011, 01:57:03
dalsi nieje iste ci vypise... a zajtra bude tak 60 ludi... a ja som tak znechuteny tym predmetom ze sa prave aspon vyspim ked uz nic ine...
Title: Re: Teoretická informatika
Post by: thom on 03.02.2011, 02:02:53
1.mohol by tu niekto napisat algoritmus Dijkstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne?

2. vytvorit Zasobnikovy automat pre dany jazyk, a na zaklade toho vediet urcit do ktorej skupiny jazykov Chomskeho hierarchie jazyk patri ...co je to Chomskeho hierarchia? ..a ako urcim tie skupiny?

3. co robi funkcia UST(Y(1),H)? vdaka :)
Och, az ta lutujem, ze teraz sa pytas na take veci. ked sa pytas na priklad s pouzitim minimalneho prvku, ved sa to tu rozobera cele skuskove, minimalne 10 verzii tohto prikladu tu uz bolo ukazanych.
A ked sa uz pytas na to,ze co je to Chomskeho hierachia tak to uz je fakt gol, k tomu by som sa radsej ani nepriznaval.Co si robil cely semester?je to hanba pytat sa pred poslednym terminom z TI taku banalitu.
Title: Re: Teoretická informatika
Post by: scream on 03.02.2011, 02:10:46
no pre niekoho je posledny termin prvy a pre niekoho tak piaty v poradi ze? :whacko:
Title: Re: Teoretická informatika
Post by: thom on 03.02.2011, 02:36:15
no pre niekoho je posledny termin prvy a pre niekoho tak piaty v poradi ze? :whacko:
ok prvy, piaty na to nezalezi. Ale na konci skuskoveho sa opytat cosi take?
Title: Re: Teoretická informatika
Post by: roman5555 on 03.02.2011, 02:42:51
Skuska je tam kde stale ? a o kolkej ? lebo na MAISe prebieha udrzba :D
Title: Re: Teoretická informatika
Post by: Sxx on 03.02.2011, 02:44:08
hehe pred par minutami som sa logol :)))
8:00 L9-A_529
Title: Re: Teoretická informatika
Post by: markus on 03.02.2011, 03:11:57
Drzim zajtra vsetkym prsty :) nech to mate z krku
Title: Re: Teoretická informatika
Post by: scream on 03.02.2011, 03:14:47
no pre niekoho je posledny termin prvy a pre niekoho tak piaty v poradi ze? :whacko:
ok prvy, piaty na to nezalezi. Ale na konci skuskoveho sa opytat cosi take?

id moralizovat dakde do kockarne.... neviem co je na tom divne...
Title: Re: Teoretická informatika
Post by: DeViLvs on 03.02.2011, 03:34:05
Och, az ta lutujem, ze teraz sa pytas na take veci. ked sa pytas na priklad s pouzitim minimalneho prvku, ved sa to tu rozobera cele skuskove, minimalne 10 verzii tohto prikladu tu uz bolo ukazanych.
A ked sa uz pytas na to,ze co je to Chomskeho hierachia tak to uz je fakt gol, k tomu by som sa radsej ani nepriznaval.Co si robil cely semester?je to hanba pytat sa pred poslednym terminom z TI taku banalitu.
Vela ludi pozna to rozdelenie, ale nevie, ze sa to vola Chomskeho hierarchia. A tych prikladov na triedenie tu nebolo zas tolko. Clovek by chcel vidiet cely priklad vyrieseny so vsetkym, aby si overil, ci to chape spravne.... A to tu nenajdes.
Title: Re: Teoretická informatika
Post by: Dulus on 03.02.2011, 03:52:03
Mozete tu teda postnut spravne vyriesene tie triedenia ? Pretoze v tom zmatku sa neviem ja orientovat. vdaka

EDIT: Pripadne nejaky iny priklad na AD->AJ ako je ten BUBBLE sort
Title: Re: Teoretická informatika
Post by: scream on 03.02.2011, 20:49:05
tam jeeeee... a este som sa aj vyspal :) ...ale zadarmo to zas nebolo ;)
Title: Re: Teoretická informatika
Post by: DeViLvs on 03.02.2011, 20:53:10
otazky?
Title: Re: Teoretická informatika
Post by: neo68 on 03.02.2011, 20:58:08
skuska 3.2.2011 ja som mal tuto skupinu (presne znenia zadani si nepametam)

1. Bezkontextove gramatiky, Chomskeho kanonicky tvar
2. Algebra algoritmov, mono,poly-druhové alg. systémy, logicko-funkcionalne modely
3. Priklad: Prevod z AD do AJ

Title: Re: Teoretická informatika
Post by: scream on 03.02.2011, 22:39:29
SKUSKA 3.2

KSA, deterministicky a nedeterministicky
Algebra Logiky, problem funkcionalnej uplnosti

TS s dvoma pocitadlami x na n, b, c na n


ale dnes boli 3 skupiny... viem, ze v tretej bol priklad na zegalkina.
Title: Re: Teoretická informatika
Post by: domino3d on 03.02.2011, 22:54:42
.
bilancia?
.
 :baaa: ???
Title: Re: Teoretická informatika
Post by: bubo on 03.02.2011, 23:32:55
Celkom dobre otazky boli.. teda okrem tych prvych :D ale tie algebry su celkom lahke, a aj priklady vyzeralu..
Title: Re: Teoretická informatika
Post by: jan on 04.02.2011, 00:45:10
štatistika ku skúške z 3.2.2011

Otázky:
1. Ekvivalencia konečných automatov
2. Formalizované projektovanie algoritmov, Algebra schém Janova, Graf-schémy algoritmov, Triedy algebraických systémov
Pr. algebra Žegalkina f=(x+yz)(y+xz)
Title: Re: Teoretická informatika
Post by: jardo on 04.02.2011, 01:39:50
ja som asi to 4 E od konca, jes :ropebanana:
Title: Re: Teoretická informatika
Post by: Sxx on 04.02.2011, 04:23:56
takze prisiel som k Hudakovi, dokopy som mal 52 so zapoctom, dal mi otazku, povedal som zle , dal mi sfleku FX. Niekto mal stastie niekto smolu typu "nemam nato cas FX" ....... meh
Title: Re: Teoretická informatika
Post by: domino3d on 04.02.2011, 20:16:18
takze prisiel som k Hudakovi, dokopy som mal 52 so zapoctom, dal mi otazku, povedal som zle , dal mi sfleku FX. Niekto mal stastie niekto smolu typu "nemam nato cas FX" ....... meh
dobra rada, radsej porozmyslaj pred tym jak hudakovi daco povies, daj si nacas a povedz to co chce pocut... :/ viem lahko sa hovori
Title: Re: Teoretická informatika
Post by: lacithetemplar on 07.02.2011, 04:00:00
takze prisiel som k Hudakovi, dokopy som mal 52 so zapoctom, dal mi otazku, povedal som zle , dal mi sfleku FX. Niekto mal stastie niekto smolu typu "nemam nato cas FX" ....... meh
dobra rada, radsej porozmyslaj pred tym jak hudakovi daco povies, daj si nacas a povedz to co chce pocut... :/ viem lahko sa hovori
No, mne dal otázku, na začiatku som trochu hapkal, ale nakoniec som mu napisal spravny vysledok, ale ani sa na nho nepozrel, a so slovami, ze ho okradam o cas ma vyhodil. A to dost arogantne. A asi ho nasralo aj to, ze ked mi ukazal pisomku tak som sa ho spytal, ze preco mam len polovicu bodov za priklad, ked som mal naisto vsetko dobre(aj som si to neskor potom overil). On ma odbil zo slovami, ze co je jeho do toho, on to neopravoval. A tiez to bolo asi tym, ze som nebol prihlaseny na skusku, co mi dal tiez dost najavo. Cize moja skusenost z poslednej skusky je, ze je to dost neferovy, necestny a arogantny clovek, ktory nevie zvladat svoje nervy. Ale co som pocul inych dost podrzal, takze je to dost subjektivne.
Title: Re: Teoretická informatika
Post by: piton on 07.02.2011, 04:07:02
no este raz opakujem, hudakove spravanie na skuske je nedeterministicke...
Title: Re: Teoretická informatika
Post by: roman5555 on 07.02.2011, 17:15:07
neviete ci neda este termin ? nema niekto nejake info ? hlavne 5-taci ? co ta ist za nim hm ??
Title: Re: Teoretická informatika
Post by: jan on 07.02.2011, 18:02:29
to asi budete musieť, lebo jednému piatakovi povedal, že po skúške sa pozrie na výsledky celkovo a potom sa rozhodne či ešte dá nejaký termín.
Zatiaľ ešte nedal, tak je otázka či to je už to rozhodnutie, alebo sa ešte rozhoduje  :metal:
Title: Re: Teoretická informatika
Post by: marian on 07.02.2011, 19:12:44
no este raz opakujem, hudakove spravanie na skuske je nedeterministicke...

A nebol determinizmus v tom, ci si bol alebo nebol prihlaseny na skusku?
Title: Re: Teoretická informatika
Post by: jardo on 07.02.2011, 21:03:08
ee nebol, ja som nebol prihlaseny a dal mi skusku, sice bol uz nervozny, a dal mi len dve otazky, ale kedze som ich vedel nemohol nic robt len dat mi  E51
Title: Re: Teoretická informatika
Post by: roman5555 on 07.02.2011, 21:12:20
Vypisany posledny termin na stredu 9.2.2011 prihlasujte sa :D ale tentoraz v : PK6_PC6 o 8:00
Title: Re: Teoretická informatika
Post by: Matejus on 10.02.2011, 00:21:46
9.2.2011 posledný termín - opravoval aj Korečko

I: Bezkontextové gramatiky: Greibachovej tvar
II: Algebry algoritmov: Algebry: Báza, Poly,mono-druhová. Algebraické systémy. Logicko-funkcionálny model.
P: Algoritmus triedenia výberom najväčšieho prvku vzostupne (bol to select sort)