Catálogo 2009 - Pós-Graduação - ITA
Catálogo 2009 - Pós-Graduação - ITA
Catálogo 2009 - Pós-Graduação - ITA
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
tradução orientada pela sintaxe. Introdução a compiladores. Bibliografia: HOPCROFT,<br />
J. E.; ULLMAN, J. D., Introduction to automata theory - languages and computation.<br />
New York: Addison-Wesley, 1979; HARRISON, M. A., Introduction to formal<br />
language theory. New York: Addison-Wesley, 1978; DROBOT, V., Formal languages<br />
and automata theory. New York: Computer Science Press, 1989.<br />
CT-208/<strong>2009</strong> - Matemática da Computação<br />
Requisito recomendado: Não há. Requisito exigido: Não há. Horas semanais: 3-<br />
0-0-6. Teoria dos conjuntos, conjuntos contáveis, Recursão. Homomorfismo e<br />
Isomorfismo. Estruturas Discretas: Semi-grupos, Monóides, Grupos e Anéis.<br />
Reticulados e Álgebra Booleavana. Matemática Discreta: Funções Polinomiais,<br />
Aplicações da Teoria dos Números, Coeficientes Binomiais, Funções Geratrizes.<br />
Números Especiais: Harmônicos, Stirling, Euleriano e de Fibonacci. Funções<br />
Assintóticas. Bibliografia: F. Preparata e R. Yeh Introduction to discrete structures,<br />
Readin, Add. Wes. 1973. R. Graham, D.E. Knuth e O. Patshnik, Reading, Addison<br />
Wesley, 1998. D. E. Knuth The art of computer programming, Vol I, 2006.<br />
CT-215/<strong>2009</strong> - Inteligência Artificial<br />
Requisito recomendado: não há. Requisito exigido: CT-201. Horas Semanais: 3-<br />
0-0-6. Visão geral da área. Representação de problemas em espaço de estados. Métodos<br />
de procura de soluções. Redução do espaço de busca. Métodos minimax, alfa-beta.<br />
Enfoques não-formais advindos da teoria de cognição. Frames. Teoria de jogos.<br />
Sistemas especialistas: diagnose médica auxiliada por computador e outras aplicações.<br />
Aplicações de inteligência artificial: percepção, reconhecimento de voz e robótica.<br />
Bibliografia: NILSSON, J. L., Principles of artificial intelligence. Palo Alto: Tioga,<br />
1980; WINSTON, P. H., Artificial intelligence. 2. ed. Reading: Addison-Wesley,<br />
1984;RICH, E., Inteligência artificial. São Paulo: McGraw-Hill, 1988.<br />
CT-216/<strong>2009</strong> - Estruturas de Integração Neuronal<br />
Requisito recomendado: não há. Requisito exigido: CT-215. Horas Semanais: 3-<br />
0-0-6. Estruturas de integração neural. Integradores numéricos de passo simples de<br />
baixa e alta ordem tipo Euler e Runge-Kutta, integradores de múltiplos passos Adams-<br />
Bashforth. Redes neurais com arquitetura feedforward, algoritmo backpropagation.