Aulas e Formas de Avaliação

Aulas discursivas

• quarta-feira das 11h20 às 13h;

• sexta-feira das 7h40 às 9h20.

Formas de avaliações

. 02 trabalhos manuscritos (podendo ser em dupla);

02 provas de resolução de exercícios baseados em 02
listas de exercícios;

provas substitutivas e exame final.

Conteúdo Programático

Breve revisão de Matemática básica;

Introdução aos conceitos de lógica computacional – Lógica Formal: proposição, argumento e conclusão – operadores condicional e bicondicional, encadeamento de sentenças e Tabela Verdade. Tautologia e contradição;

Teoria dos conjuntos: Operações entre conjuntos; Conjuntos numéricos e
Intervalos; Operações entre intervalos;

Indução matemática – Aplicações de indução matemática;

Análise Combinatória – Arranjo, Permutação e Combinação;

7) Relações – Funções: Função afim, função quadrática, função módulo, função exponencial e função logarítmica;

6) Teoria de Grafos;

Bibliografia Básica

LIPSCHUTZ, Seymour, LIPSON, Marc.
Matemática Discreta.
Porto Alegre: Bookman, 2004