Messages

Tak jedine co ti poradim je, ze si pozri bvs, avl stromy a 57 stranu z prednasok.

Caute.

Robi tu niekto zadania z LS za € ?

[email protected]

Dik

Zdravim.

Nerobi tu niekto sach 2D alebo 3D?

Ak hej -> [email protected]

Na € sa urcite dohodneme.

Mate uz vysledky v Maise?

Nieje tu neaky kosican co by mi vedel poziciat zosit z prednasok na zopar dni?

Napis na [email protected]

Neak by som sa v tom snehu dosankoval ponho.

Dneska bolo B.

Priklade podobne, ako v C a D

Teoria:
Definujte vyrokovu formulu
Definujte uzavretu, otvorenu formulu a volnu a viazanu premennu vo vyrokovej logike
Dokaz a bezprostredny dosledok.
Pravidlo rezolucie a tusim rezolucna princip
Este neake dve ale uz nepametam

to druhe som pochopil ale v prvom neviem kde postupovat.. znamena to previest formulu na klauzularny tvar?

Co znamena, ze najdite skolemovsky variant k uzaveru formuly? Na ktorom cviku sa toto robilo?
A taktiez: V jazyku pribuzenstva s univerzom pozostavajucim z matky, syna a dcery rozhodnite ci je splnena formula. O co tam ide?

nuz pocul som ze minuly rok to spravila len hrstka ludi, takze tento rok to nebude o nic lepsie

Takze predpokladam, ze to co je na moodli v kurzy TZI, tie prednasky tam mi postacovat spolu so zositom nebudu, hej? Treba sa ucit tie skripta co su tam hodene, spravne som tomu rozumel?

Caute, mam psychologiu so zvarikovou a ona chce vpisat tu seminarku do neakej formy. Mala nam ju rozposlat neaka spoluziacka.. davali sme jej vsetci maily.. ale do teraz mi nic nedoslo.. Nemate nahodou niekto ten subor? Ak ano poslite mi to na [email protected], lebo mam vsetko napisane, len mi chyba ta forma.
Dik