Zapocty u Vyskocila

[miso02]

Ma uz niekto zapocet od Vyskocila?

[qk]

ja zatim ne, ale ta pisemka za moc nestala

[lingvik]

Já myslím, že se výsledků dočkáme až ve středu na cvičení

[tutchek]

vysledku? kdyz pisemka byla 100% ortogonalni s latkou cviceni?

[Necroman]

vysledku? kdyz pisemka byla 100% ortogonalni s latkou cviceni?

Tak nejak... uz je celkem na case pripravit se na domaci zapoctove priklady.

[miso02]

Bol niekto vcera na cviveni? Doniesol Vyskocil uz opravene pisomky, alebo sa ich tak skoro nedockame? A ak sa niekedy dockame tak ako si mozeme zistit nase vysledky?

[tutchek]

vse je v grupicku

ja to dal na 50% olalalala... (preklad... 50% vcetne a vic = zapocet)

[miso02]

Takze ak tomu dobre rozumiem ak mam 52 celkom tak mam zapocet?
A este jedna otazka: Kamos by chcel vediet co bude s tymi co to nedali?

[JJ]

Maji mu poslat mail se zadosti o priklad

[Hugo]

Ja jsem posilal mail v pondeli a ve stredu a zatim nic..
Uz nekomu zaslal nejaky tezky priklad?

[ps]

Tak co, dostali jste někdo taky už příklad? Jste z toho někdo chytrej?

[nekup]

Já jsem dostal příklad č.11, ale moudrý z něho nejsem...

[Hugo]

priklad c.2, moudrosti take nic moc..

[Keleen]

Nema nekdo tuseni co je mysleno kompletnim formalnim dukazem dle definice? Uprimne kdyz mam na jeden radek axiom s 14 zavorkama a formuli s 30 zavorkama, jsem mirne zmatenej:).

[ps]

Nema nekdo tuseni co je mysleno kompletnim formalnim dukazem dle definice? Uprimne kdyz mam na jeden radek axiom s 14 zavorkama a formuli s 30 zavorkama, jsem mirne zmatenej:).

Já si také nevím moc rady. Nějak jsem s tím experimentoval a něco mi z toho vzniklo, ale nevím, jak poznám, že je to kompletní formální důkaz té formule.