Sistemas de Informação

1. IDENTIFICAÇÃO

Disciplina:
Matemática Discreta
Código:
IEC010

Pré-Requisito: IEM772
No. de Créditos:
04
Número de Aulas
Teóricas:
04
Práticas:
00

Semestre:
2º
Ano:
2013
Turma(s):
03

Professor(a):
Mário Salvatierra Júnior Departamento:
Instituto de Computação - ICOMP
Curso(s) para o(s) qual(is) está sendo oferecida

IE15- Sistemas de Informação

2. HORÁRIO
ATIVIDADE
SEG.
TER.
QUA.
QUI.
SEX.
Aulas

18-20

18-20

Atendimento

16-18

16-18

Preparação de aula

14-16

14-16

3. EMENTA
Lógica Proposicional; Conjuntos, Quantificação e Estratégias de Prova; Relações, Funções e Indução Matemática; Tópicos Algébricos e Combinatória; Estruturas parcialmente ordenadas; Grafos.

4. OBJETIVO Geral
Esta disciplina tem como objetivo geral permitir que aluno domine princípios, técnicas e metodologias associadas a problemas de estruturas discretas.

Específicos
Reconhecer estruturas matemáticas em sistemas discretos;
Manipular estruturas discretas através de técnicas específicas para cada tipo de estrutura;
Provar propriedades de estruturas discretas;
Utilizar a matemática discreta como uma linguagem de resolução de problemas.

5. CONTEÚDO PROGRAMÁTICO (Sujeito a alterações)

1. Lógica Proposicional
2. Equivalências Proposicionais
3. Predicados e Quantificadores
4. Regras de Inferência
5. Técnicas de Prova
6. Conjuntos
7. Operações com Conjuntos
8. Funções
9. Sequências e Somatórios
10. Indução Matemática
11. Definições Recursivas
12. Algoritmos Recursivos
13. Contagem
14. Relações de Recorrência
15. Relações
16. Grafos e modelos de grafos
17. Isomorfismo e Conectividade
18. Caminhos e Árvores

6. AVALIAÇÃO
A avaliação será feita com base em três provas parciais (P1, P2 e P3) e uma prova final (PF).

A Média Parcial (MP) será calculada da seguinte maneira:

A Média final (MF) será calculada a partir