Esta disciplina apresentará abstrações de elementos de sistemas digitais tais como a lógica digital, a álgebra booleana, flip-flops e máquinas de estado finito.

O aluno deverá projetar pequenos sistemas digitais baseados nestas abstrações validando-os através de simulações digitais. Com isto o aluno estará apto a dominar a complexidade de sistemas digitaisutilizando primariamente conceitos/abstrações e a partir daí saber aplicar adequadamente ferramentas computacionais para simplificar e otimizar seus projetos.