Loogilise programmeerimise meetod

„Loogilise programmeerimise meetod“ on Tõnu Tamme koostatud õppevahend, mis käsitleb loogilise programmeerimise aluseid ja rakendusi. Teos avab programmeerimist kui teadmiste baasi kujundamise viisi ning juhatab lugeja samm-sammult erinevate kontseptsioonide ja meetoditeni. Läbivaks jooneks on loogika rakendamine algoritmiliste probleemide lahendamisel, pakkudes alternatiivi imperatiivsele ja objektorienteeritud lähenemisele. Raamat on üles ehitatud nii, et see toetaks üliõpilasi ja iseseisvaid õppijaid loogilise programmeerimise süsteemses omandamises.

Sisukorra põhjal on teoses vaatluse all lai teemadering. Eraldi peatükid on pühendatud tehetele ja aritmeetikale, listide kasutamisele ning keerulisemate ülesannete lahendamisele. Autor tutvustab metapredikaate ja tekstitöötluse võtteid, samuti grammatikaid ja loogilise programmeerimise lahenduste ehitust. Need peatükid loovad tervikliku pildi sellest, kuidas loogiline programmeerimine võimaldab modelleerida teadmisi ja luua süsteeme, mis põhinevad reeglitele ja seostele tugineval mõtlemisel. Raamat ei piirdu üksnes teoreetilise käsitlusega, vaid suunab lugejat ka praktiliste näidete kaudu rakendama õpitud võtteid.

Tõnu Tamme on Eesti arvutiteadlane ja õppejõud, kelle tööd on olnud seotud eelkõige programmeerimise teooria ja meetoditega. Ta on Tartu Ülikoolis õpetanud arvutiteaduse tudengeid ning koostanud mitmeid õppematerjale, mis aitavad keerukaid teemasid süstemaatiliselt ja arusaadavalt edasi anda. Tema panus seisneb eelkõige selles, et ta on toonud loogilise programmeerimise õppeprotsessi osana lähemale Eesti tudengitele, muutes rahvusvaheliselt tuntud teemad kättesaadavaks eesti keeles ja kohaliku konteksti arvestades.