Osnowy teorii proektirowaniq cifrowyh ustrojstw

Vwodqtsq osnownye ponqtiq teorii mnozhestw i otnoshenij, izlagaütsq osnowy teorii grafow, abstraktnoj bulewoj algebry s razlichnymi interpretaciqmi. Rassmatriwaütsq zadachi kombinatornoj optimizacii, woznikaüschie pri logicheskom proektirowanii cifrowyh ustrojstw. Rassmatriwaütsq razlichnye metody minimizacii bulewyh funkcij i ih sistem, a takzhe metody dekompozicii bulewyh funkcij. Zatragiwaütsq woprosy realizacii bulewyh funkcij. Izlagaütsq metody logicheskogo proektirowaniq, ispol'zuüschie model' konechnogo awtomata w ego sinhronnoj i asinhronnoj realizacii. Material, izlozhennyj w knige, postroen na osnowe lekcij, chitaemyh awtorom na protqzhenii rqda let studentam Belorusskogo gosudarstwennogo uniwersiteta informatiki i radioälektroniki. Kniga prednaznachena dlq studetow i aspirantow, specializiruüschihsq w oblasti proektirowaniq cifrowyh ustrojstw.