В данной дисциплине изучаются основы логического проектирования цифровых схем от простых комбинационных узлов до цифровых автоматов. Причем, рассматриваются и классические подходы, позволявшие выполнять проектирование цифровых схем вручную, и современные методы, позволяющие с помощью средств автоматизированного проектирования избавить проектировщика от рутинного «ручного труда».