Plano de Ensino

DISCIPLINA: Fundamentos Matemáticos para Computação

CURSO: Eixo Computação
CARGA HORÁRIA: 80 horas
CÓDIGO DA DISCIPLINA: COM150

EMENTA

Conceitos básicos de matemática discreta e de lógica para computação. Técnicas de provas, indução matemática.
Relações e conceitos de teoria de grafos. Modelagem de problemas usando grafos.

OBJETIVOS DA DISCIPLINA

Desenvolver a base matemática necessária para projeto de algoritmos e noções de complexidade.

CONTEÚDO PROGRAMÁTICO

1. Conceitos básicos: lógica formal

2. Lógica de Predicados
3. Demonstrações
4. Relações de Recorrência
5. Relações, funções e matrizes
6. Grafos e Árvores
7. Algoritmos em Grafos
8. Revisão

BIBLIOGRAFIA

Bibliografia básica

1. GERSTING, J. L. Fundamentos Matemáticos para a Ciência da Computação. 7. ed. São Paulo: LTC, 2016.
2. MENEZES, P. B. Matemática Discreta para Computação e Informática. Porto Alegre: Bookman, 2013.
3. ROSEN, K. H. Matemática Discreta e Suas Aplicações. Porto Alegre: AMGH, 2010.

Bibliografia complementar

1. LIPSCHUTZ, S.; LIPSON, M. Matemática Discreta. Porto Alegre: Bookman, 2013.

2. MORGADO, A. C.; CARVALHO, P. C. P. Matemática Discreta. Rio de Janeiro: SBM, 2015.
3. ROSEN, K. H. Discrete Mathematics and its applications. New Delhi: McGraw-Hill, 2011.
4. SCHEINERMAN, E. R. Matemática Discreta: uma Introdução. São Paulo: Cengage Learning, 2016.
5. VELLEMAN, D. J. How to prove it: A structured approach. New York: Cambridge University Press, 2006.

PRÉ-REQUISITOS

Não possui.
CRITÉRIOS DE AVALIAÇÃO

A avaliação da disciplina é formativa* e somativa**. Os alunos devem entregar as resoluções de atividades e/ou
exercícios no Ambiente Virtual de Aprendizagem semanalmente e realizar, ao final do período letivo, uma prova
presencial aplicada nos polos Univesp.

*A avaliação formativa ocorre quando há o acompanhamento dos alunos, passo a passo, nas atividades e trabalhos
desenvolvidos, de modo a verificar suas facilidades e dificuldades no processo de aprendizagem e, se necessário, adequar
alguns aspectos do curso de acordo com as necessidades identificadas.

**A avaliação somativa é geralmente aplicada no final de um curso ou período letivo. Este tipo de avaliação busca
quantificar se o aluno aprendeu aquilo que estava previsto nos objetivos de aprendizagem do curso. Ou seja, a avaliação
somativa quer comprovar se a meta educacional proposta e definida foi alcançada pelo aluno.

DOCENTE RESPONSÁVEL

Prof. Dr. Marcos Tadeu de Oliveira Pimenta

Possui Licenciatura Plena em Matemática pela Universidade Estadual Paulista Júlio de Mesquita Filho (2005), Mestrado
(2008) e Doutorado (2011) em Matemática pelo Instituto de Ciências Matemáticas e de Computação (ICMC-USP). Obteve
ainda através de concurso público o título de Livre-Docente pelo Departamento de Matemática do Instituto de Ciências
Matemática e de Computação (ICMC-USP, em 2018). Tem experiência na utilização de Métodos Variacionais para estudar
questões de existência, multiplicidade e concentração de soluções de equações diferenciais parciais elípticas. Atualmente
é Professor Associado MS-5.1 do Departamento de Matemática e Computação da FCT - Unesp, campus de Presidente
Prudente-SP, coordenador do Programa de Pós-Graduação em Matemática Aplicada e Computacional da FCT - Unesp e
também Bolsista de Produtividade em Pesquisa CNPq, Nível 2.