46,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
  • Broschiertes Buch

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,…mehr

Produktbeschreibung
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.
Autorenporträt
A.M.Mironow rodilsq 4 awgusta 1966 goda w g. Moskwe. Uchilsq na mehaniko-matematicheskom fakul'tete Moskowskogo Gosudarstwennogo Uniwersiteta (MGU) im. M. V. Lomonosowa. V nastoqschee wremq rabotaet w institute problem informatiki Rossijskoj Akademii nauk i prepodaet na mehaniko-matematicheskom fakul'tete MGU.