Logicheskie metody algoritmizacii w teorii uprawlqüschih sistem

ISBN-13: 9786139926381 / Rosyjski / Miękka / 2018 / 200 str.

Vosil Kabulovich Kabulov; Anvar Vasilovich Kabulov; Ibrohimali Holmamatovich Normatov

Opis

V knige izlagajutsya metody diskretnoj matematiki i ih primenenie dlya resheniya prikladnyh zadach v matematicheskoj kibernetike. Formulirujutsya principy resheniya sistem bulevyh uravnenij i resheniya nekotoryh jextremal'nyh zadach metodami rasshifrovki i poiska maximal'nogo verhnego nulya diskretnyh monotonnyh funkcij. Monografiya budet polezna specialistam, zanimajushhimsya prilozheniyami metodov matematicheskoj logiki i algoritmizacii.

O autorze

Kabulow, Vosil Kabulowich
KABULOV VOSIL KABULOVICh (1921-2010), doktor fiziko-matematicheskih nauk, professor, akademik AN RUz, byl chlenom Soweta prezidentow Mezhdunarodnoj inzhenernoj akademii, rukowoditelem Inzhenernoj federacii Uzbekistana. Laureat Gosudarstwennoj premii Respubliki Uzbekistan imeni Abu Rajhana Beruni, zasluzhennyj deqtel' nauki Uzbekistana.