1
5. ročník / Re: promocie
« on: 14.06.2011, 19:36:18 »
Sevas, aj ja by som potreboval jeden listok, keby ze niekto mal bol by som velmi vdacny 
Zobraziť príspevky
This section allows you to view all posts made by this member. Note that you can only see posts made in areas you currently have access to.
3
4. ro?ník / Re: Sémantika programovacích jazykov
« on: 09.06.2010, 18:44:04 »
U mna :
T: Nepriama denotacna semantika + zakl. pojmy.
P: Rozsirenie JPJ (Syntax aj semantika) o nasledovnika prirodzeneho cisla, Fib(n) - nty clen Fibbonachiho postupnosti a o nonekvivalenciu bool. vyrazov.
D: Korektnost implementacie komutativnosti a asociativnosti nasobenia vyrazov pomocou AM.
Skuska uplna pohoda.
T: Nepriama denotacna semantika + zakl. pojmy.
P: Rozsirenie JPJ (Syntax aj semantika) o nasledovnika prirodzeneho cisla, Fib(n) - nty clen Fibbonachiho postupnosti a o nonekvivalenciu bool. vyrazov.
D: Korektnost implementacie komutativnosti a asociativnosti nasobenia vyrazov pomocou AM.
Skuska uplna pohoda.
10
4. ro?ník / Re: Teoreticka informatika
« on: 02.02.2010, 02:19:56 »EDIT: co to je to piki? som pozeral i archiv ale furt netusim
Pravy Invariant Konecneho Indexu
11
4. ro?ník / Re: Pokro?ilé databázové technológie
« on: 23.01.2010, 05:55:58 »
No ja som mal DWH - Datove modely ake sa v nom pouzivaju a v ktorych komponentoch, a mal som selekciu (RA algoritmy) a jej mozne implementacie. Tak isto som mal popisat Main Memory databazy.
12
4. ro?ník / Re: Teoreticka informatika
« on: 14.01.2010, 18:50:56 »
Take nieco, boli proste 3ja a kecali spolu v predu. Sem tam sa niekto presiel pomedzi. Korecko aj na chvilu odisiel prec. Tak na pol hodku mozno sa mi zda.
13
4. ro?ník / Re: Teoreticka informatika
« on: 14.01.2010, 04:47:45 »toto je co za priklad?!?! : "sekv stroj z L1={a^i b^j} zostrojit L2={a^k b^l c^m}, pricom (i=>0, j>1, i<=k+l<=2i, 1<=m<j)..." ?
nemate nejaky podobny priklad vyratany? lebo netusim ako sa to riesi. dik
Uz som to postoval par stran dozadu ako obrazok ta si kukni. Btw gratulujem vsetkym dnes co sme porobili, nazdravie spijeme sa jak dogy
:D
15
4. ro?ník / Re: Teoreticka informatika
« on: 12.01.2010, 23:24:06 »
Som rad dufam ze moja snaha porozumiet TI sa mi zajtra zuroci
dufam ze moja snaha porozumiet TI sa mi zajtra zuroci
16
4. ro?ník / Re: Teoreticka informatika
« on: 12.01.2010, 23:10:08 »
Ne lebo moze nastaj aj situacia ked k=2i a l=0, cize potrebujes parny pocet acok vygenerovat.
17
4. ro?ník / Re: Teoreticka informatika
« on: 12.01.2010, 22:58:45 »
Tam nejde o to ze kedy prejde abo ne, snazit sa tu z toho automatu vytrepat vsetky mozne retazce jake z toho mozu vyjst a z toho mozu vyjst iba take jak je L2 v zadani prikladu
18
4. ro?ník / Re: Stavba po?íta?ov
« on: 12.01.2010, 22:43:49 »s cim vas mozem potesit tak to je ze aspon vpohode to hodnotili aspon mne...pisal som vsetko z hlavy kedze tam zahrovali ci dakto neopisuje...a dost odveci boli niektore veci napisane a niektore aj zle a skoro som mal full za skusku
Joj ale ta ty si lucker neskutocny
Ty prides napriklad na TI a pride za tebou Hudak a povie "Vy to viete, nemusite vobec pisat dam vam skusku"
19
4. ro?ník / Re: Teoreticka informatika
« on: 12.01.2010, 22:42:29 »
hej pred su vstupy a za su vystupy, je to nedeterministicky automat takze do q1 sa dostane ak bude chciet
20
4. ro?ník / Re: Teoreticka informatika
« on: 12.01.2010, 22:09:28 »
noo ten automat realizuje zobrazenie S(L1) = L2 teda snazi sa pre kazde slovo z L1, ktore je na vstupe vygenerovat slovo patriace do jazyka L2.
22
4. ro?ník / Re: Teoreticka informatika
« on: 12.01.2010, 20:54:17 »Vidime sa zajtraKed mi sadnu 2 priklady a jedna teoreticka, tak bude dobre. Algebra nepredpokladam, ze mi velmi sadne
Ked sa vratim k mojmu predchadzajucemu postu, nedostal sa nahodou niekto k tomu, ako vyriesit nasledujuce priklady?2.priklad:Nieco mi odpisal McLarenPP, ale aj tak tomu nechapem.
je dany bezkontextovy jazyk L1, jazyk L2=(a1a4a7...a3k+1; k je vacsie rovne 1, ai patri L1) treba dokazat, ze L2 je tiez bezkontextovy jazyk
-tu mam zostrojit nejaky zasobnikovy automat? Ak ano, tak aky? Ake slova ma akceptovat, ked nie je presne definovana L1?
3.priklad:
Zostrojte algoritmus Dijstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne (tha alebo nieco v tom zmysle ak som neprepisal vsetko uplne presne)
-WTF? Neviete kde by som nasiel nejaky vyrieseny priklad?
4.priklad:
sekv stroj z L1={a^i b^j} zostrojit L2={a^k b^l c^m}, pricom (i=>0, j>1, i<=k+l<=2i, 1<=m<j)
-WTF? To ako ma vyzerat ten sekvencny stroj?Vdaka vopred.
4ku mam tusim a riesenie musim nascanovat abo spravit v skicari
dam sa do toho EDIT : Hmm nemam to kde zavesit na web
24
4. ro?ník / Re: Teoreticka informatika
« on: 12.01.2010, 04:23:18 »
Celkom pozitivna sprava diky za info hned mam lepsiu naladu, dufam ze vsetci v stredu porobime
diky za info hned mam lepsiu naladu, dufam ze vsetci v stredu porobime
25
4. ro?ník / Re: Teoreticka informatika
« on: 12.01.2010, 03:57:43 »
Cize nas take necaka kedze nie sme uz prvy termin
