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

Get an email once the item is available
Do you have a profile? Log in
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 ( e.g. Paperback Book )