Teoriq funkcional'nyh programm

V knige rassmatriwaütsq matematicheskie modeli i metody analiza funkcional'nyh programm. Osnownoe wnimanie udeleno teorii funkcij, wychislqemyh fukcional'nymi programmami (äti funkcii nazywaütsq naimen'shimi nepodwizhnymi tochkami funkcional'nyh programm). Takzhe izlagaütsq osnownye metody werifikacii funkcional'nyh programm: metod wychislitel'noj indukcii i metod strukturnoj indukcii. V knige soderzhitsq bol'shoe kolichestwo zadach na dokazatel'stwo razlichnyh swojstw funkcij, wychislqemyh funkcional'nymi programmami. Kniga prednaznachena dlq studentow wysshih uchebnyh zawedenij, obuchaüschihsq po special'nostqm "teoreticheskie osnowy informatiki" i "informacionnaq bezopasnost'". Takzhe ona predstawlqet interes dlq specialistow w dannyh oblastqh.