Hulgad, valemid, algoritmid

„Hulgad, valemid, algoritmid“ on akadeemiline käsiraamat, mis annab sissejuhatuse hulgateooria põhikontseptsioonidesse ning seob need loogika ja algoritmika olulisemate ideedega. Raamat selgitab hulgateooria mõisteid ja postulaate, mis moodustavad suure osa matemaatika formaalsest alusest. Lisaks käsitletakse Thue asenduste süsteeme ja Markovi normaalalgoritme, avades seeläbi ka matemaatilise loogika ja teoreetilise informaatika põhisuundi. Teos on üles ehitatud nii, et lugeja saab ülevaate olulisematest ideedest, mis on vajalikud edasisteks õpinguteks arvutiteaduse ja matemaatika vallas.

Raamat sobib kasutamiseks nii õppevahendina ülikoolides kui ka iseseisvaks lugemiseks neile, kes soovivad paremini mõista matemaatika ja informaatika teoreetilisi aluseid. Tekst annab vajaliku tausta, et mõista algoritmilise mõtlemise olemust ning loogikasüsteemide seoseid hulgateooriaga. Autor püüab esitada keerulisi teemasid võimalikult arusaadavalt, säilitades samas matemaatilise täpsuse. Seetõttu on teos abiks nii informaatika ja matemaatika eriala tudengitele kui ka laiemale huviliste ringile, kes soovib põhjalikumalt tutvuda formaalsete süsteemide ja algoritmide ehituse loogikaga.

Peeter Lorents (sündinud 1951) on eesti matemaatik ja informaatik, kelle uurimisvaldkonnad on seotud loogika, algoritmide ja süsteemiteooriaga. Ta on olnud pikka aega seotud Eesti Infotehnoloogia ja Telekommunikatsiooni Liiduga ning töötanud õppejõuna, sealhulgas EBSi Infotehnoloogia õppetooli juhatajana. Tema teadustöö ja õppevahendid on aidanud kujundada informaatika kui eriala arengut Eestis. „Hulgad, valemid, algoritmid“ on osa tema panusest haridus- ja teadustöösse, pakkudes ühtaegu süsteemset sissevaadet ning praktilist tuge üliõpilastele ja teadushuvilistele.