Messages

[!z v t v u v x]

ano tak to mam, Rajo ... ale odkial mate 9 ci 10 formul ?? Ja mam len 7

to čo som písal vyššie tak v tom máš už hned 2 formuly ... tie disjunkcie 2...dalsie mi vychadzaju takto:
z ^ negT => u v x  l=l   z ^ (t v u v x) - z je tretia, a (t v u v x) je štvrtá...
z <=> u l=l (z => negU) ^ (negU => z) l=l (negZ v negU) ^ (u v z) - dalsie 2=6
neg (x => u) l=l  neg (negX v u) l=l x ^ negU (nerobim tu chybu? tu mám tiež 2 formuly)
negY => u l=l y v u - dalsia
a posledná je samotná, čiže negT ... kde mám chybu ?

mas tu dost chyb takze zaradom...tamto si mal spravne..
prvy : (z ^ !T )=> (u v x) l=l !(z^!t) v ( u v x) l=l !z v t v u v x
druhy: z <=> u l=l (z=>u) ^ (u=>z) l=l (!z v u ) ^ (!u v z)
treti : mas dobre x ^ negU
stvrty : mas dobre y v u

(x v y) => t  l=l   neg (x v y) v t   l=l  (negX ^negY) v t  l=l  (negX v t) ^ (negY v t) ?

spravne

x v y => t   .. to je (x v y) => t alebo x v (y => t)  ??

(x v y) => t

niekto šikovný kto by vypočítal tretí príklad s tou rezolučnou metódou? mne vyšlo, že je nesplnitelná, na konci mi vyšlo F...a do tabulky som po úprave implikácií a ekvivalencií zapísal 10 formul...

aj mne vyslo F ( mam len 9 formul )

toto je aky test, zapocet od myskovej minuly rok? 

nie, chce tym zdoraznit ze je zena 

pokial viem netreba, len to co mas v zadani, u Bacikovej to je tu napisane ako a co http://hornad.fei.tuke.sk/~bacikova/FJaP/ZADANIE%20C%20-%20poziadavky.pdf 

mal uz niekto suplovanu hodinu s p. Simonakom? namiesto Korecka. ako to prebiehalo?

preco sa pytas, Korecko ma chybat?

nejake blizsie info k zapoctu nemate?

Co sa týka Myškovej, nebudú binárne relácie, syntax výr. logiky, a rezolučná metóda v predikátovej logike. Nebudú ani žiadne teoretické otázky.

potom co vlastne bude 

necudujem sa natom ze sa rozoberaju veci, ale natom ze ake veci. ked ti jasne napisal Tux ze nebude volno v piatok tak potom este ako to chces mat napisane? a este aj natom sa cudujem ze niekto este je taky naivny a veri ze bude dekanske volno 

normalne bude vyucovanie, nechapem co tolko rozoberate ze bude dekanske prave v piatok ked ajtak polka skoly nema vyucovanie. na normalny den nedal minule (pondelok) ne to este teraz na piatok 

zajtra nesu vika s bacikovou, vsakze?

true

N I E 

Ano v 10 tyzdni na prednaske

mala by byt, bude prednasat Vaclavik, a bude to uz o novom zadani taze bolo by dobre ist 

nieco stym sme mali aj na Matike I ci ee? 

su to cleny Fibonacciho postupnosti, a potupnost vyzera tak ze kazde cislo = suctu dvoch predchadzajucich cisel..asi nejak tak 0 1 1 2 3 5 8 13 21 34 atd atd 

a nemas tam ani OS , preto je lacny 

os problem?

nie je problem vsak MSDN pozna asi aj on, len som reagoval nato ze povedal ze dobra cena vzhladom na konfiguraciu, tak ze ci neprehliadol ze bez OS..100€ je 100€ 

a nemas tam ani OS , preto je lacny 

nam povedal ze musi sluzobne odcestovat ( o 9:10), tak myslim ze nebudete mat tiez..

Pán Kollar ma pocit, že študent nemá nič iné na práci, len splnať jeho rozmary?
Prepisovať 100 inštrukcií z obrazovky na papier je úplne divné a kontraproduktívne.

ked si si tolko námahy dal ze napises toto ako tvoj prvy post, tak si mu mohol rovno napisat mail ze niesi ochotny to prepisovat a ze ten kod si vytlacis..a ostatne napises rucne, ale ajtak nechapem ..vypni fb na 5 minut a 
//edit: ne prvy post, ale vytvorit si koli tomu novy nick a napisat len toto  da sa tu aj anonymne alebo ako guest

zas tak hrozne to nie je podla mna, ak si to tak zela tak to rad napisem rucne, vsak on je ten kto diktuje 

my sme pisali rucne, mal som okolo 55riadkov pri vyraze f&&t&&f||(f||t)

tak na 9,55 mame prist myslim taze tak 30-40 minut asi

ja mam o 9,10 a sme rozdeleni, podla abecedy