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 seqüêncial. História e Evolução da Lógica Introdução à Lógica Elementar Clássica. Lógica Indutiva e Dedutiva. Lógica proposicional: Proposições e conectivos. Recursão.