Recomienda este artículo a tus amigos:
Teoriya Funktsional'nykh Programm Andrey Mironov Russian edition
Teoriya Funktsional'nykh Programm
Andrey Mironov
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.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 15 de agosto de 2014 |
| ISBN13 | 9783659579875 |
| Editores | LAP LAMBERT Academic Publishing |
| Páginas | 176 |
| Dimensiones | 152 × 229 × 10 mm · 280 g |
| Lengua | Alemán |