Pré-requisito(s): Cálculo II, Geometria Analítica.

Ementa:

Equações diferenciais ordinárias. Equações diferenciais linerares, de segunda ordem e de ordem superior. Transformada de Laplace. Sitemas de equações diferenciais lineares. Séries Numéricas. Séires de Funções. Soluções de equações diferenciais por séries. Equações de Legendre e Bessel.

Bibliografia:

• BIBLIOGRAFIA A DEFINIR <$>

Pré-requisito(s): Geometria Analítica

Ementa:

Matrizes. Sistemas de equações lineares. Métodos de Gauss. Forma escada. Matrizes elementares. Determinantes. Espaços vetoriais. Coordenadas. Mudança de base. Transformações lineares. Auto valores e auto vetores. Diagonalização. Produto interno. Operadores Simétricos.

Bibliografia:

• BIBLIOGRAFIA A DEFINIR <$>

Pré-requisito(s): Física Geral I.

Ementa:
Lei de Coulomb, campo e potencial elétrico. Leis de Gauss, capacidade. Corrente elétrica. Leis de Kirchoff. Campo magnético: Indução magnética, Materiais dielétricos e materiais magnéticos. Equações de Maxwell. Ondas eletromagnéticas. Noções de óptica física. Tópicos de física moderna e aspectos de dispositivos de estado sólido.

Bibliografia:

• BIBLIOGRAFIA A DEFINIR <$>

Pré-requisito(s): Programação II.

Fundamentos de Análise de Algoritmos; Recursividade; Alocação dinâmica de memória; Conceito de Tipos Abstratos de Dados; Vetores, Matrizes, Listas, Pilhas, Filas, Árvores e Grafos como Tipos Abstratos de Dados; Implementação de Tipos Abstratos de Dados. Estudo de uma linguagem de programação que tenha recursos para utilização de tipos abstratos de dados e desenvolvimento de software básico.

Bibliografia:

• J. A. V. Salcedo e outros, "Estructuras de Datos : Um enfoque desde Tipos Abstractos de Dados", <$>
• Universidad de los Andes. Facultad de Ingeniería. Departamento de Sistemas y Computación. A.A. 4976 - Bogotá, Colombia. 1988.
• D. E. Knuth, "The Art of Computer Programming - Vol. 3", Adson-Wesley. <$>
• N. Wirth, "Algoritmos e Estuturas de Dados", Prentice Hall. <$>
• E. Horowitz, S. Sartaj, "Fundamentos de Estruturas de Dados", Editora Campus. <$>J.A.V. Salcedo, "Diseño y manejo de Estructuras de Datos en C", McGraw-Hill, 1996.

Pré-requisito(s): Aspectos Teóricos da Computação.

Ementa:
Funções Computáveis. Funções Recursivas. Tese de Church. Máquinas de Turing. Decidibilidade. Conjuntos recursivamente enumeráveis.

Bibliografia:

• J. Hopcroft, J. Ullman, "Introduction to Automato Theory, Languagens and Computation", Addison-Wesley Publishing Company. <$>
• R. Skvarcius, W. Robinson, "Discrete Mathematics with Computer Science Aplications", The Benjamin/Cummings Publishing Company. <$>
• W. Brainerd, L. Landweber, "Theory of Computation", John Wiley & Sons. <$>
• H. Lewis, C. Papadimitriou, "Elements of the Theory of Computaion", Prentice-Hall. <$>