Versão 2008 (.pdf) - Instituto de Informática - UFG

Projeto Pedagógico do Curso Ciências da Computação INF/UFG
Livros complementares:
01. SUDKAMP, Thomas A., Languages and Machines. Addison Wesley Publishing
Company. 1997. Second Edition.
02. WOOD, D. Theory of Computation, EUA : John Wiley & Sons, 1987..
03. SIPSER, M. Introduction to the Theory of Computation. EUA : PWS Pub. Co.,
1997.
04. MORET, B.M. The Theory of Computation. EUA : Addison-Wesley Pub. Co.,
1997.
05. MENEZES, Linguagens Formais e Autômatos, Série UFRGS 03, Editora
Sagra.
21 Lógica Matemática
Ementa:
Lógica Proposicional. Proposições e conectivos. Operações Lógicas sobre
proposições. Construção de tabelas-verdade. Tautologias, contradições e
contingências. Implicação Lógica. Equivalência Lógica. Álgebra das proposições.
Métodos para determinação da validade de fórmulas da Lógica Proposicional.
Demonstração condicional e demonstração indireta. Lógica de Predicados.
Bibliografia efetivamente adotada:
Livros texto:
01. SOUZA, João Nunes de. Lógica para Ciência da Computação. Editora
Campus 2002.
02. Alencar Filho, Edgard de, Iniciação à Lógica Matemática. Ed. Nobel 2002.
Livros Complementares:
01. Mendelson, E. Introduction to Mathematical Logic. Lewis Publishers, Inc.
1997.
02. Enderton, H. A Mathematical Introduction to Logic. Academic Press 2000
03. DAGHLIAN, Jacob, Lógica e Álgebra de Boole. –4a edição, Atlas, S. A . São
Paulo, 1995.
22 Matemática Discreta
Ementa:
Conjuntos, Relações, funções, ordens parciais e totais, Indução matemática,
recursão, Teoria de números, criptografia.
Bibliografia efetivamente adotada:
Livros textos:
01. GERSTING, Judith L., Fundamentos Matemáticos para a Ciência da
Computação. 3 a . edição, Editora LTC.
02. SCHEINERMAN, E. . MATEMATICA DISCRETA, THOMSON PIONEIRA,
2003.
Livros Complementares:
01. ROSEN, K. Discrete Mathematics and its Applications. McGraw-Hill
34