slajdy k logice

Odeslat odpověď

Smajlíci
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:
BBCode je zapnutý
[img] je zapnutý
[flash] je vypnutý
[url] je zapnuté
Smajlíci jsou zapnutí
Přehled tématu
   

Rozšířit náhled Přehled tématu: slajdy k logice

od Tuetschek » 17. 6. 2006 09:58

Tak je to opraveny ... rekl bych ze to jeste bude potreba :(

od Tuetschek » 16. 6. 2006 12:57

Diky ... opravim to co nejdriv, ted uz jdu na Karlov :(.

Jeste jsem nasel dalsi vec, ktera mi prijde nelogicky i na slajdech. Ve skriptech je to podle me lip. Jak je definice substituovatelnosti, tak pod ni jsou 2 lemmata.
Misto: t[(e/m_1) ... (e/m_n)]
ma byt: t[e(x_1/m_1, ... x_n/m_n)]

a stejnym zpusobem ve verzi pro formule.

od macbeth » 16. 6. 2006 11:28

Tuetschek píše:Huh... zrovna jsem dopsal dalsi souhrn :D
Je na http://tuetschek.wz.cz/schule/vpl-summary.html

Ale za zadny chyby nerucim, jeste jsem ho po sobe ani necet :?
este by som tam dal vetu o redukcii,
R3 (axioma c. 3 s rovnostou by chcela na novy riadok)

doplnil jednu prenexnu operaciu (podformulu B nahrad jej variantom B')

tu
|- t1 = s1 → ... → tn = sn → t[t1,...tn] = s[s1,...sn]
ma byt asi
|- t1 = s1 → ... → tn = sn → t[t1,...tn] = t[s1,...sn]

...zatial...
ale inak pekne, thx...

od Dawe » 16. 6. 2006 11:00

Hmmm, to jsi to tam moh dát dřív abych si to stihnul vytisknout :-)

od Tuetschek » 16. 6. 2006 10:57

Huh... zrovna jsem dopsal dalsi souhrn :D
Je na http://tuetschek.wz.cz/schule/vpl-summary.html

Ale za zadny chyby nerucim, jeste jsem ho po sobe ani necet :?

Re:

od Necroman » 16. 6. 2006 09:46

Dokonaly souhrn zde: http://s0cketka.php5.cz/skola/logika-souhrn.pdf :D

od johnny » 26. 2. 2006 15:29

http://ktiml.ms.mff.cuni.cz/vyuka/materialy.html

slajdy k logice

od Kate » 26. 2. 2006 13:13

nevite nekdo, prosim, kde se maji nachazet slajdy prof. stepanka? na homepage nic nema/nic jsem nenasla. nebo treba i jakekoliv jine pouzitelne vyukove materialy k logice ... diky

Nahoru