Teoriya Funktsional'nykh Programm - Andrey Mironov - Books - LAP LAMBERT Academic Publishing - 9783659579875 - August 15, 2014
In case cover and title do not match, the title is correct

Andrey Mironov
Teoriya Funktsional'nykh Programm Russian edition

Price
R 1,086
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Oct 5 - 9
Get notified about new Andrey Mironov releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

V knige rassmatrivayutsya matematicheskie modeli i metody analiza funktsional'nykh programm. Osnovnoe vnimanie udeleno teorii funktsiy, vychislyaemykh fuktsional'nymi programmami (eti funktsii nazyvayutsya naimen'shimi nepodvizhnymi tochkami funktsional'nykh programm). Takzhe izlagayutsya osnovnye metody verifikatsii funktsional'nykh programm: metod vychislitel'noy induktsii i metod strukturnoy induktsii. V knige soderzhitsya bol'shoe kolichestvo zadach na dokazatel'stvo razlichnykh svoystv funktsiy, vychislyaemykh funktsional'nymi programmami. Kniga prednaznachena dlya studentov vysshikh uchebnykh zavedeniy, obuchayushchikhsya po spetsial'nostyam "teoreticheskie osnovy informatiki" i "informatsionnaya bezopasnost'". Takzhe ona predstavlyaet interes dlya spetsialistov v dannykh oblastyakh.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 15, 2014
ISBN13 9783659579875
Publishers LAP LAMBERT Academic Publishing
Pages 176
Dimensions 152 × 229 × 10 mm   ·   280 g
Language German  

See all of Andrey Mironov