Messages

dokazy metaviet su vypracovane a su to tie overenia, treba sa naucit z kazdej kapitoly 1 dokaz
dokazy ostatne nie su vypracovane a su to tie problemy

no ved asi to tak xcu...potom coldplay budu vyzerat jak kingovia

LP - Pushing me away

ktoru si picha

zas to zacina

The lord of the rings: The fellowship of the ring extended version

ciboha!!! j azajtra urobim tu skusku na E a si to tam dam velkymi kapitalkami ! 

mam deja vu

Promovani inziniri LIVE po 128krat

a to mas odkial.....normalna klikacka bola...

no.. dalo by sa polemizovat ked si niekto necha otazky na verejne pristupnom mieste.. (vyvoleni vedia o com hovorim, ostatnych sa to netyka )

loooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooool
chmod 777 rulz

a moze sa stat ze mi tema jednoducho neostane? bude smitec?

ide vam learning connection?

sak ja viem ku komu aj na ktorom poschodi je, len ktore cislo dveri to ma sa mi nexce hladat

sak tam bude kopa ludi tha co...

dnes dostali rodicia super napad, ze idem s nimi na zahradu.. a pekne som zmokol jak som siel peso naspat tam pri slovnafte na kvp sa celkom rozprsalo ale zas mohlo byt aj horsie.. a nakoniec mne to nevadii ale ked ide clovek po poli a okolo meta blesky neni mu setko jedno

bat si sa nemusel...ty uz davno nikoho nepritahujes...

ja som tak bol na PPI a vtedy som zistil ze voky neni taky akym sa robi na prednaskach ked vtipkuje s ludmi

ja napodobne a navyse som sa dockal fuckera.....este stastie ze ma poznal bo inac by mi ani nedal ten podpis (on sa neobtazuje zapisat znamku...ma na to voktorandov)

jj aj ja mam.....

napodobne...ja som videl 1 asi z vzdialenosti 50m a blizsie ma netahalo

ta skuska bola ako zswi....len na zswi je o tony viac uml

pekne...hlavne ked to je od leskovej...radsej by ste sa mali ist spytat osobne...ja som sa bol pytat osobne (ale na inu situaciu) a nedavno som napisal podobny mail, na ktory som od tej pani dostal uplne opacnu odpoved ako ked som tam bol osobne (ale nebol som konkretne za nou, podotykam)

The Offspring - Why dont you get a job? (od susedov)

ale len ekonomovia

sk. B
1. dokazat postacujuci system shefferovou algebrou
2. dokazat metavetu zo syntaxe VL
3. napisat def struktury
4. napisat metavetu skolema
5. separacia klauzul (btw bola teoria pribuzenstva a bez jej axiom som bol v <>, tak som len dalej pocital bez nich a len som mu tam uviedol ze by som ich mal pridat )
6. unifikacia a urcenie rezolventy

btw: viem ze vyhodnotenie je v pondelok na katedre matiky (tusim b621) ale neviete kedy?

opravene thx to DeNaTuReMaN

no lol...tie otazky boli po <> navrhove vzory co som si myslel ze bude moj nahrobny kamen tha boli jednobodove otazky a dali sa ale to umlko ma dostalo....nakoniec vsak 50 dokopy 80...(dufam ze zdenek bodik dohodi )

edit: nepiste tak rychlo....

1. jj...toto myslim popripade P(x,a,F(x)) V !P(F(a,x),b)
2. no podla mna ak nebude zadane v ktorej teorii to riesit tak rovnosti (ak tam bude = ) inac by malo byt zadane v ktorej teorii aj s jej axiomami (takto to mam z cviceni), ale to je moj nazor iba

a este jednu otazku by som mal? da sa urobit unifikacia ak nema kazdy disjunkt rovnaky predikatovy symbol? (myslim aj jeho negaciu)

edit: pozeram do zosita a tam kde je pouzita ina teoria ako teoria rovnosti, tak je zadane o aku teoriu ide aj s jej axiomami