Lehekülje Loogika lähteteksti vaatamine

Loogika on korraga nii keel asjade kirjeldamiseks kui algoritm järelduste automaatseks tegemiseks.
Loogikaid on väga palju ja erinevaid.

== Õ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", 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.