Andrej Mironow

Broschiertes Buch

Teoriq funkcional'nyh programm

Beschreibung

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.

Autor

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.

Produktdetails

• Verlag: LAP Lambert Academic Publishing
• Seitenzahl: 176
• Erscheinungstermin: 15. August 2014
• Russisch
• Abmessung: 220mm x 150mm x 11mm
• Gewicht: 280g
• ISBN-13: 9783659579875
• ISBN-10: 3659579874
• Artikelnr.: 41456558