Matemática Computacional

Carga Horária

96 horas.

Professores

Ementa

Pré-cálculo: Números reais e noções de distância, intervalos e vizinhanças; Funções reais; Funções trigonométricas e Funções logarítmicas. Cálculo: Limite e Continuidade; Derivadas; Regras de Derivação; Regra da cadeia; Derivadas de Funções Inversas; Teorema do Valor Médio. Máximos e Mínimos e Aplicações. Construção de Gráficos. Regra de L’Hôspital. Fórmula de Taylor.

Bibliografia

Carga Horária

64 horas.

Professores

• ERICA BOIZAN BATISTA

Ementa

Matrizes, determinantes e sistemas, álgebra de vetores no plano e no espaço, combinação linear, retas e planos, cônicas e quádricas.

Bibliografia

• Livro: Steinbruch, Alfredo & Winterle, Paulo. Geometria Analítica.

Carga Horária

64 horas.

Professores

• CARLOS VINICIUS GOMES COSTA LIMA

Ementa

Teoria intuitiva dos conjuntos. Operações com conjuntos. Álgebra de Conjuntos. Relações: de equivalência; ordem. Funções. Coleções de conjuntos. Conjuntos Numéricos. Cardinalidade. Técnicas de Demonstração: prova direta; prova por contradição; indução finita. Introdução à Análise Combinatória. Princípios: multiplicativo; aditivo; de inclusão; exclusão. Permutação, arranjo, combinação. Princípio da casa dos pombos. Funções geradoras. Partição de um inteiro. Relações de recorrência.

Bibliografia

• Judith L. Gersting. Fundamentos matemáticos para a ciência da computação: matemática discreta e suas aplicações.. 7ª. LTC. 2017
• Kenneth H. Rosen. Discrete Mathematics and its Applications. 7ª. McGraw-Hill. 2012

Carga Horária

64 horas.

Professores

• LASZLON RODRIGUES DA COSTA
• NELSON CARVALHO SANDES

Ementa

Funcionamento de um computador digital; conceitos básicos de algoritmos; variáveis; expressões; identificadores; entrada de dados; operadores; comando if-else; comando switch; expressão condicional; laços for, while, do-while; funções; vetores e matrizes; caracteres; strings; ponteiros e funções; operações com ponteiros; ponteiros e vetores; ponteiros e strings; alocação dinâmica; estruturas; estruturas e funções; arquivos.

Bibliografia

• André Backers.. Linguagem C. Completa e Descomplicada. 2. LTC.. 2018
• Flavio Varejão. Introdução à programação: Uma nova abordagem usando C.. 2. Elsevier. 2014

Carga Horária

64 horas.

Professores

Ementa

O método das frações parciais. Integrais impróprias. Aplicações da integral. Sequências e séries numéricas. Séries de potências. Funções de duas e três variáveis. Limite e continuidades. Derivadas parciais. Regra da cadeia. Máximos e mínimos. Multiplicadores de Lagrange. Fórmula de Taylor para funções de duas variáveis.

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

Matrizes, determinantes e sistemas lineares Espaços vetoriais; transformações lineares; espaço vetorial com produto interno; operadores lineares; autovalores e autovetores; operadores e produto interno; diagonalização de operadores.

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

Análise Exploratória de Dados. Elementos Básicos de Teoria das Probabilidades. Variáveis Aleatórias e Distribuições de Probabilidade Discretas e Contínuas. Amostragem. Estimação e Testes de Hipóteses de Média, Variância e Proporção. Testes de Aderência, Homogeneidade e Independência. Análise de Variância. Regressão Linear Simples e Correlação.

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

Cinemática da partícula. Força e Leis de Newton. Dinâmica da partícula. Trabalho e energia. Conservação da energia. Sistemas de partículas. Centro de massa. Conservação do momento linear. Colisões. Cinemática rotacional. Dinâmica da rotação. Torque. Conservação do momento angular.

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

Conceitos básicos: classes, objetos, mensagens, encapsulamento, herança, polimorfismo. Programação orientada a objetos utilizando uma linguagem de programação orientada a objetos (Java). Análise e projeto orientados a objetos. UML. Padrões de projeto de software.

Bibliografia

Carga Horária

64 horas.

Professores

• FRANCISCO CALVI DA CRUZ JUNIOR

Ementa

Coordenadas polares, cilíndricas e esféricas. Integrais duplas e Triplas e Aplicações. Funções Vetoriais e curvas. Campos de vetores. Integral de linha. Integral de Superfície. Teoremas de Green, Gauss e Stokes.

Bibliografia

• Hamilton Luiz Guidorizzi. Um Curso de Cálculo, Vol. 2. . LTC. 2005
• Hamilton Luiz Guidorizzi. Um Curso de Cálculo, Vol. 3. . LTC. 2005

Carga Horária

64 horas.

Professores

• MARIO HENRIQUE GOMES PACHECO

Ementa

Carga elétrica, campo elétrico e a Lei de Gauss. Potencial elétrico, capacitores e dielétricos. Corrente e resistência elétricas. Campo Magnético e Lei de Ampère. Lei da Indução de Faraday e Indutância. Propriedades Magnéticas da Matéria.

Bibliografia

• Resnick. Fundamentos de Física Volume 3. 9ª. LTC. 2009

Carga Horária

64 horas.

Professores

• MAYARA WANESSA ALVES DOS SANTOS

Ementa

Implementação de algoritmos de ordenação. Implementação de Estruturas de Dados lineares: listas, filas e pilhas. Implementação de Estruturas de Dados não-lineares: árvores, árvores binárias de busca e heaps.

Bibliografia

• CORMEN, T.H.; LEISERSON, C.E.; RIVEST, R.L.; STEIN, C. Laboratório de Algoritmos e Estruturas de Dados. 3. LTC. 2019
• CORMEN, T.H.; LEISERSON, C.E.; RIVEST, R.L.; STEIN, C.. Algoritmos: teoria e prática. 3. LTC. 2009

Carga Horária

96 horas.

Professores

• LUIS HENRIQUE BUSTAMANTE DE MORAIS

Ementa

Tipos abstratos de dados. Noções de análise de complexidade de algoritmos. Algoritmos de ordenação. Estruturas de dados simples: listas, filas e pilhas. Estruturas de dados avançadas e seus algoritmos: árvores binárias de busca; árvores binárias de busca balanceadas (AVL e rubro-negras); heaps e heapsort; árvores B e B+; tabelas de dispersão.

Bibliografia

• SZWARCFITER, J. L.; MARKEZON, L.. Estruturas de Dados e seus Algoritmos. 3. LTC. 2010

Carga Horária

64 horas.

Professores

Ementa

Representação Binária de números. Erros. Zeros de funções. Resolução de sistemas lineares. Interpolação. Integração numérica. Solução numérica de equações diferenciais ordinárias.

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

Conceitos Básicos. Representação de Grafos. Ordenação Topológica. Buscas em Grafos e Dígrafos (largura e profundidade). Técnicas de Desenvolvimento de Algoritmos e Decomposição. Algoritmo Guloso. Programação Dinâmica. Aplicações das Técnicas Estudadas. Fluxo em Redes.

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

Equações Diferenciais Ordinárias de 1ª. e 2ª. ordens e aplicações. Equação linear de ordem superior. Sistemas de Equações Lineares. Transformada de Laplace. Método das Séries de Potência, Problemas de contorno.

Bibliografia

Carga Horária

96 horas.

Professores

Ementa

Espaços vetoriais de dimensão finita: geradores; bases. Transformações lineares: representações matriciais; núcleo; imagem. Polinômios e operadores. Teorema da decomposição primária. Teorema da decomposição cíclica. Operadores normais. Decomposição normal.

Bibliografia

Carga Horária

96 horas.

Professores

• FRANCISCO PEREIRA CHAVES

Ementa

Números reais. Funções reais. Funções deriváveis. Funções, trigonométricas, logaritmas e exponenciais. Integração. Integrais impróprias. Sucessão e série de funções.

Bibliografia

• Elon Lages Lima. Análise Real, vol. 1. . IMPA. 2010
• Djairo G. Figueiredo. Análise I. 2. ed. LTC. 1996
• Robert G. Bartle. Elementos de Análise Real. . Elsevier. 1983

Carga Horária

64 horas.

Professores

• SAMARA COSTA LIMA

Ementa

Decomposição de valores singulares. Decomposição QR. Ortogonalização de Gram-Schmidt. Métodos: de Householder; de projeção; Gradiente Conjugado; de pré-condicionamento; de Krylov; das potências; de Lanczos; Arnoldi.

Bibliografia

• BURDEN, R. L.: FAIRES, J. D.,. Análise Numérica,. 8a ed.. Cengage Learning. 2008
• Strang, G.. Linear. Algebra and Its Applications.. . Brooks Cole.. 2005

Carga Horária

64 horas.

Professores

• STEVE DA SILVA VICENTIM

Ementa

Os números inteiros. Princípios de boa ordenaçãao e de indução. Divisibilidade. Algorítmo de Euclides. Números primos. Teorema Fundamental da Aritmética. Congruências. Aritmética Modular. Teoremas de Fermat, Euler e Wilson. Congruências de grau 1. Teorema chinês dos resíduos. Congruências de grau superior a 1. Teorema de Lagrange. Raízes primitivas. Funções importantes da Teoria dos Números. Equações Diofantinas. Aplicações da Teoria dos Números (sistemas de identificação e criptografia de chave pública).

Bibliografia

• Moreira, C. G. T. de A., Martinez, F. E. B., Saldanha, N. C. Tópicos de Teoria dos Números
• Landau, E. Teoria Elementar dos Números
• Hefez, A. Aritmética
• Shokranian, S. Uma Introdução à Teoria dos Números
• Lima, E. L. Números e Funções Reais
• Santos, J. P. de O. Introdução à Teoria dos Números

Carga Horária

64 horas.

Professores

• DIEGO FRANKIN DE SOUZA VERAS SANT ANA

Ementa

O problema de Cauchy, métodos: de passo único; equações de diferença, múltiplos passos, preditores-corretores, Runge-Kutta. Sistemas de EDO's, problemas de valor de fronteira. Aproximação por diferenças e elementos finitos para: o problema de Poisson; a equação do calor; equações hiperbólicas; equação do transporte; equações hiperbólicas.

Bibliografia

• [Vídeos] Playlist com Dicas de Calculadora Científica
• [Vídeos] Playlist com Resoluções de Algumas Equações Diferenciais
• Burden, Faires. Análise Numérica. . Cengage. 2016

Carga Horária

96 horas.

Professores

Ementa

Aplicações diferenciáveis de várias variáveis. Classes de diferenciabilidade. A regra da cadeia. A desigualdade do valor médio. Integrais. O Teorema de Schwarz. A Fórmula de Taylor. Funções implícitas. Mudança de variáveis em integrais múltiplas.

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

O Corpo dos Números Complexos. Representação Polar. Funções complexas: limites e continuidade. A derivada complexa. Exponencial e logaritmo. Sequências e séries numéricas. Séries de potências. Integração. Os teoremas de Cauchy. Singularidades e expansão de Laurent. Cálculo de integrais utilizando resíduos.

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

Programas Excel e Calc e Linguagem R; Uso do Excel, Calc e R para: Estatística descritiva e exploratória, Amostragem, Distribuições de probabilidade, Modelagem de regressão e séries temporais e Testes de Hipóteses.

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

Anéis, anéis de polinômios, ideais. Anéis quocientes. Homomorfismos. Corpos de frações. Anéis euclidianos. Irredutibilidade de polinômios.

Bibliografia

Carga Horária

64 horas.

Professores

• PAOLA RODRIGUES DE GODOY ACCIOLY

Ementa

Linguagem de montagem, montadores, ligação de programas, interrupções, interface com linguagens de alto nível, interrupções, interface com hardware. Gerenciamento de compilação de programas e bibliotecas com ferramentas como make. Modularização de código. Construção de um programa de médio porte em uma linguagem procedimental. Técnicas de depuração e testes de programas. Ferramentas auxiliares no desenvolvimento de programas. Expressões regulares, geradores de analisadores léxicos, noção básica de gramáticas, geradores de analisadores sintáticos. Entrada e saída padrão, concatenação de programas através de pipelines, linguagens de processamento de texto.

Bibliografia

• Thomas H. Cormen, Charles Eric Leiserson, Ronald Rivest, Clifford Stein. Algoritmos: Teoria e Prática. . Gen LTC. 2012

Carga Horária

64 horas.

Professores

• STEVE DA SILVA VICENTIM

Ementa

Grupos. Subgrupo normal e o grupo quociente. Teorema fundamental dos homomorfismos. Conjugação, centralizadores e normalizadores. Propriedades de p-grupos finitos. Teorema de Cauchy. Teoremas de Sylow. Produto direto de grupos. Produto direto (interno). Enunciado do Teorema de estrutura dos grupos abelianos finitos.

Bibliografia

• GARCIA, A.; LEQUAIN, Y. Elementos de Álgebra. 7. ed. Rio de Janeiro: IMPA, 2022.

Carga Horária

64 horas.

Professores

• JUSCELINO PEREIRA SILVA

Ementa

Equações de 1ª. Ordem. O problema de Cauchy. Propagação de Singularidades Ondas de Choque. Equações Semi-Lineares de 2ª. Ordem Classificação Formas Canônicas e Curvas Características. Equação de Onda. A Corda Finita. Separação de Variáveis e Séries de Fourier. Sequência e Série de Funções. Convergências Pontual e Uniforme. A Equação de Laplace. Os Problemas de Dirichlet em um Retângulos. E no Disco Unitário. A Equação de Calor. A Transformada de Fourier. A Transformada em L1. O Espaço de Schwartz A Operação de Convolução. As Identidades de Green. Princípios do Máximo. Integrais de Energia.

Bibliografia

• Valéria Iório. EDP: Um curso de graduação. Segunda edição. IMPA. 2001

Carga Horária

64 horas.

Professores

• VALDINES LEITE DE SOUSA JUNIOR

Ementa

Conjuntos: abertos; fechados. Interior, aderência e fronteira de um conjunto. Conjuntos limitados. Espaços métricos separáveis. Limite e continuidade. Homeomorfismos. Sequências convergentes e sequências de Cauchy. Espaços métricos completos. O Teorema do ponto fixo de Banach e o Teorema de Baire. Espaços métricos compactos. O teorema de Bolzano - Weierstrass. Espaços métricos conexos. Produtos cartesianos finitos de espaços métricos.

Bibliografia

• Elon Lages Lima. Espaços Métricos. 6. IMPA. 2020

Carga Horária

64 horas.

Professores

• FRANCISCA DAMIANA VIEIRA

Ementa

Curvas diferenciáveis. Triedro de Frenet. Curvas planares, convexas e de largura constante. A desigualdade isoperimétrica. Superfícies Regulares. Funções diferenciáveis em superfícies. Áreas, comprimentos e ângulos: a 1ª. forma fundamental. Aplicação de Gauss e a segunda forma fundamental. Campos de vetores. Geometria intrínsica das superfícies. Aplicações conformes e isometrias. O teorema egrégio de Gauss. Derivada covariante, transporte paralelo, curvatura geodésica

Bibliografia

• Willian Velasco. Geometria Diferencial. 1. Intersaberes. 2020
• Manfredo Perdigão do Carmo. Geometria Diferencial de Curvas e Superfícies.. 4. SBM. 2010
• Keti Tenenblat. Introdução à Geometria Diferencial. 2. Blucher. 2008

Carga Horária

64 horas.

Professores

Ementa

Teorema de Hahn-Banach (versão analítica e geométrica); Teoremas de Banach Steinhaus; Teorema da aplicação aberta; Teorema do grafo fechado; Ortogonalidade; Operadores não limitados; Adjunto; Topologias fracas; Espaços reflexivos; Espaços separáveis, Espaços uniformemente convexos; Espaços L^p: Reflexividade, Separabilidade, Dual de L^p, Convolução, Regularização; Espaços de Hilbert, Teorema da Projeção, Dual de um espaço de Hilbert, Somas Hilbertianas, Base Hilbertiana; Espectro de operadores: Definição e propriedades fundamentais, Espectro essencial, Teorema de Krein-Rutman, Operadores compactos, Teoria de Riesz-Fredholm, Espectro de operadores compactos, decomposição espectral de operadores auto-adjuntos compactos.

Bibliografia

Carga Horária

64 horas.

Professores

• DIEGO FRANKIN DE SOUZA VERAS SANT ANA

Ementa

O método dos elementos finitos; Formulação fraca de problemas unidimensionais lineares de segunda ordem; aproximações de Galerkin; Funções base dos elementos finitos; interpolação e aproximação por elementos finitos; condições de contorno; Problemas bidimensionais: problemas de valores de contorno; interpolação por elementos finitos; cálculo com elementos bidimensionais; transformação de coordenadas; elementos finitos isoparamétricos. Elementos Finitos aplicados a equações diferenciais parciais elípticas.

Bibliografia

• [Vídeo] Solução Aproximada de Formulações Fracas (Exemplo 02)
• [Vídeo] Funções de Forma Lineares
• [Vídeo] Formulação Forte e Fraca de Problemas de Valor de Contorno
• [Vídeo] Análise de Tensões em uma Barra Unidimensional
• [Vídeo] condução de calor unidimensional
• [Vídeo] Difusão Unidimensional
• [Vídeo] Método dos Elementos Finitos 07: Equação de Advecção-Difusão
• [Vídeo] Solução Aproximada de Formulações Fracas (Exemplo 03)
• [Vídeo] Método dos Elementos Finitos na Formulação Variacional
• [Vídeo] Solução Aproximada de Formulações Fracas (Exemplo 01)
• Um primeiro curso método dos elementos finitos

Carga Horária

64 horas.

Professores

Ementa

Introdução: visualização científica, de informações e de software. A visualização como ferramenta de método científico. Classificação das técnicas de visualização.. Organização e tipos de dados. Uma ferramenta computacional de visualização de dados científicos. Técnicas volumétricas baseadas em extração de superfícies. Técnicas volumétricas diretas. Comparação entre essas técnicas. Técnicas para visualização de dados vetoriais e tensoriais.

Bibliografia

Carga Horária

64 horas.

Professores

• VINICIUS PEREIRA DO SACRAMENTO

Ementa

Modelos de kNN; Noções de classificação e conglomeração; Análise de regressão; Análise de componentes principais; Análise discriminante; redes Bayesianas.

Bibliografia

Carga Horária

64 horas.

Professores

• FRANCISCO ALIXANDRE AVILA RODRIGUES

Ementa

Origens e Fundamentos da Pesquisa Operacional, Modelagem e a Estrutura dos Modelos Matemáticos de Programação Linear: Conceitos Fundamentais, Solução Gráfica em Duas Variáveis, Método Simplex Padrão, Método Simplex-Dual, Dualidade, Analise de Sensibilidade Tipos Particulares de Problemas de Programação Linear (Transporte, Assignment) Planejamento e Programação de Atividades: Planejamento e Programação pelo Método do Caminho Crítico, Introdução a PERT/CPM, Aplicações de Teoria dos Jogos.

Bibliografia

• Marcos P. E. Lins; Guilherme. M. Calôba. Programação Linear. . Interciência. 2006

Carga Horária

64 horas.

Professores

• PAULO RENATO ALVES FIRMINO

Ementa

Conceitos fundamentais; Tendências; Modelos para séries estacionárias (ARMA); Modelos para séries não-estacionárias (ARIMA); Predição; Modelos sazonais; Modelos de regressão; Modelos para heterocedasticidade.

Bibliografia

• A Géron. Hands-on machine learning with Scikit-Learn, Keras, and TensorFlow: Concepts, tools, and techniques to build intelligent systems. 2nd. O'Reilly Media, Inc.. 2022

Carga Horária

64 horas.

Professores

Ementa

Existência e unicidade de soluções: o Problema de Cauchy; Teoremas de Picard e peano; sistemas de equações diferenciais. Dependência de solução em relação às condições iniciais. Equações diferenciais lineares. Teorema de Poincaré-Bendixson.

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

Conjuntos e Funções Mensuráveis. Integral de Lebesgue. Teorema da Convergência Monótona. Teorema da convergência Dominada. Diferenciação. Funções Monótonas. Funções de Variação Limitada. Diferenciação da Integral. Medida Abstrata e Integração. Espaço de Medida. Funções Mensuráveis. Integração. Os Espaços Lp. As Desigualdades de Hölder e de Minkowski. Completamento de Lp. Medida com Sinal. O Teorema de RadomNikodym. O Teorema de Riesz em L^p. Medida de Lebesgue em R^n.

Bibliografia

Carga Horária

64 horas.

Professores

• STEVE DA SILVA VICENTIM

Ementa

Espaços topológicos; conjuntos fechados, abertos e pontos limite; topologia produto; topologia quociente; espaços conexos; componentes conexas; conexidade por caminhos; espaços compactos; compacidade local; teorema de Tychonoff; compactificação; espaços métricos completos; compacidade em espaços métricos; convergência pontual; teorema de Ascoli; espaços de Baire.

Bibliografia

• MUNKRES, J. R. Topology. 2. ed. Upper Saddle River: Prentice Hall, 2000.

Carga Horária

64 horas.

Professores

Ementa

Arquiteturas de processamento paralelo (conceitos, hierarquias de memória, classificação); métricas de desempenho: speedup e eficiência; técnicas de programação paralela para arquiteturas vetoriais, multiprocessadores, memória distribuídas; programação de propósito geral em unidades de processamento gráfico (GPGPU).

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

Sistemas Gráficos e Modelos; Programação Gráfica; Input e Interação; Objetos Geométricos e Transformações; Visualização; Pintura; Modelos de Iluminação Local. Introdução aos Shaders programáveis.

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

Conceitos básicos do escoamento de fluidos. Equações governantes e leis de conservação. Simulação de escoamentos permanentes e não-permanentes. Problemas envolvendo escoamentos compressíveis e incompressíveis. Método das diferenças finitas. Método dos volumes finitos. Consistência, precisão e estabilidade de soluções numéricas. Implementação e uso de programas computacionais para problemas de fluidodinâmica.

Bibliografia

Carga Horária

64 horas.

Professores

• DIEGO FRANKIN DE SOUZA VERAS SANT ANA

Ementa

Princípios de Fermat. e de Maupertuis. Equação de Euler-Lagrange. Aplicações do princípio variacional. Formulações Lagrangeana e Hamiltoniana da Mecânica Clássica. Problemas variacionais com vínculos. Formulação variacional de meios contínuos e Teoria Clássica de Campos. Formulação variacional de problemas de auto-valores.

Bibliografia

• [Video-Aula] 07 - Teorema: O Diferencial de um Funcional é Único!!!
• [Video-Aula] Cálculo Variacional: 01 - Introdução e Motivações
• [Video-Aula] Cálculo Variacional: 02 - Espaço Funcional, Normas e Distâncias
• [Video-Aula] 03 - Continuidade de um Funcional
• [Video-Aula] 04 - Continuidade de um Funcional (Exemplos)
• [Video-Aula] 05 - Continuidade de um Funcional (Utilizando uma função auxiliar)
• [Video-Aula] 08 - Diferencial Fraca de Funcionais
• [Video-Aula] 06 - Variacional, Funcionais Lineares e Diferencial de um Funcional
• [Video-Aula] 09 - Mais Sobre Diferenciais de Funcionais
• teste

Carga Horária

64 horas.

Professores

Ementa

Tomada de Decisão, Estrutura Matemática de um Problema Decisão, Teoria da Utilidade, Regra de Bayes, Regra de Neyman-Pearson, Regras Minimax, Verossimilhança.

Bibliografia

Carga Horária

64 horas.

Professores

• PAULO RENATO ALVES FIRMINO

Ementa

Revisão de probabilidade condicional e teorema de Bayes, o paradigma Bayesiano: distribuições a priori, função de verossimilhança e distribuição a posteriori, estimação Bayesiana (pontual e intervalar) e propriedades dos estimadores, distribuições a priori conjugadas e impróprias, introdução aos métodos MCMC (amostrador de Gibbs e MetropolisHastings), introdução ao Winbugs. Regras de decisão: funções de perda e de utilidade, teste de hipóteses Bayesianos, fator de Bayes. Aplicações em sistemas de decisões. Redes bayesianas.

Bibliografia

• BUSSAB, W. O. & MORETIN, P. A. Estatística Básica. 6a. Saraiva. 2010
• Método adaptativo de Markov Chain Monte Carlo para manipulação de modelos Bayesianos

Carga Horária

64 horas.

Professores

Ementa

Teoria dos Jogos, Análise da Decisão, Teoria das Filas, Cadeias de Markov e Introdução à Simulação.

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

Conjuntos, Medidas de Integração; Teoria Axiomática da Probabilidade; Variáveis Aleatórias; Independência; Funções Características; Desigualdades; Sequências de Variáveis Aleatórias; Convergências; Leis dos Grandes Números; Teorema Central do Limite; Teorema de Kolmogorov; Processos Estocásticos; Processos de Poisson, Markov, Wiener e Gauss.

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

Programação Linear; Programação Dinâmica; Programação Inteira; Programação Não Linear.

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

Conceitos de Números Aleatórios; Geração de Números Aleatórios; Simulação Discreta de Eventos. Desenvolvimento de Aplicações em Sistemas de Manufatura, Indústria, Serviços, Logística e Sistemas de Transporte.

Bibliografia

Carga Horária

64 horas.

Professores

Ementa

Elaboração do projeto de pesquisa envolvendo temas abrangidos pelo curso. Execu- ção da proposta da monografia, envolvendo: introdução, objetivos, materiais e métodos, resultados esperados, cronograma e referências bibliográficas. Abordagem aos fundamentos da Metodologia Científica. Discussões teóricas, pesquisa bibliográfica, consulta às fontes para a construção da fundamentação teórica. Orientação da escrita de acordo com as normas de trabalhos acadêmicos.

Bibliografia