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