Teoriya funktsional'nykh programm

ISBN-13: 9783659579875 / Rosyjski / Miękka / 2014 / 176 str.

Mironov Andrey

Opis

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 uchebnykh zavedeniy, obuchayushchikhsya po spetsialnostyam "teoreticheskie osnovy informatiki" i "informatsionnaya bezopasnost". Takzhe ona predstavlyaet interes dlya spetsialistov v dannykh oblastyakh.

O autorze

A.M.Mironov rodilsya 4 avgusta 1966 goda v g. Moskve. Uchilsya na mekhaniko-matematicheskom fakul'tete Moskovskogo Gosudarstvennogo Universiteta (MGU) im. M. V. Lomonosova. V nastoyashchee vremya rabotaet v institute problem informatiki Rossiyskoy Akademii nauk i prepodaet na mekhaniko-matematicheskom fakul'tete MGU.