Carregando...

DISCIPLINA Listagem de Ementa/Programa

FUNDAMENTOS TEÓRICOS DA COMPUTAÇÃODISCIPLINA 113450

VER OFERTA

ÓrgãoCIC Departamento de Ciência da Computação
Código113450
DenominaçãoFundamentos Teóricos da Computação
NívelGraduação
Vigência2000/2
Pré-requisitosDisciplina sem pré-requisitos
Ementa

Estudo de fundamentos de lógica, técnicas de prova, indução matemática, teoria de conjuntos, análise combinatória, funções, recursão, relações em conjuntos.

Bibliografia

Básica
Kenneth H. Rosen. Discrete Mathematics and Its Applications. Mc-Graw Hill, 7th Edition, 2011. ISBN: 0073383090, 9780073383095.
Kenneth H. Rosen. Matemática Discreta e suas Aplicações. Mc-Graw Hill, Tradução da 6a. edição em inglês, 2012. ISBN 978-85-77260-36-2.
Ronald L. Graham, Donald E. Knuth, Oren Patashnik, Concrete Mathematics: A Foundation for Computer Science, 2a Edição, Addison-Wesley Professional, 1994.
Complementar
Paul R. Halmos. Teoria ingênua dos conjuntos (Coleção Clássicos da Matemática). Editora Ciencia Moderna, 2001. ISBN 8573931418, 9788573931419.
Paulo Blauth Menezes, Matemática Discreta para Computação e Informática, 2a. edição, Sagra Luzzatto / Instituto de Informática da UFRGS, Porto Alegre, 2006.
E. R. Scheinerman, Matemática Discreta, Thomson, São Paulo, 2006.
A. C. O. Morgado, J. B. P. Carvalho, P. C. P. Pinto, P. Fernandez, Análise Combinatória e Probabilidade, 6a. edição, SBM, Rio de Janeiro, 1997.
Grassmann. Logic And Discrete Mathematics: A Computer Science Perspective. Pearson Education, 01/09/2007 - 786 páginas