Diretoria dos Cursos de Informtica

CURSO: SISTEMAS DE INFORMAO

Plano de Ensino - 1 Semestre

Nome da Disciplina:
Lgica Computacional

Carga Horria: 80 horas

Ementa: Sistemas dicotmicos. Operaes lgicas sobre proposies. Construo

de tabelas-verdade. Relaes de implicao e equivalncia. Argumento vlido.

Bibliografia Bsica:
ALENCAR FILHO, E. de; Iniciao lgica matemtica; So Paulo: Nobel; ; 2009
DAGHLIAN, J.; Lgica e lgebra de Boole; 4 ed., So Paulo: Paz e Terra; 2009
SILVA, F.C.; FINGER, M.; MELO, A. C. V.; Lgica para computao; So Paulo:
Thomson, Cengale Learning; 2006.
Bibliografia Complementar:
DALTRINI, B.M.; JINO, M.; MAGALHES, L.P.; Introduo a Sistemas de
Computao Digital; Paz e Terra; So Paulo, 1999.
FORBELLONE, A. L. V. EBERSPACHER, H. F.; Lgica de programao: a
construo de algoritmos e estruturas de dados; 3 ed., So Paulo: Pearson
Prentice Hall; 2008
IDOETA, Ivan Valeije; CAPUANO, Francisco Gabriel.; Elementos de eletrnica
digital; 40 Ed., So Paulo: rica; 2009
SOUZA, J. N. de; Lgica para cincia da computao: fundamentos de linguagem,
semntica e sistemas de deduo; Rio de Janeiro: Elsevier, 2002.
TANENBAUM. A.; Organizao Estruturada de computadores; 5;Ed., So
Paulo:Prentice Hall, 2009.