Plano de Ensino

DISCIPLINA: ​Fundamentos Matemáticos da Computação

CURSO: ​Engenharia de Computação
CARGA HORÁRIA: ​40 horas
CÓDIGO DA DISCIPLINA: ​EEM001

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

O objetivo da disciplina é apresentar aos alunos de Engenharia de Computação alguns aspectos de lógica matemática
significativos na área de programação bem como conceitos de lógica, matemática discreta e teoria dos grafos
aplicados à computação e à programação de computadores.

CONTEÚDO PROGRAMÁTICO

1. Introdução a Matemática Discreta

2. Lógica Proposicional
3. Manipulação Lógica de Proposições
4. Lógica de Predicados
5. Técnicas de Provas
6. Prova de Teoremas
7. Indução Matemática
8. Relações
9. Tipos de Relações
10. Funções, Sequências
11. Sequências Infinitas
12. Introdução à Teoria de Grafos
13. Caminhos em Grafos
14. Grafos Representados na Forma Matricial

BIBLIOGRAFIA

Bibliografia Básica

MENEZES, P. B. ​Matemática Discreta para Computação e Informática​. Porto Alegre: Bookman, 2013.

ROSEN, K. H. ​Matemática Discreta e Suas Aplicações​. Porto Alegre: AMGH, 2010.

SCHEINERMAN, E. R. ​Matemática Discreta:​ uma Introdução. São Paulo: Cengage Learning, 2016.

Bibliografia Complementar

GERSTING, J. L. ​Fundamentos Matemáticos para a Ciência da Computação: ​matemática discreta e suas aplicações.
Rio de Janeiro: LTC, 2017.

GOMIDE, A.; STOLFI, J. ​Elementos de Matemática Discreta para Computação.​ UNICAMP, 2011.

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

MORGADO, A. C.; CARVALHO, P. C. P. ​Matemática Discreta.​ Rio de Janeiro: SBM, 2015.

SCHEINERMAN, E. R. ​Matemática Discreta:​ uma Introdução. São Paulo: Cengage Learning, 2016.

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 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. Claudio Possani

Possui graduação em Matemática pela Universidade de São Paulo (1976), mestrado em Matemática pela
Universidade de São Paulo (1979) e doutorado em Matemática pela Universidade de São Paulo (1989). Atualmente é
professor assistente MS-3 da Universidade de São Paulo. Trabalhou por muitos anos com Educação de crianças e
adolescentes nos níveis de Ensino Fundamental e Médio. Suas áreas de interesse são: Geometria e Topologia,
Sistemas Dinâmicos e Aplicações e História da Matemática. Possui grande experiência na área de Administração
Acadêmica, tendo exercido cargos de representação em órgãos colegiados, Presidência da Comissão de Graduação
do Instituto de Matemática da USP e foi assessor na Pró-Reitoria de Graduação da USP entre os anos de 1998 e 2002.
É empresário da área de Educação com experiência em Administração Escolar. Foi Assessor de Relações
Internacionais na USP e Diretor do Centro Interunidade de História da Ciência da USP.