Loogika

Allikas: Lambda
Redaktsioon seisuga 5. märts 2005, kell 14:59 kasutajalt Tammet (arutelu | kaastöö)
(erin) ←Vanem redaktsioon | Viimane redaktsiooni (erin) | Uuem redaktsioon→ (erin)
Mine navigeerimisribale Mine otsikasti

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".


Kursused

Pärit leheküljelt "http://www.lambda.ee/w/index.php?title=Loogika&oldid=229"