Loogika: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 1. rida: | 1. rida: | ||
Loogika on korraga nii keel asjade kirjeldamiseks kui algoritm järelduste automaatseks tegemiseks. | Loogika on korraga nii keel asjade kirjeldamiseks kui algoritm järelduste automaatseks tegemiseks. | ||
Teooria poolt on loogika seotud [[algoritmiteooria]]ga, programmeerimise poolt [[loogiline programmeerimine|loogilise programmeerimise]] ning [[andmebaasid]]ega, tehisintellekti poolt aga | |||
[[automaatne teoreemitõestamine|automaatse teoreemitõestamisega]]. | |||
Vaata ka si [http://en.wikipedia.org/wiki/Logic ssejuhatust wikipedias] ning pikemat | |||
[http://plato.stanford.edu/entries/logic-ai/ tehisintellekti-suunaga artiklit] Stanfordi | |||
filosoofiaentsüklopeedias. | |||
== Õpikud == | == Õpikud == | ||
Redaktsioon: 5. märts 2005, kell 16:22
Loogika on korraga nii keel asjade kirjeldamiseks kui algoritm järelduste automaatseks tegemiseks. Teooria poolt on loogika seotud algoritmiteooriaga, programmeerimise poolt loogilise programmeerimise ning andmebaasidega, tehisintellekti poolt aga automaatse teoreemitõestamisega. Vaata ka si ssejuhatust wikipedias ning pikemat tehisintellekti-suunaga artiklit Stanfordi filosoofiaentsüklopeedias.
Õ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.