slajdy k logice

[Kate]

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

[johnny]

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

[Necroman]

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

[Tuetschek]

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

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

[Dawe]

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

[macbeth]

Huh... zrovna jsem dopsal dalsi souhrn
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...

[Tuetschek]

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.

[Tuetschek]

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