Pré-requisito(s): Estruturas de Dados I.

Ementa:

Definição de linguagens: Sintaxe e Semântica. Compilação e Interpretação. Estudo comparativo de linguagens: Modelos de Implementação; Visibilidade de Nomes; Comunicação entre Unidades; Alocação Estática e Dinâmica de memória. Tipos Abstratos de Dados. Unidades Genéricas. Tratamento de Exceções. Estudo aprofundado de uma linguagem de programação.

Bibliografia:

• D. A. Watt, "Programming Languages: Concepts and Paradigms", Prentice-Hall. <$>
• . <$>

Pré-requisito(s): Estrutura de Dados II.

Ementa:
Fundamentos de análise de eficiência. Metodos clássicos: Método Guloso, Método da Dividir para Conquistar, Programação Dinâmica. Algoritmos em grafos. Algoritmos Probabilísticos. Introdução à Complexidade de Algoritmos - Classes de Problemas.

Bibliografia:

• BIBLIOGRAFIA A DEFINIR <$>

Pré-requisito(s): Arquitetura e Organização de Computadores II.

Conceito de Sistema Operacional: estrutura de um S.O.; O modelo de processo: comunicação entre processos; Compartilhamento de recursos: deadlock, starvation; Escalonamento de processos; Gerência de memória: swap, memória virtual, segmentação, paginação, algoritmos para memória virtual; Sistemas de arquivos: tipos de arquivos, manipulação de arquivos, diretórios; Exemplos de sistemas de arquivos: FAT, UFS, HPFS; Segurança e mecanismos de proteção de sistemas de arquivos; Entrada/Saída: dispositivos de bloco e de caracter, discos, terminais, device-drivers; Estudo de Caso: Sistema Operacional DOS.

• Andrew S. Tanembaum, "Sistemas Operacionais Modernos", Prentice Hall do Brasil <$>
• <&>

Pré-requisito(s): Lógica para Computação I

Ementa:

Propriedades Metamatemáticas do Cálculo de Predicado de primeira ordem.Forma Prenex. Skolemização.Forma Clausal. Da Lógica de Predicado à Forma Clausal.Teorema de Herbrand.Sistemas Formais. Resolução. Refinamentos da Resolução.

Bibliografia:

• Chang,C, Lee,R.C.T. Symbolic Logic Mechanical Theorem Proving. New York: Academic Press, 1973.
• Lloyd, John W. Foundations of Logic Programing. Berlin: Springer Verlag, 1974. 118pg.
• Loveland, D. Automated Theorem Proving: A Logic Basis. New York, North-Holland,1978.
• E. Mendelson, "Introduction to Mathematical Logic", New York, D. Van Nostrand, 1964.
• Costa, M M.C. "Introdução a Lógica Modal Aplicada à Computação" . VIII escola de Computação, 1992. 200p
• Gallier, J. Logic for Computer science:Fondations of axiomatic Theorem Proving. John Wiley and Sons, 1987.

 

Pré-requisito(s): Projeto de Programas; Estruturas de Dados I

Ementa:

Princípios de programação concorrente. Programação orientada a eventos. Programação orientada a objetos: modelagem orientada a objetos, comunicação por mensagens e reação a eventos. Estudo aprofundado de uma linguagem orientada a objetos. Estudo comparativo de linguagens.

Bibliografia:

... @ Projeto orientado a objetos; <$>

<$>

Pré-requisito(s): Algoritmos Numéricos I, Álgebra Linear

Ementa:

Aquisição e digitalização, propriedades de uma imagem digital, operações lógicas e aritméticas, máscaras, transformações geométricas. Modificação de histograma. Filtragem no domínio espacial e no domínio da frequência. Realce. Suavização. Morfologia matemática. Compressão e codificação da imagem.

Bibliografia:

• O. Marques Filho e H. Vieira Neto, Processamento Digital de Imagens, Brasport Livros e Multimídia Ltda., 1999.
• R. G. Gonzalez, R. Woods, Digital Image Processing, Addison Wesley, 1992.
• A. K. Jain, Fundamentals of Digital Image Processing, Prentice-Hall, 1989.
• Serra, Image Analysis and Mathematical Morphology, Academic Press, London, 1992.

(Grade Curricular)          (página inicial)