Loogika: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 4. rida: | 4. rida: | ||
== Õpikud == | == Õpikud == | ||
* T. Tammet [[Media:loogikasissejuhatus_raamat.html|Loogika aine ja ajalugu]] - sissejuhatus T.Tamme, T.Tammeti ja R.Prangi loogikaõpikule "Mõtlemisest tõestamiseni". | * T. Tammet [[Media:loogikasissejuhatus_raamat.html|Loogika aine ja ajalugu]] - sissejuhatus T.Tamme, T.Tammeti ja R.Prangi loogikaõpikule "Mõtlemisest tõestamiseni", html. | ||
* S. Reeves, M. Clarke. [http://www.cs.waikato.ac.nz/~stever/LCS.pdf Logic for Computer Science] - pdf. | |||
* J. Gallier [http://www.cis.upenn.edu/~jean/gbooks/logic.html Logic for Computer Science: Foundations of Automatic Theorem Proving] - ps, pdf. | |||
== Kursused == | |||
* T. Uustalu [http://www.cs.ioc.ee/~tarmo/lcs04/ Loogika arvutiteaduses] - ps, pdf materjalid. | |||
Redaktsioon: 5. märts 2005, kell 15:14
Loogika on korraga nii keel asjade kirjeldamiseks kui algoritm järelduste automaatseks tegemiseks. Loogikaid on väga palju ja erinevaid.
Õpikud
- T. Tammet Loogika aine ja ajalugu - sissejuhatus T.Tamme, T.Tammeti ja R.Prangi loogikaõpikule "Mõtlemisest tõestamiseni", html.
- S. Reeves, M. Clarke. Logic for Computer Science - pdf.
- J. Gallier Logic for Computer Science: Foundations of Automatic Theorem Proving - ps, pdf.
Kursused
- T. Uustalu Loogika arvutiteaduses - ps, pdf materjalid.