Teoriya Funktsional'nykh Programm - Andrey Mironov - Knjige - LAP LAMBERT Academic Publishing - 9783659579875 - 15. avgusta 2014
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Teoriya Funktsional'nykh Programm Russian edition

Cena
€ 60,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 26. nov - 4. dec
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Andrey Mironov
Dodaj na svoj seznam želja iMusic

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.

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 15. avgusta 2014
ISBN13 9783659579875
Založniki LAP LAMBERT Academic Publishing
Strani 176
Dimenzije 152 × 229 × 10 mm   ·   280 g
Jezik Nemščina