Loogika

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.