MINISTRIO DA EDUCAO

SECRETARIA DE EDUCAO PROFISSIONAL E TECNOLGICA

INSTITUTO FEDERAL DE EDUCAO, CINCIA E TECNOLOGIA DE SANTA CATARINA
CMPUS LAGES
CURSO DE CINCIA DA COMPUTAO

PLANO DE AULA

1. IDENTIFICAO
CURSO: CINCIA DA COMPUTAO
DISCIPLINA: Fundamentos de Matemtica Discreta
CARGA HORRIA: 72 horas
FASE: 1
ANO / SEMESTRE: 2016 / 1
PROFESSOR: Marcelo Maraschin de Souza

2. CONTEDO PROGRAMTICO
DIA DESCRIO LOCAL
22/02 Introduo Matemtica Discreta Sala 122
23/02 Lgica formal: definies e conectivos lgicos (no, ou, e) Sala 122
29/02 Lgica formal: implicao e equivalncia Sala 122
01/03 Lgica formal: tautologia. Resoluo de exerccios e entrega de lista (exerccios baseados na bibliografia e Sala 122
questes do POSCOMP e ENADE)
07/03 Discusso da lista e contedo novo: lgica proposicional (propriedades e regra de demonstrao) Sala 122
08/03 Regras de demonstrao, resoluo de exerccios e entrega de lista de exerccios Sala 122

Rua Heitor Villa Lobos, 222 - Bairro So Francisco - CEP 88506-400 Lages (SC)
Fone: (49) 3221-4200 p. 1
Email: computao.grad.lgs@ifsc.edu.br
 MINISTRIO DA EDUCAO
SECRETARIA DE EDUCAO PROFISSIONAL E TECNOLGICA
INSTITUTO FEDERAL DE EDUCAO, CINCIA E TECNOLOGIA DE SANTA CATARINA
CMPUS LAGES
CURSO DE CINCIA DA COMPUTAO

14/03 Discusso da lista e introduo lgebra Booleana e reticulados Sala 122

15/03 Reviso Sala 122
21/03 Avaliao 1 Sala 122
22/03 Conjuntos Sala 122
28/03 Conjuntos Sala 122
29/03 Conjuntos e lista de exerccios Sala 122
04/04 Discusso da lista e contedo novo: relaes Sala 122
05/04 Relaes Sala 122
11/04 Relaes Sala 122
12/04 Resolues de exerccios e entrega de lista Sala 122
18/04 Sequncias e somas: introduo Sala 122
19/04 Sequncias e somas: somas e relaes de recorrncia Sala 122
25/04 Sequncias e somas: somas mltiplas Sala 122
26/04 Sequncias e somas: somas finitas e entrega da lista Sala 122
02/05 Discusso da lista e reviso Sala 122
03/05 Avaliao 2 Sala 122
09/05 Recuperao 1 Sala 122
10/05 Induo e recurso Sala 122
16/05 Induo e recurso Sala 122

Rua Heitor Villa Lobos, 222 - Bairro So Francisco - CEP 88506-400 Lages (SC)
Fone: (49) 3221-4200 p. 2
Email: computao.grad.lgs@ifsc.edu.br
 MINISTRIO DA EDUCAO
SECRETARIA DE EDUCAO PROFISSIONAL E TECNOLGICA
INSTITUTO FEDERAL DE EDUCAO, CINCIA E TECNOLOGIA DE SANTA CATARINA
CMPUS LAGES
CURSO DE CINCIA DA COMPUTAO

17/05 Induo e recurso: lista de exerccios Sala 122

23/05 Anlise Combinatria: introduo e nmeros binomiais Sala 122
24/05 Anlise Combinatria: princpios da multiplicao e adio Sala 122
30/05 Anlise Combinatria: permutaes e combinaes Sala 122
31/05 Anlise Combinatria: permutaes e combinaes e lista de exerccios Sala 122
06/06 Anlise Combinatria: discusso da lista e resoluo de exerccios Sala 122
07/06 Elementos da teoria dos nmeros: divisibilidade Sala 122
13/06 Elementos da teoria dos nmeros: mximo divisor comum Sala 122
14/06 Elementos da teoria dos nmeros: aritmtica modular Sala 122
20/06 Avaliao 3 Sala 122
27/06 Recuperao 2 Sala 122

Rua Heitor Villa Lobos, 222 - Bairro So Francisco - CEP 88506-400 Lages (SC)
Fone: (49) 3221-4200 p. 3
Email: computao.grad.lgs@ifsc.edu.br