Messages

1

5. ročník / Re: Paralelné po?íta?ové systémy

« on: 03.01.2011, 20:54:53 »

Ake je heslo na moodli z PPS ?? vdaka 

2

4. ro?ník / Re: PZaSP

« on: 07.06.2010, 02:16:13 »

Kolegovia co uz boli na skuske, podelte sa s nami ako bolo na skuske.
Co sa pytal, ako skusal...(chcel len princip a stacilo alebo sa pytal do hlbky ku otazkam) ....kolko otazok dava a ake asi....a tak, pospiste, ze na co vsetko sa mame my ostatny pripravit thx

3

4. ro?ník / Re: Sémantika programovacích jazykov

« on: 13.05.2010, 23:45:15 »

No tak na predtermine boli ako dozor Slodicak, Novitzka a Lalova. Skusali Slodicak s Novitzkou. Tahali sa tri otazky - priklad, teoreticka a jeden dokaz, vymenit sa neda. Ku kazdemu je potrebne mat aspon nieco. Nestaci mat dve na sto percent a tretiu vobec.
Ja som mal priklad odvodzovaci strom pre naturanulnu semantiku. Dokaz bol preukazat korektnost implementacia suctu a premennej pre aritmet.vyrazy a logickeho suctu a negacie. Teoria Denotacia cyklu a defincie monotonnej f-cie, spojitej, funkcional, fixny bod ...

mozes sem hodit ako si napisal ten dokaz .?..co vsetko k tomu bolo treba popisat a tak...dik

4

4. ro?ník / Re: Sémantika programovacích jazykov

« on: 13.05.2010, 00:55:08 »

Cafko ludkovia, vie niekto ako bude prebiehat skuska z tohto predmetu a co vsetko treba vediet ??... ak hej hodte to sem..dik

5

4. ro?ník / Re: Logika pre Informatikov - LPI

« on: 12.05.2010, 00:51:13 »

zdravim nema niekto naskenovane vsetky cvika? diky moc

tie by vazne pomohli.
A ako to bude vyzerat na skuske nespominala nahodou?..nejaky priklad, teoria ?? hmm??...

6

4. ro?ník / Re: Sémantika programovacích jazykov

« on: 14.04.2010, 18:14:29 »

Skupina A:
1. abs(e)
2. e1 nand e2
3. 11100
4. FV(e1*e2)
5., 6. 7. if (x<=5) then x:=x+2 else x:=x+y;y=x+1

Skupina F:
1. -e
2. implikacia
3. 10011
4. FV (e1*e2+e3)
5. 6. 7. x:=2; if(y<=5) then x:=x+y else x:=x-y

GL (thx to kakan7)

mohol by si prosim ta, tie priklady aj vzorovo vyrat, aby som vedel co vsetko k tomu treba napisat a hlavne ako  vdaka

7

4. ro?ník / Re: MaGSA

« on: 26.02.2010, 21:52:15 »

Kto rozumie cviceniu 2. Ako sa maju spravit jednotlive ulohy? moze to tu niekto vysvetli alebo rovno vypracovat a poslat ?...dik  

tak, mozem ti napisat co sme stihli na cviku (v podstate ako zacat):
1. stiahnut a rozbalit si projects.zip z moodlu resp. z hornadu (su to dva projekty)
2. v adresari projektu magsa vytvorit adresar "model" a v nom vytvorit entity Oddelenie.el a Zamestnanec.el (vid moodle)
3. stiahnut parser.zip rozbalit a obsah vlozit do adresara projects/magsa/src asi takto ze:
adresar   projects\magsa\src\sk\tuke\magsa\tools\  ma odsahovat adresare "metamodel" a "parser" (z toho zipka)
4. otvorit projekt magsa v netbeanse a pokracovat ulohami z 2.cvika v moodli:
   t.j... vytvorit v metamodel Type.java (ako je v 2. cv na obrazku)...
...
public enum Type {
    INTEGER, REAL, STRING;
}
atd...  

Ok..to sme stihli aj my na cviku ...ale ako dalej postupovat ...co kde treba vytvorit..lebo sa mi to zda ako spanieska dedina (mam na mysli co treba robit v 2.cviku 4 otazka, kde su tie 4ulohy...).

8

4. ro?ník / Re: MaGSA

« on: 26.02.2010, 00:50:29 »

Kto rozumie cviceniu 2. Ako sa maju spravit jednotlive ulohy? moze to tu niekto vysvetli alebo rovno vypracovat a poslat ?...dik 

9

4. ro?ník / Re: Logika pre Informatikov - LPI

« on: 22.02.2010, 18:42:03 »

vrela vdaka 

10

4. ro?ník / Re: Logika pre Informatikov - LPI

« on: 22.02.2010, 18:00:16 »

Su niekde prednasky z tohto predmetu?...ak ano, mozte napisat link. vopred dik 

11

4. ro?ník / Re: Teoreticka informatika

« on: 04.02.2010, 22:17:09 »

podla mna by mohol dat este nieco take :

 univerzalny turing + dijkster
 sekvencne zobrazenia  + metaalgebry
 Metody Konstrukcie TS ( m-stopove, a nieco s pamatou )
 Djikstrova algebra a  jej funkcionalna uplnost

12

Pracovné ponuky / Job Offers / Re: zhanam sikovneho informatika

« on: 02.10.2009, 00:33:44 »

A uz si nasiel niekoho, co ti to spravi ?? Ak nie napis mi mail a dohodneme sa na detailoch .OK?