slajdy k logice
- Kate
- Matfyz(ák|ačka) level III
- Příspěvky: 146
- Registrován: 8. 1. 2005 10:52
- Typ studia: Informatika Mgr.
- Login do SIS: opock4am
- Bydliště: Milada squat
- Kontaktovat uživatele:
slajdy k logice
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
- Necroman
- Supermatfyz(ák|ačka)
- Příspěvky: 459
- Registrován: 20. 1. 2005 19:46
- Typ studia: Informatika Mgr.
- Login do SIS: suchm4am
- Bydliště: Louny / kolej Jednota, Praha
- Kontaktovat uživatele:
Re:
Dokonaly souhrn zde: http://s0cketka.php5.cz/skola/logika-souhrn.pdf
WANTED:
Dead or Alive
^-^
( ^ )
Schroedinger's Cat
Dead or Alive
^-^
( ^ )
Schroedinger's Cat
- Tuetschek
- Supermatfyz(ák|ačka)
- Příspěvky: 657
- Registrován: 15. 6. 2005 13:54
- Typ studia: Nestuduji ale učím na MFF
- Login do SIS: duseo7af
- Kontaktovat uživatele:
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
Je na http://tuetschek.wz.cz/schule/vpl-summary.html
Ale za zadny chyby nerucim, jeste jsem ho po sobe ani necet
Plug 'n' Pray.
- macbeth
- Matfyz(ák|ačka) level III
- Příspěvky: 201
- Registrován: 11. 2. 2005 14:48
- Typ studia: Informatika Mgr.
- Bydliště: PPraha
- Kontaktovat uživatele:
este by som tam dal vetu o redukcii,Tuetschek píše: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
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
- Supermatfyz(ák|ačka)
- Příspěvky: 657
- Registrován: 15. 6. 2005 13:54
- Typ studia: Nestuduji ale učím na MFF
- Login do SIS: duseo7af
- Kontaktovat uživatele:
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.
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.
Plug 'n' Pray.