13
DEZ
2013

Métodos Variacionais – MAB764

Ementa: Espaços Métricos,  Espaços Lineares,  Espaços Normados, Espaços com Produto Interno, Introdução à Teoria das Distribuições, Aproximações nos espaços de Hilbert e Banach , Método de Galerkin, Teorema de Riesz , Iniciação aos Espaços de Sobolev,  Soluções fracas e fortes , Aplic
Continue Reading →
13
DEZ
2013

Metodologia da Pesquisa Científica – MAB736

Ementa: Visão geral do planejamento de uma pesquisa educacional; Objeto de estudo da ciência: O que é Ciência afinal? A metamorfose da ciência: ciências naturais e humanas; Pré-planejamento de uma pesquisa: aspectos éticos, natureza da observação, amostras; Planejamento operacional: e
Continue Reading →
13
DEZ
2013

Lógica Nebulosa – MAB783

Ementa: Revisão de Fundamentos de Lógica Nebulosa; Princípio da Extensão; Relações Clássicas e Nebulosas; Inferência Nebulosa; Sistemas Nebulosos; Agrupamentos; Algoritmos de Agrupamento; Validação de Agrupamentos; Classificação. Bibliografia: John Yen, Reza Langari. Fuzzy Logic – Int
Continue Reading →
13
DEZ
2013

Lógica I – MAB778

Ementa: Lógica Proposicional: sintaxe, semântica, Sistemas Dedutivos (dedução natural, resolução, tableaux), correção e completude. Lógica de Primeira Ordem: sintaxe, semântica, Sistemas Dedu-tivos (dedução natural, resolução, tableaux), correção e comple-tude, teoria dos modelos. Bib
Continue Reading →
13
DEZ
2013

Introdução a Informática na Educação – MAB750

Objetivos: Apresentar as principais questões relativas à cognição e suas relações com a área de Informática e Educação, de forma a introduzir o tema aos alunos da disciplina, levando-os a desenvolver  um olhar crítico na área.   Organização: O curso está basicamente organizado em
Continue Reading →
13
DEZ
2013

Inteligência Computacional – MAB780

Ementa: Introdução e Conceitos sobre o Paradigma Neural; Fundamentos de Redes Neurais; Os Modelos Perceptron, Adaline e Madaline; Processos de Aprendizagem; O modelo MLP; Estratégias e Técnicas de Projeto. Fundamentos de Lógica Nebulosa; Conjuntos Clássicos e Conjuntos Nebulosos; Oper
Continue Reading →
13
DEZ
2013

Inteligência Artificial II – MAB789

Ementa: Sistemas de Representação do Conhecimento e Raciocínio; Banco de Dados Dedutivo;Lógicas Não-Monotônicas; Programação em Lógica e semântica de conjunto de resposta; Lógicas Descritivas: ALC, ALCQ, ALCN, ALCOQ, SOQ, SHOQ, SHOIQ, SHIQ; Programação em Lógica Descritiva; Aplicações
Continue Reading →
13
DEZ
2013

Inteligência Artificial – MAB785

 Ementa: Agentes e Ambientes, Racionalidade, Tipos de Agentes; Prolog; Buscas não informadas (largura, profundidade, profundidade limitada, profundidade iterativa, bidirecional), Buscas informadas (gulosa, A*, SMA*,IDA*,RBFS, hill-climbing), Algoritmos genéticos, CSP, jogos-algoritmo
Continue Reading →
13
DEZ
2013

Fundamentos de Análise Funcional – MAB767

Ementa: Espaços de Banach e Hilbert; Completamento, Densidade e Separabilidade; Sistemas Ortogonais Completos; O Espaço LP; Funcionais e Operadores Lineares, Operadores Limitados. Teorema da representação de Riesz. Espaços das Funções Integráveis, Operadores e Funcionais; Aplicações;
Continue Reading →
13
DEZ
2013

Fundamentos da Análise – MAB722

Ementa: Limites de seqüências e  séries de números reais. Topologia dos espaços Euclideanos. Funções em RN . Funções diferenciáveis. Máximos e Mínimos. Funções convexas. Funções integráveis. Sequências  e  Séries de funções. Convergência de integrais impróprias Bibliografia: Lima, E.
Continue Reading →