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: Matemática Discreta para Computação
Disciplina: Matemática Discreta para Computação
Carga Horária Semestral: 60h
Carga Horária Semanal: 4h
Créditos: 4
Pré-requisitos: Sem pré-requisitos
Objetivo Geral: Desenvolver os conceitos da matemática discreta como ferramentas na abordagem de problemas na ciência da computação, contribuindo para o desenvolvimento de competências e habilidades no que tange ao raciocínio formal e analítico do discente.
Ementa: Conjuntos. Álgebra de Conjuntos e Funções. Funções e Formas Booleanas, Álgebra Booleana, Minimização de Funções Booleanas. Combinatória. Teoria dos Grafos. Propriedade dos Inteiros, Relações de Equivalência e Ordem, Iteração, Indução e Recursão. Relação de recorrência. Reticulados, Teoria dos Códigos.
Bibliografia Básica:
LIPSCHUTZ, Symour; LIPSON, Marc. Matemática discreta. 3. ed. Porto Alegre: Bookman, 2013. (Coleção Schaum).
MENEZES, Paulo Blauth. Matemática discreta para computação e informática. 3. ed.
Porto Alegre: Bookman, 2010. (RB=6266) SCHEINERMAN, E. R. Matemática discreta: uma introdução. 2. ed. São Paulo: Cengage Learning, 2010.
Bibliografia Complementar:
GERSTING, Judith L. Fundamentos matemáticos para a ciência da computação: um tratamento moderno de matemática discreta. 5. ed. Rio de Janeiro, RJ: LTC, 2015.
MENEZES, Paulo Blauth. Aprendendo matemática discreta com exercícios. Porto
Alegre: Bookman: 2009. (RB=6280) LIMA, Diana M.; Gonzalez, Luis E. F. Matemática Aplicada à Informática. 1. ed. Porto
Alegre: Bookman, 2015.
Trecho citadoDisciplina: Metodologia Científica
Disciplina: Metodologia Científica
Carga Horária Semestral: 45h
Carga Horária Semanal: 3h
Créditos: 3
Pré-requisitos: Sem pré-requisitos
Objetivo Geral: Instrumentalizar o aluno para a produção científica através de abordagens e discussões sobre técnicas de estudo, de pesquisa bibliográfica, de referenciação de documentos e de elaboração e normalização de trabalhos científicos.
Ementa: Conceito e Concepção de Método, Ciência e Pesquisa (Tipos e instrumentos). Metodologia Científica: O ser humano e a busca pelo conhecimento. Tipos de conhecimento. Pesquisa: tipologia, organização e elaboração. Comunicação científica: trabalhos e eventos científicos, periódicos e revistas científicas, tipologia e bases conceituais. Plataforma
Lattes: registro, atualização e inserção de dados do pesquisador. A conduta ética na pesquisa. Técnicas de pesquisa e elaboração de projetos e artigos científicos.
Bibliografia Básica:
BAGNO, Marcos. Pesquisa na escola: o que é e como se faz. 22. ed. São Paulo,SP: Edições Loyola, 2008. 102 p.
CERVO, Amado Luiz. Metodologia científica.5. ed. São Paulo, SP: Pearson Prentice Hall, 2002.
DEMO, Pedro. Introdução à metodologia da ciência.1. ed. São Paulo, SP: Atlas, 2010.
GIL, Antonio Carlos. Como elaborar projetos de pesquisa. 5. ed. São Paulo, SP: Atlas, 2010.
MARCONI, Marina de Andrade. Metodologia científica.5. ed. São Paulo, SP: Atlas, 2011.
Bibliografia Complementar KOCHE, José Carlos. Fundamentos de metodologia científica: teoria da ciência e iniciação à pesquisa. 28. ed. Petrópolis, RJ: Vozes, 2009 MATTAR, João. Metodologia científica na era da informática. 4. ed. São Paulo, SP: Saraiva, 2017.
MATTAR, João. Metodologia científica na era da informática. 3. ed. São Paulo, SP: Saraiva, 2008.
MINAYO, Maria Cecília de Souza. Pesquisa social: teoria, método e criatividade. 25. ed. Petrópolis, RJ: Vozes, 2007. (Temas Sociais).
SEVERINO, Antônio Joaquim. Metodologia do trabalho científico. 22. ed. São Paulo, SP: Cortez, 2007.
THIOLLENT, Michel. Metodologia da pesquisa-ação. 8. ed. São Paulo, SP: Cortez, 1998.
Disciplina: Lógica Aplicada à Computação
Disciplina: Lógica Aplicada à Computação
Carga Horária Semestral: 60h
Carga Horária Semanal: 4h
Créditos: 4
Pré-requisitos: Sem pré-requisitos
Objetivo Geral: Apresentar e discutir os fundamentos da lógica matemática, sistemas de prova, semântica, formalização e aplicações, visando desenvolver o potencial discente quanto a formalização e dedução de problemas inerentes à computação.
Ementa: Lógica Proposicional. Proposições e conectivos. Operações Lógicas sobre proposições. Construção de tabelas-verdade. Tautologias, contradições e contingências. Implicação Lógica. Equivalência lógica. Álgebra das proposições. Métodos para determinação da validade de fórmulas da Lógica Proposicional. Sistemas dedutivos. Tableaux semânticos. Lógica de Predicados.
Bibliografia Básica:
ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. São Paulo: Nobel, 2002. (RB=1128) SILVA, Flávio Soares Corrêa da; FINGER, Marcelo; MELO, Ana Cristina Vieira de. Lógica para computação. São Paulo: Cengage Learning, 2017. (RB=6281) SOUZA, João Nunes de. Lógica para ciência da computação e áreas afins: uma introdução concisa. 3. ed. Rio de Janeiro: Elsevier, 2015. (RB=7190) Bibliografia Complementar:
COPI, Irving Marmer. Introdução à lógica. 2. ed. São Paulo: Mestre Jou, 1978. (RB=5895) SOUZA, João Nunes de. Lógica para ciência da computação: Fundamentos de linguagem, semântica e sistemas de educação. Rio de Janeiro: Elsevier, 2002.(RB=81) SOUZA, João Nunes de. Lógica para ciência da computação: uma introdução concisa. 2 ed. Rio de Janeiro: Elsevier, 2008. (RB=6410)
Mostrando 3 de 200 trechos.