Logicheskie metody algoritmizacii w teorii uprawlqüschih sistem

V knige izlagaütsq metody diskretnoj matematiki i ih primenenie dlq resheniq prikladnyh zadach w matematicheskoj kibernetike. Formuliruütsq principy resheniq sistem bulewyh urawnenij i resheniq nekotoryh äxtremal'nyh zadach metodami rasshifrowki i poiska maximal'nogo werhnego nulq diskretnyh monotonnyh funkcij. Monografiq budet polezna specialistam, zanimaüschimsq prilozheniqmi metodow matematicheskoj logiki i algoritmizacii.