Messages

Ake je heslo na moodli z PPS ?? vdaka 

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

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

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

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??...

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

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...).

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

vrela vdaka 

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

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

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