Pré-requisito(s): Não tem.

Ementa:
Teoria dos Conjuntos. Relações e Funções. Indução. Estruturas Algébricas. Reticulados. Algebra Booleana. Noções de grafos.

Bibliografia:

• J. P. Tremblay, R. Manohar, "Discrete Mathematical Structures with Applications to Computer Science", McGraw-Hill Computer Science Series, USA.<$>
• Prater, Ronald E. Discrete Mathematical Structures for Computer Science., Boston: Houghton Mifflin, 1976.
• R. Skvarcius, W. B. Robinson, "Discrete Mathematics with Computer Science Application", Benjamin/Cummings Publishing Company Inc. <$>
• W. R. Tunnicliffe, "Mathematics for Programmers", Prentice-Hall, Great Britain. <$>
• Halmos . P.R., "Teoria Ingênua dos Conjuntos", Editora Polígono, 1973.
• Domingues, H. H. & IEZZI, G.: Álgebra Moderna. Atual, 1979.
• PREPARATA, Franco P. & YEH, Raymond T. : Introduction to Discrete Strutures for Computer Science and Engineering. Reading: Addison-Wesley, 1973.

 

 
 
 

Pré-requisito(s): Não tem.

Ementa:

Sistemas de numeração. Aritmética binária. Códigos. Álgebra booleana e Circuitos Lógicos. Circuitos básicos. Minimização. Circuitos a contato(relé). Síntese de circuitos combinacionais. Registradores. Estados. Circuitos sequenciais Mealy e Moore.

Bibliografia:

• Moris M. Mano, "Digital Systems", Wiley. <$>

 

 <$> (aumentar)

Pré-requisito(s): Não tem.

Ementa:

Funções e programação de computadores. Dados e funções. Tipos atômicos: números, símbolos e cadeias. Listas. Expressões condicionais. Programação aplicativa. Programação com recursão.

Bibliografia:

• D. S. Tourentzky, "Common LISP: A gentle introduction to simbolic computation", The Benjamin/Cummings Publish. <$>
• H. Abelson, A. Sussman, "Structure and interpretation of Computer Programs", The MIT Enginering and Computer Science Series. <$>
• R. Bird, and P. Wadler, "Introduction to Functional Programming", Prentice-Hall <$>
• S. Meira, "Programação Funcional", 7^a Escola de Computação <$>

Pré-requisito(s): Não tem.

Ementa: Apresentação de forma abrangente e introdutória dos principais temas tratados na área:  Organização e manipulação de Dados; Sistemas Operacionais e Redes de Computadores; Algoritmos; Linguagens de Programação; Engenharia de Software; Inteligência Artificial; Teoria da Computação.

Bibliografia:

•   J.Glenn Brookshear; Ciência da Computação – Uma visão Abrangente; Bookman, 5^a. Edição, Porto Alegre, 2000.
• <$>

   

Pré-requisito(s): Não tem.

Ementa:

Números reais e desigualdades. Funções reais. . Limite. Continuidade. Derivada. Fórmula de Taylor. Máximos e mínimos. Gráfico de Funções. Integral. Teorema Fundamental do Cálculo. Áreas e volumes. Funções Transcendentes. Métodos de Integração. Integrais impróprias.

Bibliografia:

• A DEFINIR <$>

Pré-requisito(s): Não tem.

Ementa:

Coordenadas cartesianas no plano. A equação da reta. A equação da circunferência. Vetores em R . Produto interno, produto vetorial, produto misto. Equações de retas e planos. Interseção de planos. Distância de ponto à reta e à plano.

Bibliografia:

• A DEFINIR <$>