Teoriya Funktsional'nykh Programm - Andrey Mironov - Libros - LAP LAMBERT Academic Publishing - 9783659579875 - 15 de agosto de 2014
En caso de que portada y título no coincidan, el título será el correcto

Teoriya Funktsional'nykh Programm Russian edition

Precio
Mex$ 1.146
sin IVA

Pedido desde almacén remoto

Entrega prevista 8 - 20 de oct.
Recibe notificaciones sobre nuevos lanzamientos de Andrey Mironov
Añadir a tu lista de deseos de iMusic

Aún no valorado

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