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: Sistemas Digitais
Disciplina: Sistemas Digitais
Carga Horária Semestral: 60h
Carga Horária Semanal: 4h
Créditos: 4
Pré-requisitos: Circuitos Lógicos
Objetivos: Aplicar os Circuitos Lógicos Básicos e as Linguagens de Descrição de Hardware na Concepção de Sistemas Digitais Complexos.
Ementa: Conceitos de projetos de sistemas digitais com circuitos universais. Linguagens de descrição de Hardware. Descrição de sistemas digitais usando linguagem de descrição de hardware.
Bibliografia Básica:
PEDRONI, Volnei. Eletrônica digital moderna e VHDL. São Paulo: GEN LTC, 2010.(RB=7180) RANHEL, João. Eletrônica Digital, Verilog e FPGA. São Paulo: Clube de Autores, 2021.
TOCCI, Ronald. Sistemas digitais: princípios e aplicações. 12. ed. Rio de Janeiro: Pearson Universidades, 2019. (RB=2017 DO ANO DE 2006 com 6 ex.) e (RB=7153 DO ANO DE 2011 com 5 ex) Bibliografia Complementar:
ERCEGOVAC, Milos; LANG, Tomás; MORENO, Jaime H. Introdução aos sistemas digitais. Porto Alegre: Bookman, 2000.
FLOYD, Thomas. Sistemas Digitais: Fundamentos e Aplicações. 9. ed. Porto Alegre: Bookman, 2007.
HWANG, Enoch O. Microprocessor design principles and practices with vhdl. Riverside: Thomson, 2006.
Trecho citadoDisciplina: Pesquisa Operacional
Disciplina: Pesquisa Operacional
Carga Horária Semestral: 60h
Carga Horária Semanal: 4h
Créditos: 4
Pré-requisitos: Álgebra Linear, Introdução à Teoria dos Grafos
Objetivo Geral: Aprender técnicas de otimização lineares e não lineares, focando sua aplicabilidade em diferentes áreas da computação e engenharia.
Ementa: Introdução à Pesquisa Operacional e aos Sistemas de Apoio à Decisão.
Programação linear: formulação; solução gráfica; solução algébrica; método simplex, dualidade e análise de sensibilidade. Programação
Inteira: método “branch-and-bound”; Problemas não lineares. Heurística e metaheurística. Programação dinâmica.
Bibliografia Básica:
ANDRADE, Eduardo Leopoldino de. Introdução à Pesquisa Operacional: Métodos e Modelos para Análise de Decisões. 5. ed. Rio de Janeiro: LTC, 2015.
HILLIER, Frederick S.; LIEBERMAN, Gerald J. Introdução à Pesquisa Operacional. 9. ed.
Porto Alegre: AMGH, 2012.
PRADO, Darci. Programação Linear. Série Pesquisa Operacional. 7. ed. Belo Horizonte: Falconi, 2016. (v. 1).
TAHA, Hamdy A. Pesquisa operacional. 8. ed. São Paulo: Pearson Prentice Hall, 2008.
Bibliografia Complementar:
COLIN, Emerson C. Pesquisa Operacional: 170 Aplicações em Estratégia, Finanças, Logística, Produção, Marketing e Vendas. 2. ed. São Paulo: Atlas, 2017.
CUNHA, Sueli F. da. Introdução à Programação Linear. Rio de Janeiro: Ciência Moderna, 2017.
LINS, Marcos P. E.; CALÔBA, Guilherme M. Programação Linear: com Aplicações em Teoria dos Jogos e Avaliação de Desempenho. Rio de Janeiro: Interciência, 2006.
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)
Mostrando 3 de 200 trechos.