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.


Messages - buhehe

Pages: [1] 2 3 ... 62
1
4. ro?ník / Re: Zapis predmetov
« on: 11.06.2010, 15:14:12 »
nejdu...minuly rok sa to riesilo az niekedy v septembri

teraz je na fei stranke nieco take:
- predmety z rektorátnych katedier (KSV, KJ, KTV) budú prístupné študentom na podávanie požiadaviek pravdepodobne až 22.6.2010
tak mozno neskor

a ked uz som tu...neviete niekto nieco o samuelisovom predmete kvalita a manazment?

2
4. ro?ník / Re: Logika pre Informatikov - LPI
« on: 07.06.2010, 04:30:03 »
Quote from: Killian on  07.06.2010, 00:17:01
Sice som chodil na cvika (s Lalovou), ale v zosite mam nejaky chaos...

to je stabilna pravda? :D

3
O ničom / Re: Najebalo ma dnes
« on: 05.06.2010, 01:04:07 »
nie su to Smizany?

a aby som nebol OT tak ma najebalo ze auto si poriadne zaplavalo

4
4. ro?ník / Re: Logika pre Informatikov - LPI
« on: 04.06.2010, 17:38:38 »
ja som schytal uplne z 1. prednasky a 1.cvika...neukamenujte ma :D
T: Struktura logickeho systemu (je to na jednom slide)
P: Dokazte ze dana formula je/nie je tautologia (stacilo tabulkovou metodou kedze tam boly len 3 atomy) :D:D

5
4. ro?ník / Re: Logika pre Informatikov - LPI
« on: 31.05.2010, 22:18:23 »
inac akym stylom sa skusa kedze skuska je v rovnakom case a na rovnakom mieste ako spj? novitzka skusa obidva predmety, ci...

6
O ničom / Re: VTIPY A FLIPY
« on: 27.05.2010, 04:11:18 »

7
4. ro?ník / Re: MaGSA
« on: 24.05.2010, 03:45:12 »
nato ze minuly rok bola skuska z tohto predmetu totozna s nasim ppj su to teraz brutalne kktiny

8
4. ro?ník / Re: Sémantika programovacích jazykov
« on: 23.05.2010, 00:24:02 »
otazky su asi zo vsetkych prednasok...ja som mal akcnu semantiku

9
4. ro?ník / Re: SVR
« on: 15.05.2010, 05:47:34 »
jj 20.6. v neobvyklom case :D

10
4. ro?ník / Re: Logika pre Informatikov - LPI
« on: 14.05.2010, 22:47:18 »
vdaka...lebo uz som sa normalne zlakol kde je mojich 40b :D

11
4. ro?ník / Re: Logika pre Informatikov - LPI
« on: 14.05.2010, 22:04:06 »
co sa dialo na cvikach v 13tyzdni? aky mate zapocet v maise?

12
4. ro?ník / Re: Sémantika programovacích jazykov
« on: 14.05.2010, 05:06:06 »
hej dal som to nakoniec...dokaz som vedel prave kvoli tomu ze bol podobny jak dokaz pre aritmeticke vyrazy...

13
4. ro?ník / Re: Sémantika programovacích jazykov
« on: 14.05.2010, 00:22:42 »
ja som mal dokazat korektnost implementacie pre konjukciu boolovskych vyrazov, vztah mensi a rovny pre aritmeticke vyrazy a pre konstantu true...a boolovske vyrazy v prednaske nie su dokazane len je tam spomenute ze sa dokaz vykonava podobne jak pre artimeticke

14
4. ro?ník / Re: MaGSA
« on: 13.05.2010, 20:00:43 »
njn...z coho sa vlastne ucit na skusku resp co ma byt na skuske?

15
4. ro?ník / Re: SVR
« on: 13.05.2010, 00:19:00 »
prednaska bola klasicka (ibaze teraz bolo nejak viac ludi :D) a nebola ani skratena...spomenul, ze si treba davat pozor na frontface a backface pri modelovani, ze 3 zadanie treba odovzdat vo video formate a ze vsetky zadania treba napalit na cd
povedal aj ze terminy budu do piatku vypisane a ze budu 2 otazky na skuske z tych 33 okruhov co su na hornade

16
4. ro?ník / Re: MaGSA
« on: 21.04.2010, 01:48:00 »
mne to vygeneruje grammar.ebnf a vyzera ze je v poriadku ale takisto cervene more a exception hned na prvej vlastnosti

Quote from: kOsTi on  20.04.2010, 03:15:20
...ale ja mam zas taky problem ze ked robim 9. cviko a teda hladam tam pre entity referencie ziadne tam nikde niesu aj ked to mam zadefinovane v tom "model.el". Pozeral som cele 8. cviko viackrat a nezda sa mi zeby som nieco preskocil. Dal som si vyhladat usage pre metodu setFrom v triede Reference a niesu ziadne v celom projekte, treba tam este nieco doplnovat ci mi nieco unika? :)

SOLVED
mozem sa spytat jak si to vyriesil lebo asi mam ten isty problem

17
4. ro?ník / Re: Sémantika programovacích jazykov
« on: 14.04.2010, 21:31:31 »
Quote from: TradeMark on  14.04.2010, 18:54:06
Moze byt to -e tak ze:

-e = e - (2 x e)?

Teda vysledok bude E[[e]] (-) N[[2]] (x) E[[e]]? Ci to ratam uplne inu vec?

Este jedna vec: FV(e1*e2) = FV(e1) U FV(e2) ??? to staci ci sa s tym este cosi robi?
Dik


ja som dal tak:

E[[-e]] = 0 ak E[[e]] = 0
          = 0 - E[[e]] inak

18
O ničom / Re: Fakulta-odbor?
« on: 30.03.2010, 04:56:14 »
Quote from: Havran on  30.03.2010, 04:22:39
Quote from: mucko on  30.03.2010, 02:48:42
ap daj mu!

nuz nechapem takych ludi... ked uz raz zacnem niekde chodit tak to aj dotiahnem do konca... rok, dva roky v piči... nuž ked maju vela penazi tak mozu aj kazdy rok menit skolu :)

vidis, ty si mozno povies ze "dva roky v pici" ale to je len vec pohladu, podla mna neni lepsi zivot jak studentsky, ked si nejako zarabas si king, casu po chuja, odvody neplatis, v podstate si financne sebestacny, ked si to porovnas s 8 hodinovou pracovnou dobou normalnou tak to je jasna volba, preco by som mal o dva roky skorej ist robit ked mozem proste si uzivat...
uz som sem dlho nepisal ale pod toto sa podpisem

19
O ničom / Re: VTIPY A FLIPY
« on: 05.03.2010, 03:01:37 »
http://www.youtube.com/watch?v=I5ALIL7T764

20
4. ro?ník / Re: Teoreticka informatika
« on: 29.01.2010, 21:08:22 »
dobra otazka...jednoducho neprisli

21
4. ro?ník / Re: Teoreticka informatika
« on: 29.01.2010, 21:05:00 »
hmm to uz su vsetci z dneska ozraty ze este nikto nedal report?
jedna skupina pre vsetkych, bolo nas na skuske 16!!! z prihlasenych 25

1. Metody konstrukcie TS: odpamatavanie do stavov - princip a priklad, m-stopove TS - princip a priklad
2. Dijkstrova algebra. Kriterium funkcionalnej uplnosti v Dijsktrovej algebre.

I. Urcit ci je sekvencne zobr. Fi: {0,1}* -> {o,1}* realizovatelne KSA yi = 1 ak N1(xi) = N0(xi), inak 0
II. Spravit polynom Zegalkina (uz si napamatam presne zadanie, snad dakto doplni)

Inac dnes bola vysoka uspesnost...predomnou vsetci (6 ci 7) spravili. Ujo mal dobru naladu a vyzeralo to ze chce dat prejst kazdemu.

22
4. ro?ník / Re: Teoreticka informatika
« on: 29.01.2010, 03:35:53 »
tie pocitadla su tu a to druhe by som aj rad vedel

23
4. ro?ník / Re: Teoreticka informatika
« on: 29.01.2010, 01:00:52 »
ja mu urcite vsetko nepoviem takze mu uz ostava iba zistit co neviem aby ma mohol vyrazit :D

24
4. ro?ník / Re: Teoreticka informatika
« on: 18.01.2010, 03:31:09 »
no fakt...dik

25
4. ro?ník / Re: Teoreticka informatika
« on: 18.01.2010, 03:09:28 »
Quote from: badi on  09.01.2010, 17:16:01
1. Pokročilé partie o regulárnych jazykoch a konečných automatoch ( TI-kniha.pdf )
2. Pokročilé partie o bezkontextových jazykoch , gramatikách a zásobníkových automatoch ( TI-kniha.pdf )
3. Turingove stroje a ich vlastnosti ( SHudak_TIuvod.pdf )
4. Modifikácie Turingových strojov  ( SHudak_TIuvod.pdf )
5. Turingove stroje a ich vlastnosti ( SHudak_TIuvod.pdf )
6. Uzáverové operácie nad jazykmi ( Hopcroft, Ullman - Formalne jazyky a automaty.pdf )
7. Algoritmické problémy jazykov, gramatík a automatov ( Hopcroft, Ullman - Formalne jazyky a automaty.pdf )
8. Algebry algoritmov ( SH_algAloritmov_final.pdf )
9. Problém funkcionálnej úplnosti a algebry algoritmov ( SH_algAloritmov_final.pdf )
10. Konštrukcia a klasifikácia algoritmov a stratégií spracovania symbolických objektov ( SH_algAloritmov_final.pdf )
to ste sa z toho ucili? ja akurat zacinam (ved najvyssi cas ne) a hned pri prvom okruhu neviem polovicu veci v TI-kniha.pdf najst...napr. vlastnosť monotonnosti sqz, Relácia nerozlíšiteľnosti sqz a u-pridružených zobrazení atdatd

Pages: [1] 2 3 ... 62