Metody diskretnoj matematiki w proektirowanii cifrowyh ustrojstw

Rassmatriwaütsq zadachi diskretnoj matematiki, woznikaüschie pri logicheskom proektirowanii cifrowyh ustrojstw i sistem. Predstawleny metody resheniq takih zadach kombinatornoj optimizacii, kak poisk kratchajshego pokrytiq mnozhestwa, raskraska grafa i dr. Opisany klassicheskie metody minimizacii bulewyh funkcij i sistem bulewyh funkcij w terminah bulewyh i troichnyh wektorow i matric. Rassmotreny takzhe zadachi dekompozicii bulewyh funkcij. Izlozheny metody proektirowaniq cifrowyh ustrojstw, ispol'zuüschie klassicheskie modeli konechnogo awtomata. Detal'no rassmatriwaetsq zadacha minimizacii chisla sostoqnij polnyh i chastichnyh awtomatow. Opisany metody kodirowaniq sostoqnij awtomata pri sinhronnoj i asinhronnoj realizacii, w tom chisle metody, obespechiwaüschie umen'shenie änergopotrebleniq proektiruemogo ustrojstwa. Prednaznachaetsq dlq studentow, aspirantow i specialistow, zanimaüschihsq proektirowaniem cifrowyh ustrojstw.