Matematicka logika

[buci]

zajtra este je cviko s myskovou o 12:20 ci uz ne?

zajtra určite a podľa mňa možno aj o týždeň

[Tenebrae]

mate niekto nejake priklady z opravnej?

[Stalo]

Mate prosim dakto naskenovane prednasky s Drazenskou? mam po 8. prednasku a potreboval by som zvysne.

[v_oid]

Cafte. Jak mame v prednaskach na strane 7 taku kopu pravidiel (9), to sa treba ucit na skusku?

[Saren]

Mate prosim dakto naskenovane prednasky s Drazenskou? mam po 8. prednasku a potreboval by som zvysne.

Odfotim ti moje?  Skener nemam prave poruke, len fotak...

[Stalo]

Mate prosim dakto naskenovane prednasky s Drazenskou? mam po 8. prednasku a potreboval by som zvysne.

Odfotim ti moje?  Skener nemam prave poruke, len fotak...

No bol by som moc vdacny a zrejme aj kopu inych ludi ...a mas prednasky s Drazenskou?

[Saren]

Mate prosim dakto naskenovane prednasky s Drazenskou? mam po 8. prednasku a potreboval by som zvysne.

Odfotim ti moje?  Skener nemam prave poruke, len fotak...

No bol by som moc vdacny a zrejme aj kopu inych ludi ...a mas prednasky s Drazenskou?

Yop, s Drazenskou. Len ci po mne precita vobec niekto tie poznamky...

[Stalo]

Yop, s Drazenskou. Len ci po mne precita vobec niekto tie poznamky...

neboj precita ked dokazem precitat po sebe tak dokazem po hocikom

[Saren]

Tak nech sa paci

http://www.edisk.sk/stahni/46615/ML_poznamky.zip_45.15MB.html

[yvory]

Yop, s Drazenskou. Len ci po mne precita vobec niekto tie poznamky...

neboj precita ked dokazem precitat po sebe tak dokazem po hocikom

ja by som ta skor poprosil tych prvych osem keby ich niekde dal

[freshmakerik]

to aj vy (drazenskej grupa) mate na maise Maximálne možné hodnotenie: 40 % Minimálne možné hodnotenie: 21 % ??

bo mam 20  a vedla toho ze neprospel tak chcem napisat maila, ale sa pytam zeby nas takych nebolo viac co jej napiseme..

[Stalo]

tu by mala byt 1-8 prednaska http://www.ulozto.sk/6538449/matematika-rar
a ano aj my mame nastavene na 40%...snad to coskoro zmeni

[jozzzo]

to aj vy (drazenskej grupa) mate na maise Maximálne možné hodnotenie: 40 % Minimálne možné hodnotenie: 21 % ??

bo mam 20  a vedla toho ze neprospel tak chcem napisat maila, ale sa pytam zeby nas takych nebolo viac co jej napiseme..

teraz som kukol, a tiez to mam tak...

[v_oid]

Cafte. Kus si prechadzam teoriu na predtermin. Neviete niekto, ci:

Treba vediet vsetky tieto pravidla: Dunsa Scotta, Rezu, O dedukcii, O uplnosti, atd - a ci treba vediet ich dokazy? hm? :-)

[fail]

kto planuje ist na predtermin k p.p. Myskovej.... su k dispozicii teoreticke otazky z minuleho roka...ako by to malo vyzerat na skuske... nemusi byt presne to,ale nieco podobne...     

http://www.uloz.to/6748242/teoria-pdf

tak ja sa ucim toto... pochybujem, ze by sa za rok nieco zmenilo

[totaluser]

chcem sa opytat, ci niekto ma cvicenia v pitok o 10.50 so Stasom

konkretne ci bude aj v 13. tyzdni cviko

vdaka

[freshmakerik]

to aj vy (drazenskej grupa) mate na maise Maximálne možné hodnotenie: 40 % Minimálne možné hodnotenie: 21 % ??

bo mam 20  a vedla toho ze neprospel tak chcem napisat maila, ale sa pytam zeby nas takych nebolo viac co jej napiseme..

no.. uz je to opravene takze zapich na 20 no.. 

[ondrej0071]

treba na predtermin nejaky vytlaceny harok alebo nieco take???  ci staci cisty dvojharok?

[elros]

"system formul VL nazyvame sporny prave tedy ked je v nom dokazatelna kazda formula VL"

neviete preco je sporny ked je vsetko dokazatelne? nemalo by to byt opacne? 

Ved preto je sporny, lebo je v nom dokazatelne vsetko, kazda jedna forumula, ktora ta napadne, a dobry system - konzistentny je taky, ktorym nieco dokazes a nieco vyvratis, nemozes vsetko dokazat

[Petrinho]

Ty co ste pisali opravnu pri Drazenskej, mate uz zapisany zapocet?

[elros]

"system formul VL nazyvame sporny prave tedy ked je v nom dokazatelna kazda formula VL"

neviete preco je sporny ked je vsetko dokazatelne? nemalo by to byt opacne? 

Ved preto je sporny, lebo je v nom dokazatelne vsetko, kazda jedna forumula, ktora ta napadne, a dobry system - konzistentny je taky, ktorym nieco dokazes a nieco vyvratis, nemozes vsetko dokazat

ale tam nie je hocico co mi napadne, tam su dane formuly...
btw:

system formul je sporny ked je kazda formula dokazatelna.

mnozina klauzul je splnitelna ked kazda klauzla je pravdiva.

pride mi to ako keby to bolo raz tak a potom inak...

praveze tam nie su dane formuly, krore dokazujes,

system formul je sporny ked je v nom kazda formula dokazatelna.

mnozina klauzul je splnitelna ked kazda z danych klauzl je pravdiva.

to mas tak, ze pomocou toho systemu dokazujes formuly, neurcujes ich pravdivostnu hodnotu.
sporny system je napriklad φ a ¬φ a mas dokaz:
1. ¬φ
2. φ
3. ¬φ => (φ => ψ)           - zakon Dunsa Scotta
4. φ => ψ                       - modus poens (1,3)
5. ψ                               - modus poens (2,4)

cize formula ψ je dokazatelna zo systemu, a ψ je lubovolna formula, cize system je sporny

[v_oid]

Keby toto niekomu pomohlo: http://openetherpad.org/tqgY1sFVx0

Pisem si otazky, ku niektorym odpovede. Priebezne doplnam, hento je live verzia.

Da sa to editovat, feel free to add your 2 cents ;-)

Peace out

[GryfonN]

neviete o akej je v stredu ten predtermin ? na maise pise ze o 7 : 00  ,? nieje nahodou o 7 :30 ?

[v_oid]

Tak jak prednaska, 9:55. Ale dojdi na 7:30, si zopakujes aspon

[GryfonN]

Tak jak prednaska, 9:55. Ale dojdi na 7:30, si zopakujes aspon

preto sa pytam lebo prednasky boli dve jedna od 7:30 a druha 9:55 ,......