Loogika: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
|||
| (ei näidata 2 kasutaja 8 vahepealset redaktsiooni) | |||
| 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 [http://en.wikipedia.org/wiki/Logic sissejuhatust wikipedias] ning pikemat | |||
[http://plato.stanford.edu/entries/logic-ai/ tehisintellekti-suunaga artiklit] Stanfordi | |||
filosoofiaentsüklopeedias. | |||
== Õ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. Zingel [[Rakendusliku loogika süvakursus]] | |||
* T. Uustalu [http://www.cs.ioc.ee/%7Etarmo/aal04/ 2004 kevad rak. loogika süvakursus] - vanad materjalid | |||
* T. Uustalu [http://www.cs.ioc.ee/~tarmo/lcs04/ Loogika arvutiteaduses] - ps, pdf materjalid. | |||
* T. Tammet [http://deepthought.ttu.ee/it/vorgutarkvara/wav4121/ Rakendusliku loogika süvakursus] - materjalid ja lingid paari aasta tagant. | |||
* MIT open courseware [http://ocw.mit.edu/OcwWeb/Linguistics-and-Philosophy/24-241Logic-IFall2002/CourseHome/index.htm sissejuhatav kursus] - pdf materjalid "readings" lingi alt. | |||
Viimane redaktsioon: 25. november 2005, kell 15:10
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 sissejuhatust 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. Zingel Rakendusliku loogika süvakursus
- T. Uustalu 2004 kevad rak. loogika süvakursus - vanad materjalid
- T. Uustalu Loogika arvutiteaduses - ps, pdf materjalid.
- T. Tammet Rakendusliku loogika süvakursus - materjalid ja lingid paari aasta tagant.
- MIT open courseware sissejuhatav kursus - pdf materjalid "readings" lingi alt.