Lógica Proposicional: Sintaxe e Semântica. Álgebra de Boole. Portas Lógicas. Circuitos Lógicos.
BIBLIOGRAFIA BÁSICA
NUNES DE SOUZA, J. Lógica para Ciência da Computação. 1ª ed. São Paulo: Elsevier, 2002.
GERSTING, J. L. Fundamentos matemáticos para a ciência da computação. 5ª ed. Rio de Janeiro: LTC, 2004.
MENEZES, P.B.; Matemática discreta para Computação e Informática. Porto Alegre, Sagra-Luzzatto. Instituto de Informática da UFRGS, Série Livros Didáticos, número 16, 2004.
BIBLIOGRAFIA COMPLEMENTAR
Daghlian, Jacob. Lógica e álgebra de Boole. São Paulo: Atlas, 1995.
SKVARCIUS, Romualdes; ROBINSON, William B.. Discrete Mathematics with Computer Science Applications. Redwood City: Benjamin/Cummings, 1986.
EVARISTO, Jaime. Introdução à álgebra com aplicações à ciência da computação.EdUFAL, 1999.
SCHEINERMAN, E.R.. Matemática discreta: uma introdução. São Paulo. Thomson Learning
Ltda. 2003.
SCHEINERMAN, Edward R.: Matemática Discreta Uma Introdução. Thomson Pioneira, 2003.
BEZERRA, L.H; BARROS, P.H.V.; TOMEI. C.; WILMER, C.; Introdução à Matemática. Florianópolis. Editora da UFSC, 1995.