Loogika: erinevus redaktsioonide vahel

Redaktsioon: 5. märts 2005, kell 16:30

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.

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.

Redaktsioon: 5. märts 2005, kell 16:23 vaata lähteteksti Tammet (arutelu \| kaastöö) Bürokraadid, Administraatorid 15 365 muudatust Resümee puudub ← Vanem muudatus		Redaktsioon: 5. märts 2005, kell 16:30 vaata lähteteksti Tammet (arutelu \| kaastöö) Bürokraadid, Administraatorid 15 365 muudatust Resümee puudub Uuem muudatus →
15. rida:		15. rida:

	* T. Uustalu [http://www.cs.ioc.ee/~tarmo/lcs04/ Loogika arvutiteaduses] - ps, pdf materjalid.		* T. Uustalu [http://www.cs.ioc.ee/~tarmo/lcs04/ Loogika arvutiteaduses] - ps, pdf materjalid.
			* MIT open courseware [http://ocw.mit.edu/OcwWeb/Linguistics-and-Philosophy/24-241Logic-IFall2002/CourseHome/index.htm sissejuhatav kursus] - pdf materjalid "readings" lingi alt.