10. DIVISÃO DE CIÊNCIA DA COMPUTAÇÃO-IEC
CURSO DE ENGENHARIA DE COMPUTAÇÃO
LEGISLAÇÃO
Decreto no 27.695, de 16 de Janeiro de 1950
Lei no 2.165, de 5 de Janeiro de 1954
Portaria n0 041/GM3, de 17 de Janeiro de 1989,
do Ministério da Aeronáutica
CURRÍCULO APROVADO PARA 1999
1o Ano Profissional-1o Período-Classe 2001 |
CES-20 Estruturas de Dados 3-3-4
CTC-10 Lógica Matemática 3-0-3
ELE-20 Circuitos Digitais 4-2-6
ELE-55 Dispositivos e Circuitos Eletrônicos Básicos 3-2-4
ELE-03 Análise de Circuitos Elétricos 4-1-6
EMO-07 Eletromagnetismo I 3-1-6
20 + 09 = 29
1 0 Ano Profissional-2 0 Período-Classe 2001 |
CES-23 Linguagens de Programação 3-3-4
CTC-20 Estruturas Discretas para Computação 3-0-3
ELE-24 Microprocessadores 3-1-4
ELE-33 Probabilidade e Variáveis Aleatórias 3-0-6
ELE-31 Princípios de Telecomunicações 3-2-5
ELE-56 Amplificadores e Fontes de Alimentação 3-2-4
18 + 08 = 26
2 0 Ano Profissional-1 0 Período-Classe 2000 |
CES-31 Técnicas de Engenharia de Software 3-1-5
CES-33 Sistemas Operacionais 4-2-5
CTC-34 Automata e Linguagens Formais 3-0-6
ELE-26 Circuitos de Interfaceamento Digital 2-1-4
ELE-49 Controle Automático de Sistemas Lineares 3-2-6
ELE-58 Circuitos de Chaveamento 3-2-4
18 + 08 = 26
2o Ano Profissional-2o Período-Classe 2000 |
CCI-36 Fundamentos de Computação Gráfica 3-3-4
CES-24 Organização de Computadores 3-3-4
CES-41 Compiladores 3-3-4
CTC-15 Inteligência Artificial 3-3-4
CTC-41 Teoria da Computação 3-0-6
ELE-51 Engenharia de Controle 3-2-6
18 + 14 = 32
3o Ano Profissional-1o Período-Classe 1999 |
TG Trabalho de Graduação (Nota 6) 0-8-4
CES-30 Técnicas de Bancos de Dados 3-3-4
EET-89 Redes de Computadores 3-0-6
HUM-20 Noções de Direito 3-0-3
MOG-43 Administração em Engenharia 4-0-4
13 + 11 = 24
Adicionalmente às matérias obrigatórias do currículo, devem ser cursadas duas matérias de graduação ou pós-graduação dentre as oferecidas pela IEC ou IEE. Matérias oferecidas por outras Divisões de Ensino poderão ser cursadas para atender a este requisito, mediante aprovação da Coordenação do Curso.
mínimo = 30
máximo = 33
3o Ano Profissional-2o Período-Classe 1999 |
TG Trabalho de Graduação (Nota 6) 0-8-4
CES-63 Sistemas Embarcados 3-0-3
CES-32 Qualidade, Confiabilidade e Segurança
de Software 3-0-6
MOE-31 Princípios de Economia 4-0-4
HID-52 Engenharia Ambiental 2-1-3
12 + 09 = 21
Adicionalmente às matérias obrigatórias do currículo, deverão ser cursadas duas matérias de graduação ou pós-graduação dentre as oferecidas pela IEC ou IEE. Matérias oferecidas por outras Divisões de Ensino poderão ser cursadas para atender a este requisito, mediante aprovação da Coordenação do Curso.
mínimo =27
máximo =30
NOTAS
Nota 6-O TG-Trabalho de Graduação é regulado por normas próprias e deverá ser um projeto coerente com a sua habilitação, sendo considerado matéria curricular obrigatória.
CORPO DOCENTE
DIVISÃO DE CIÊNCIA DA COMPUTAÇÃO-IEC
Chefe: Prof. Dr. Celso de Renna e Souza celsoren@comp.ita.cta.br
Sub-chefe:Prof. Dr. Sérgio R. Matiello Pellegrino pell@comp.ita.cta.br
DEPARTAMENTO DE COMPUTAÇÃO CIENTÍFICA -IECC
Chefe: Prof. Dr. Abdurahiman Vakulathil rahiman@comp.ita.cta.br
Professores Adjuntos:
Abdurahiman Vakulathil, Ph.D. rahiman@comp.ita.cta.br
Celso Massaki Hirata, Ph.D. hirata@comp.ita.cta.br
Nei Yoshihiro Soma, Ph.D neisoma@comp.ita.cta.br
Sérgio Roberto Matiello Pellegrino, D.E. pell@comp.ita.cta.br
Professores Assistentes:
Milton Teruaki Suetsugu Sakude, M.C. (em aperf. no exterior) julia@comp.ita.cta.br
DEPARTAMENTO DE ENGENHARIA DE SOFTWARE-IECE
Chefe: Prof. Dr. Fábio Carneiro Mokarzel mokarzel@comp.ita.cta.br
Professores Adjuntos:
Clóvis Torres Fernandes, D.C. clovis@comp.ita.cta.br
Fábio Carneiro Mokarzel, D.C. mokarzel@comp.ita.cta.br
Felipe Afonso de Almeida, Ph.D. felipe@comp.ita.cta.br
Professor Assistente:
Edgar Toshiro Yano, D.C. yano@comp.ita.cta.br
Instrutor:
Luiz Sérgio Heinzelmann, Maj. Eng.,M.C. heinzelm@comp.ita.cta.br
DEPARTAMENTO DE TEORIA DE COMPUTAÇÃO-IECT
Chefe: Prof. Dr. Nizam Omar omar@comp.ita.cta.br
Professores Titulares:
Celso de Renna e Souza, Ph.D. celsoren@comp.ita.cta.br
Nizam Omar, D.C. omar@comp.ita.cta.br
Professor Adjunto:
Adilson Marques da Cunha, D.Sc. cunha@comp.ita.cta.br
Professor Assistente:
Jony Santellano, M.C. jony@comp.ita.cta.br
EMENTAS DE MATÉRIAS
DEPARTAMENTO DE COMPUTAÇÃO CIENTÍFICA-IECC
CCI-22-MATEMÁTICA COMPUTACIONAL. Requisito: CES-10. Horas semanais: 3-1-6. Aritmética computacional. Métodos de resolução para sistemas lineares, equações algébricas e transcendentes. Interpolação de funções. Ajuste de curvas. Resolução numérica de equações diferenciais ordinárias. Utilização de pacotes computacionais para o estudo e visualização da parte teórica desenvolvida. Implementação de metódos em FORTRAN. Bibliografia: Atkinson, L. V. et al., Numerical methods with Fortran 77: a practical introduction, Addison-Wesley, Wokingham, 1989; Claudio, D.M. e Marins, J.M., Cálculo numérico: teoria e prática, Atlas, São Paulo, 1987; Ruggiero, M.A.C. e Lopes, V.L.R., Cálculo numérico, aspectos teóricos e computacionais, McGraw-Hill, São Paulo, 1988.
CCI-35-SIMULAÇÃO. Requisito: CES-10 e CCI-22. Horas semanais: 3-2-3. Introdução à simulação. As fases de simulação por computadores. Os procedimentos de modelagem de simulação. Métodos de amostragem geração de números e variáveis aleatórias. Validação de modelos, planejamento de simulação-técnicas de redução de variância. Linguagens de simulação. Bibliografia: Pidd, M., Computer simulation in management science, 3rd ed., Wiley, 1992; Paul, R. J. et al., Simulation modelling, Chartwell-Bratt, Stockholm, 1993; Shannon, R.E., Systems simulation-the art and science, Prentice-Hall, Englewood Cliffs, 1975.
CCI-36-FUNDAMENTOS DE COMPUTAÇÃO GRÁFICA. Requisito: CES-10 e CES-20. Horas semanais: 3-3-4. Elementos básicos de computação gráfica. Dispositivos gráficos. Primitivas gráficas: pontos, linhas, textos, representação e preenchimento de polígonos. Transformações 2D. Janelamento e recorte. Segmentação. Técnicas de interação. Introdução a gráficos tridimensionais: geometria 3D, transformações, projeções, recorte em 3D. Tópicos especiais em Computação gráfica. Bibliografia: Harrington, S., Computer graphics-a programming approach, 2nd ed., McGraw-Hill, New York, 1987; Newmann, W.M. e Sproull, R.F., Principles of interactive computer graphics, 10th ed., McGraw-Hill, Auckland, 1984; Foley, J.D. et al., Computer graphics principles and practice, 2nd ed., Addison-Wesley, Reading, 1990.
DEPARTAMENTO DE ENGENHARIA DE SOFTWARE-IECE
CES-10-INTRODUÇÃO À COMPUTAÇÃO. Requisito: não há. Horas semanais: 4-1-6. Conceitos primários: programas, linguagens de alto nível, compiladores, algoritmos e programação. Representação de informações: sistemas de numeração, mudança de base, aritmética binária, operações lógicas, números e instruções. Organização de computadores. Software básico para computadores. Desenvolvimento de algoritmos: refinamento passo a passo e linguagens para algoritmos. Introdução a linguagens de programação algorítmica: comandos de atribuição, seleção e iterativos. Variáveis estruturadas: vetores e registros. Manipulação de dados não numéricos. Subprogramação: funções, procedimentos, passagem de parâmetros, aninhamentos, recursividade. Bibliografia: Tremblay, J.P. Bunt, R.B., Ciência dos computadores: uma abordagem algorítmica, McGraw-Hill, São Paulo, 1983; Saliba, W. L. C., Técnicas de programação: uma abordagem estruturada, Makron, São Paulo, 1992.
CES-20-ESTRUTURAS DE DADOS. Requisito: CES-10. Horas semanais: 3-3-4. Informação e o seu significado. Manipulação de ponteiros.Tipos de dados. Listas lineares. Árvores. Listas. Grafos. Métodos de ordenação. Métodos de procura. Bibliografia: Tenenbaum, A.M. e Augenstein, M.J., Data Structures using Pascal, Prentice-Hall, Englewood Cliffs, 1986; Knuth, D.E., The art of computer programming, Vol. 1, 2nd ed., Addison-Wesley, Reading, 1973; Weiss, T. e Esakou, J., Data structures- an advanced approach using C, Prentice-Hall, Englewood Cliffs, 1989.
CES-23-LINGUAGENS DE PROGRAMACAO. Requisito: CES-10. Horas semanais. 3-3-4. Introdução à estrutura de linguagens de programação. Evolução das linguagens de programação. Definição formal de linguagens: especificação de sintaxe e semântica. Estudo comparativo de linguagens procedimentais, estruturação de dados e de controle. Principais paradigmas de linguagens: imperativas, funcionais, lógicas e orientadas a objetos. Bibliografia: Ghezzi, C. e Jazayeri, M., Conceitos de linguagem de programação, Campus, Rio de Janeiro, 1985; Horowitz, E., Fundamentals of programming languages, Computer Science Press, Rockville, 1984.
CES-24-ORGANIZAÇÃO DE COMPUTADORES. Requisito: ELE-20 e ELE-24. Horas semanais: 3-3-4. Conceitos básicos de computadores. Implementação de computadores baseada numa seqüência aninhada de níveis de abstração. Unidades funcionais e estrutura interna de uma UCP. Microprogramação e instruções de linguagens de máquina. Técnicas para aumento de desempenho de computadores: memória cache e entrelaçada. Segmentação do ciclo de instrução, das unidades funcionais e do acesso à memória. Computadores com conjunto reduzido de instruções. Máquinas paralelas: computadores vetoriais, "arrays" de processadores, multiprocessadores. Bibliografia: Tanenbaum, A.S., Structured computer organization, 3rd ed., Prentice-Hall, Englewood Cliffs, 1990; Hayes, J.P., Computer architecture and organization, 2nd ed., McGraw-Hill, New York, 1988; Stone, H.S., High-performance computer architecture, Addison-Wesley, Reading, 1987.
CES-30-TÉCNICAS DE BANCO DE DADOS. Requisito: CES-20. Horas semanais: 3-3-4. Métodos de organização de arquivos e pesquisa. Modelo de entidade/relacionamento. Modelo de dados relacional. Modelo de dados hierárquico. Modelo de dados em rede. Projeto de um banco de dados relacional. Banco de dados distribuído. Compressão de dados. Segurança e integridade. Privacidade em banco de dados. Bibliografia: Elmasri, R. e Navathe, S.B., Fundamentals of database systems, Benjamin/Cummings, Redwood City 1989; Date, C.J., Introdução ao sistema de banco de dados, Vol. 1, Campus, Rio de Janeiro, 1991; Korth, H.F. e Silberschatz, A., Data base systems concepts, McGraw-Hill, New York, 1986.
CES-31-TÉCNICAS DE ENGENHARIA DE SOFTWARE. Requisito: CES-20. Horas semanais: 3-1-5. Os problemas da produção de software e os objetivos da Engenharia de Software. Administração de um projeto de software. Análise e especificação dos requisitos de software. Metodologias para projeto de software. Testes de software. Administração, manutenção, documentação, confiabilidade, segurança e privacidade em produtos de software. Aspectos legais do desenvolvimento de software. Ambientes CASE’s. Bibliografia: Fairlay, R.E., Software engineering concepts, McGraw-Hill, New York, 1987; Pressman, R.S., Software engineering: a practitioner’s approach, 3rd ed., McGraw-Hill, Tokyo, 1992; Shooman, M.L., Software engineering: design, reliability, and management, McGraw-Hill, New York, 1983.
CES-32-QUALIDADE, CONFIABILIDADE E SEGURANÇA DE SOFTWARE. Requisito: CES-31. Horas semanais: 3-0-6- Conceitos de qualidade de software. A evolução da abordagem de qualidade direcionada a software: as eras do controle e da garantia de software. Principais padrões de qualidade de software. Características essenciais de software para aplicações críticas. Confiabilidade e segurança de software. Bibliografia: Anderson, C. e Dorfman, M., Aerospace software engineering: A collection of concepts, American Institute of Aeronautics, Washington, 1991; Schulmeyer, G. e MacManus, J.J., Handbook of software quality assurance, 2nd ed., Van Nostrand Reinhold, New York, 1992.
CES-33-SISTEMAS OPERACIONAIS. Requisito: CES-23. Horas semanais: 4-2-5. Conceituação. Estruturação de sistemas operacionais. Gerenciamento de processos: modelo e implementação. Mecanismos de intercomunicação de processos. Escalonamento de processos. Múltiplas filas, múltiplas prioridades, escalonamento em sistemas de tempo real. "Deadlocks". Gerenciamento de memória. Partição e relocação. Gerenciamento com memória virtual. Ligação dinâmica. Gerenciamento de E/S. Gerenciamento de arquivos. Mecanismos de segurança e proteção. Tópicos de sistemas operacionais distribuídos. Interfaces gráficas de sistemas operacionais modernos. Bibliografia: Tanenbaum, A.S., Operating system design and implementation, Prentice-Hall, Englewood Cliffs, 1987; Hansen, P.B., Operating systems principles, Prentice-Hall, Englewood Cliffs, 1973; Bach, M.J., The design of the UNIX operating system, Prentice-Hall, Englewood Cliffs, 1986.
CES-41-COMPILADORES. Requisito: CTC-34 e CES-20. Horas semanais: 3-3-4. A anatomia de um compilador. Organização de tabelas de símbolos. Análise sintática: gramáticas de precedência de operadores, descendência recursiva, matrizes de transição, gramáticas LL e LR. Organização de memória em tempo de execução. Rotinas semânticas. Geração e otimização de código. Processamento de macros. Meta compiladores. Bibliografia: Aho, A.V. et al., Compilers: principles, techniques, and tools, Addison-Wesley, Reading, 1986; Aho, A.V. et al., The theory of parsing, translation and compiling, Prentice-Hall, Englewood Cliffs, 1972; Fischer, C.N. e LeBlanc, R.J. Jr., Crafting a compiler, Benjamin/Cummings, Menlo Park, 1988.
CES-62-SISTEMAS COMPUTACIONAIS TOLERANTES A FALHAS. Requisitos: ELE-26. Horas semanais: 3-0-6. Vulnerabilidade de sistemas computacionais: interferência eletromagnética, falhas eletrônicas e falhas de software. Prevenção a falhas: software de prognóstico, software de diagnóstico e redundância de hardware do ponto de vista sistêmico. Confiabilidade de hardware e software: sistemas multiprocessados tolerantes a falhas e sistemas com tolerância implementada em software. especificação de hardware e software para projeto e implementação de sistemas confiáveis. Validação de sistemas confiáveis. Características essenciais de software para aplicações críticas: sistemas aeronáuticos e espaciais. Noções de testabilidade, manutenabilidade e segurança. Bibliografia: Anderson, C. e Dorfman, M., Aerospace software engineering: A collection of concepts, American Institute of Aeronautics. Washington, 1991; Schulmeyer, G. e MacManus, J.J., Handbook of software quality assurance, 2nd ed., Van Nostrand Reinhold, New York, 1992; Vários autores, artigos e trabalhos referentes à matéria.
CES-63-SISTEMAS EMBARCADOS. Requisitos: ELE-31. Horas semanais: 3-0-3. Conceitos básicos de comunicação, navegação e vigilância. Conceitos básicos de mecânica do vôo e controle automático de vôo. Conceitos básicos de auxílios de rádios à navegação aérea e ao pouso. Noções de radar e seus típos básicos. Conceitos básicos de navegação inercial e por satélite. Sistemas aviônicos computadorizados e seus requisitos. Noções de integração de sistemas computadorizados em aviônica. Adequação de sistemas computadorizados e aeronaves. especificação e validação de hardware e software. Barramentos de dados. Mostradores de cabine. Sistemas de potência. Interferência eletromagnética. Confiabilidade de sistemas computadorizados embarcados. Bibliografia: Powell, J., Aircraft radio systems, Pitman, London, 1981; Spitzer, C. R., Digital avionics systems, Prentice-Hall, Englewood Cliffs, 1987; Midleton, D. H., Avionic Systems, Longman, London, 1989; Anderson, C. e Dorfman, M,. Aerospace software engineering: A collection of concepts, American Institute of Aeronautics, 1991.
DEPARTAMENTO DE TEORIA DA COMPUTAÇÃO-IECT
CTC-10-LÓGICA MATEMÁTICA. Requisito: não há. Horas semanais: 3-0-3. Introdução à lógica. Cálculo proposicional: teoria de modelos e teoria de provas. Conseqüências válidas. Consistência e completeza. Cálculo de predicados: quantificadores, tabelas de verdade, resultados sobre validade. Teoria de prova no cálculo de predicados. Métodos automáticos de prova no cálculo de predicados. Grafos de refutação e de extração de resposta. Resultados sobre deducibilidade. Forma prenex. Cálculo de predicados com igualdade e com funções. Extensões do cálculo de predicados: teoria de números, grupos. Noções sobre cálculo de predicados de segunda ordem, lógica modal. Bibliografia: Kleene, S.C., Mathematical logic, John Wiley, New York, 1976; Hilbert, J. e Ackerman, W., Principles of mathematical logic, Chelsea, New York, 1950; Church, A., Introduction to mathematical logic, Princeton University Press, New York, 1956.
CTC-15-INTELIGÊNCIA ARTIFICIAL. Requisito: CTC-10. Horas semanais: 3-3-4. Conceituação, aplicações. Resolução de problemas: técnicas e métodos, representação, heurísticas, decomposição de problemas, jogos. Sistemas de produção: estratégias de busca e decomposição, representação, algoritmo A*. Bases lógico-matemáticas: cálculo de predicados, resolução, sistemas de dedução e refutação. Representação do conhecimento: regras de produção, redes semânticas, "frames" e outros. Sistemas baseados em conhecimento: engenharia, aquisição e processamento do conhecimento. Linguagens: LISP, PROLOG, SAFO. Construtores de sistemas especialistas. Bibliografia: Rich, E., Inteligência artificial, McGraw-Hill, São Paulo, 1988; Nilsson, N.J., Principles of artificial intelligence, Springer-Verlag, New York, 1980; Randall, D. et al., Knowledge-based systems in artificial intelligence, McGraw-Hill, New York, 1982.
CTC-20-ESTRUTURAS DISCRETAS PARA COMPUTAÇÃO. Requisito: não há. Horas semanais: 3-0-3. Revisão da aritmética dos números inteiros. Conjuntos e relações nos inteiros. Relações de compatibilidade, equivalência, congruência e ordem. Enumerabilidade de conjuntos. Teoria de grafos. Grafos dirigidos e árvores. Problemas de caminho e coloração de grafos. Estruturas matemáticas: operações binárias, semigrupos, monóides, grupos e anéis. Isomorfismo e homomorfismo de semigrupos e grupos. Reticulados: ordenação parcial, conjunto potência, operações e representações de reticulados. Álgebras de Boole: propriedades fundamentais. Relações com anéis booleanos. Bibliografia: Preparata, F.P. e Yeh R.T., Introduction to discrete structures for computer science and engineering, Addison Wesley, Reading, 1973; Deo, N., Graph theory with application to engineering and computer science, Prentice Hall, Englewood Clifs, 1974; Birkhoff, G. e Maclane, S., Álgebra moderna básica, Guanabara Dois, Rio de Janeiro, 1980.
CTC-34-AUTÔMATA E LINGUAGENS FORMAIS. Requisito: CTC-20. Horas semanais: 3-0-6. Autômata finitos e expressões regulares. Propriedades dos conjuntos regulares. Linguagens e gramáticas. Linguagens livres de contexto, sensíveis ao contexto e tipo-0. Autômato a pilha. Máquinas de Turing e seus modelos restritos. Análise sintática e tradução orientada pela sintaxe. Introdução aos compiladores. Bibliografia: Hopcroft, J.E. e Ullman, J.D., Introduction to automata theory, languages, and computation, Addison-Wesley, New York, 1979; Harrison, M.A., Introduction to formal language theory, Addison-Wesley, New York, 1978; Drobot, V., Formal languages and automata theory, Computer Science Press, New York, 1989.
CTC-41-TEORIA DA COMPUTAÇÃO. Requisito: CTC-34. Horas semanais: 3-0-3. Conjuntos, relações e funções. Operações sobre funções. Computabilidade e não computabilidade de funções. Máquinas de Turing e tese de Church. Linguagens e programas. Prova de teoremas e programas. Complexidade computacional: problemas tratáveis e intratáveis. Bibliografia: Brainard, W.S. e Landweber, L.H., Theory of computation, John Wiley, New York, 1974; Hopcroft, J.E. e Ullman, J.D., Introduction to automata theory languages and computation, Addison-Wesley, Reading, 1979; Lewis, H.R. e Papadimitriou, C.H., Elements of the theory of computation, Prentice-Hall, Englewood Cliffs, 1981; Carvalho, R.L. e Oliveira, C.M.G.M. , Modelos de computação e sistemas formais, 11a Escola de Computação-DCC/IM, COPPE/Sistemas, NCE/UFRJ. Rio de Janeiro, 1998.