Texto do documento
Projeto pedagógico e Resolução nº 28/2023
Campus Imperatriz, Resolução ad referendum nº 28/2023 · 164 páginas. Texto extraído do PDF oficial; as páginas digitalizadas passaram por OCR e podem conter erros de leitura. Em divergência, vale o PDF oficial.
O PDF abre de uma cópia guardada pelo portal em 04/10/2026.
Disciplina: Teoria da Computação
Disciplina: Teoria da Computação
Carga Horária Semestral: 60h
Carga Horária Semanal: 4h
Créditos: 4h
Pré-requisito: Algoritmos e Técnicas de Programação, Lógica Aplicada à Computação
Objetivo Geral: Proporcionar ao aluno um conhecimento básico de Linguagens Formais; habilitar o aluno a utilizar técnicas para demonstrar que certos problemas são impossíveis de serem resolvidos por um computador e que certos problemas, mesmo sendo possíveis de serem resolvidos por uma máquina, demandam tempo e/ou espaço em memória impraticáveis.
Ementa: Estudo dos fundamentos matemáticos da computabilidade. Gramáticas. Linguagens Regulares, Livres-de-Contexto e Sensíveis-ao-Contexto. Tipos de Reconhecedores. Operações com linguagens. Propriedades das Linguagens. Autômatos de Estados Finitos Determinístico e não Determinístico. Autômatos de Pilha. Máquinas de Turing Universais. Tese de Church-Turing. Hierarquia de Chomsky. Funções Recursivas. Enumerabilidade e decidibilidade. Problemas indecidíveis. Teorema da Incompletude de Godel. Modelos abstratos de máquinas programáveis.
Bibliografia Básica:
GERSTING, J. L. Fundamentos matemáticos para ciência da computação. Rio de
Janeiro: LTC, 2015. (RB=7189) HOPCROFT, J. E.; MOTWANI, R.; ULLMAN, J. D. Introdução à teoria de autômatos, linguagens e computação. 2 ed. Rio de Janeiro: Campus, 2002. (RB=83) VIEIRA, J. N. Introdução aos fundamentos da computação. São Paulo: Thomson, 2015.(RB=7158) Bibliografia Complementar:
DIVERIO, T. A.; MENEZES, P. B. Teoria da computação: máquinas universais e computabilidade. 2 ed. Porto Alegre: Bookman, 2008.
HARRY, R. Lewis e CHRISTOS H. Elementos de teoria da computação. 2 ed. Porto
Alegre: Bookman, 2008.
SIPSER, M. Introdução à teoria da computação. São Paulo: Thomson Pioneira, 2015. 502 p. (RB=7186)
Trecho citadoDisciplina: Sistemas Operacionais
Disciplina: Sistemas Operacionais
Carga Horária Semestral: 60h
Carga Horária Semanal: 4h
Créditos: 4
Pré-requisitos: Arquitetura de Computadores, Estrutura de Dados
Objetivo Geral: Entender a arquitetura e o funcionamento dos sistemas operacionais modernos explorando as gerências de processos, memórias, arquivos e dispositivos.
Ementa: Histórico, classificação e estrutura dos Sistemas Operacionais. Gerência de Processos/Processador: Conceito de Processo, Comunicação, Concorrência e Sincronização de Processos. Gerenciamento de
Memória: Memória Virtual, Paginação, Segmentação e “Swap”. Gerenciamento de Arquivos. Gerenciamento de Dispositivos de Entrada/Saída. Alocação de Recursos.
Bibliografia Básica:
MACHADO, Francis B.; MAIA, Luiz Paulo. Arquitetura de sistemas operacionais. 5. ed.
Rio de Janeiro: LTC, 2014. (RB=7160) TANENBAUM, Andrew S.; BOS, Herbert. Sistemas operacionais modernos. 4. ed. São
Paulo: Prentice Hall, 2016. (RB=7147) TANENBAUM, Andrew S.; WOODHULL, Albert S. Sistemas operacionais: projeto e implementação. 3. ed. Porto Alegre: Bookman, 2008. (RB=7306) Bibliografia Complementar:
DEITEL, Harvey M. Sistemas Operacionais. 3. ed. Porto Alegre: Bookman, 2005. (RB=209) FLYNN, Ida M. Introdução aos sistemas operacionais. São Paulo: Thomson Learning, 2002. (RB=215) SILBERSCHATZ, Abraham. Sistemas operacionais: conceitos e aplicação. Rio de Janeiro: Campus, 2000. (RB=231)
DISCIPLINA: Atividade Curricular de Extensão I
Carga Horária Semestral: 90h
Carga Horária Semanal: 6h
Créditos: 6
Pré-requisitos: Sem pré-requisito
Objetivo Geral: Desenvolver programas, projetos, cursos ou eventos de extensão envolvendo subáreas específicas da ciência da computação para a comunidade externa.
Ementa: Desenvolvimento de projeto de extensão envolvendo subáreas específicas da ciência da computação, através da oferta de cursos para a comunidade externa ao campus.
Bibliografia Básica:
GONÇALVES, Hortência de Abreu. Manual de projetos de extensão universitária. Avercamp Editora. 2008.
PRESSMAN, R. S. Engenharia de software. 8. ed. São Paulo: McGraw-Hill, 2016. (RB=7310) CORMEN, Thomas H. Algoritmos: teoria e prática. 3. ed. Rio de Janeiro: Elsevier, 2012. (RB=7140) Bibliografia Complementar:
CRAWLEY, E., MALMQVIST, J., OSTLUND, S., BRODEUR, D. Rethinking Engineering Education - The CDIO Approach. Springer. 2007.
Disciplina: Sistemas Operacionais
Disciplina: Sistemas Operacionais FREIRE, Paulo. Extensão ou comunicação. 21. ed. São Paulo: Paz e Terra, 2021.
XAVIER, Carlos Magno da Silva. Gerenciamento de projetos: como definir e controlar o escopo do projeto. Editora: Saraiva Uni; 2018.
Mostrando 3 de 200 trechos.