1329:-
Uppskattad leveranstid 7-11 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Pocket/Paperback
- ISBN: 9783659579875
- Språk: Engelska
- Antal sidor: 176
- Utgivningsdatum: 2014-08-15
- Förlag: LAP Lambert Academic Publishing