Next: 1.3 Al kiu ĝi
Up: 1 Antaŭ ĉio
Previous: 1.1 Kiu mi estas
Contents
Jen pluraj kialoj:
- Ekzistas grava manko en la serĉo ``natura dedukto'' ĉe
Google. Mi mem bezonis lerni tion antaŭ la ekzameno sed trovis nenion
utilan kio povus helpi min. Same per natural deduction aŭ nd:
kvankam troviĝis kelkaj kursetoj, neniu estis sufiĉe bona: ĉu estis
miskomprenebla, ĉu iaj specialaj literoj malmontriĝis, ĉu ĝi ne eldiris
ĉion (kvazaŭ se iu ajn jam konus logikan rezonadon). Do mi celis aldoni
ĉi tiun kurson, kiu eble helpos iun.
- Estas temo ŝatata de mi, kaj facila laŭ mia opinio.
- Devigas pensi. Eble ĝi ne havas utilegan uzeblecon, sed oni vere penu
por solvi kelkajn simplajn, klopodindajn ekzercojn.
- Nu, mi konfesas ke tio estis verkata por lerni skribi dokumentojn
per LATEX. Ties lernado ne estas facila, sed rezultoj igas la taskon
farinda.
- Krome, la Esperantan tradukon mi faris por praktiki la lingvon. Ĉi
tiu estas mia unua verko, do bonvolu korekti min! Mi ankaŭ aldonis
aranĝon de teknikaj vortoj pri logiko
kun la plej strangajn vortojn mi uzis.
Next: 1.3 Al kiu ĝi
Up: 1 Antaŭ ĉio
Previous: 1.1 Kiu mi estas
Contents
Daniel Clemente Laboreo
2005-05-17