Introdução à Lógica Elementar Clássica. Lógica Indutiva e Dedutiva. Lógica proposicional. Sistemas de numeração. Álgebra de Boole: Funções Boolenas e circuitos lógicos, tabelas de verdade, equivalência lógica, diagramas de Karnaugh. Noções de lógica combinacional e sequencial.