V knige rassmatrivayutsya matematicheskie modeli i metody analiza funktsionalnykh programm. Osnovnoe vnimanie udeleno teorii funktsiy, vychislyaemykh fuktsionalnymi programmami (eti funktsii nazyvayutsya naimenshimi nepodvizhnymi tochkami funktsionalnykh programm). Takzhe izlagayutsya osnovnye metody verifikatsii funktsionalnykh programm: metod vychislitelnoy induktsii i metod strukturnoy induktsii. V knige soderzhitsya bolshoe kolichestvo zadach na dokazatelstvo razlichnykh svoystv funktsiy, vychislyaemykh funktsionalnymi programmami. Kniga prednaznachena dlya studentov vysshikh...