51
Party Alert! / Re: MUSIC CITY 5.6.2009 KOSICE
« on: 24.05.2009, 06:00:14 »
z Ryby to nebudem mat ani tak daleko domov, ako z Jedlikovej, takze viem, kde skoncim 
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.
53
4. ro?ník / Re: Sémantika programovacích jazykov
« on: 21.05.2009, 16:38:06 »su vypisane v maise
TO akoze fakt tam su vypisane? A ako sa ku nim dostanem?
Lebo mne iba pise, ze nie som prihlaseny na ziaden termin (uz dost dlho ) a nijako sa neviem dostat k tomu, aby som nejaky termin videl...to su vsetky obsadene, je chybny system, alebo len ja som chybny?
54
4. ro?ník / Re: Technológie softvérových projektov-I
« on: 20.05.2009, 22:43:41 »
a tu sa kedy odovzdava zadanie u Ywetky?
55
4. ro?ník / Re: Sémantika programovacích jazykov
« on: 20.05.2009, 22:42:04 »
akoze uz ma to fakt jebe...ten vyjebany system, ze nevidim ziadne terminy na ziadne skusky...samozrejme okrem magsy, co som uz spravil...vy vidite nejake terminy na nejake skusky?
56
Party Alert! / Re: Bozenka Fest 2009
« on: 20.05.2009, 22:39:26 »
a ja som si myslel, ze je to dnes
58
4. ro?ník / Re: Modelovanie a Generovanie Softverovych Architektur
« on: 04.05.2009, 22:11:29 »
Nehovoril on na zaciatku, ze skuska bude formou testu v moodli? To, co je na jeho stranke mi nepripada ako test...
61
Party Alert! / Re: The Idoru @ Khoi-Khoi
« on: 12.04.2009, 06:39:35 »
Ja idem nakoniec az v pondelok na Embers a Death by stereo
64
4. ro?ník / Re: Hura zimne prazdniny
« on: 29.01.2009, 18:18:55 »
nerozoberajte tu picoviny, radsej podte oslavit druhe Vianoce
65
4. ro?ník / Re: Semestralna praca
« on: 27.01.2009, 05:10:55 »nie, iba za tym kto sa zaobera tou oblastou ktorej sa tyka tvoj napadA co ak som beznapadny?
66
4. ro?ník / Re: Stavba PCs
« on: 24.01.2009, 00:47:01 »ja sa to zacnem ucit az zajtra...stiham do pondelka?
vobec ze nestihas, vzdajto !
OK, vzdavam to, podme sa zajtra sundat
67
4. ro?ník / Re: Stavba PCs
« on: 23.01.2009, 06:31:56 »
ja sa to zacnem ucit az zajtra...stiham do pondelka?
68
4. ro?ník / Re: teoreticka informatika
« on: 21.01.2009, 06:56:49 »Niektori ludia asi nevedia, co so sebouje to rukou pisanych 45 A4 stran, ale nerucim ani za kompletnost okruhu a reklamacie neprijimam, to uz dopredu vravim
cozee?dajako vela ne ?
Ale aspon tym pomahaju druhym 
69
4. ro?ník / Re: teoreticka informatika
« on: 16.01.2009, 01:57:26 »
staci mat stastie a neletis aj ked dodrbes pisomku (vid moj pripad)
70
4. ro?ník / Re: teoria typov
« on: 14.01.2009, 23:25:26 »
no ono ja som mal definiciu typovaneho termu v jednoducho typovanom lambda kalkule a musel som definovat cely lambda kalkul a kecat tam o vsetkych pravidlach...potom som mal vynimky a tiez vsetko...vsetky pravidla, co boli na tej prednaske tusim...ale otazky sadli vyborne A priklad? Zistit velkost temru a vyhodnotit ho
A priklad? Zistit velkost temru a vyhodnotit ho
71
4. ro?ník / Re: teoria typov
« on: 13.01.2009, 18:06:02 »
u mna je najvacsie pozitivum dna, ze som si kupil novu mys a RAM-ku, okrem toho A-cka...
72
4. ro?ník / Re: teoria typov
« on: 13.01.2009, 06:58:20 »
uvidime, ako bude na tej skuske...neviem, co od nej mam cakat...este aj mys sa mi pokazila pri uceni...fungovat na tabulatore je nechutne, radsej s tym prestanem a idem sa vyspat
73
4. ro?ník / Re: teoria typov
« on: 12.01.2009, 01:20:10 »
ja som sa naucil zatial prve dve prednasky a presiel som na cvicenia
74
4. ro?ník / Re: teoria typov
« on: 10.01.2009, 05:06:38 »
Co sa ucite na skusku? Alebo ina otazka, co ma byt na skuske?
75
4. ro?ník / Re: teoreticka informatika
« on: 09.01.2009, 21:18:05 »
na skusku bolo prihlasenych 14 ludi, z toho prislo 11, pred dopisanim pisomky 4 odisli a zo zvysnych 7, ktorym Korecko opravoval, 4 sme presli (ja s velkym stastim) a troch vysledky som nevedel, hadam tam este necakaju
Inak vsetci sme mali rovnake otazky...halting problem + dokaz + univerzalny turingov stroj, Dijkstrova algebra, stroj s 2 pocitadlami (a na 2n; b na n; c na n ) a 2. 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...dufam, ze som toto zadanie nejak nedoplietol
Inak vsetci sme mali rovnake otazky...halting problem + dokaz + univerzalny turingov stroj, Dijkstrova algebra, stroj s 2 pocitadlami (a na 2n; b na n; c na n ) a 2. 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...dufam, ze som toto zadanie nejak nedoplietol
