1

Autarquia Educacional do Vale do São Francisco – AEVSF
Faculdade de Ciências Aplicadas e Sociais de Petrolina –
FACAPE
Ciência da Computação
CRONOGRAMA DE AULAS DA DISCIPLINA LÓGICA PARA COMPUTAÇÃO
TURNOS: MATUTINO/NOTURNO
D

I

S

C

I

P

L

I

N

A

1º. SEMESTRE / 2015
C Ó D I G O

LÓGICA PARA COMPUTAÇÃO
Nº de
Ordem

01 e 02
03 e 04
05 e 06

07 e 08

09 e 10
11 e 12

13 e 14
15 e 16
17 e 18
19 e 20
21 e 22
23 e 24
25 e 26
27 e 28
29 e 30
31 e 32
33 e 34
35 e 36
37 e 38
39 e 40
41 e 42
43 e 44
45 e 46
47 e 48
49 e 50
51 e 52
53 e 54
55 e 56
57 e 58
59 e 60

DATA

CONTEÚDO PROGRAMÁTICO

C A R G A
H O R Á R I A

60h

P

R

O

F

E

S

S

O

Alírio Amorim Nunes

METODOLOGIA E RECURSOS MATERIAIS

Apresentação da disciplina, conteúdos, metodologia, avaliações.
Aula expositiva com retroprojetor
Lógica Proposicional – definição de proposição, princípios fundamentais Aula expositiva com retroprojetor da lógica matemática. Exercício de fixação
Lógica Proposicional - Arvore Sintática de uma fórmula, algoritmo para Aula expositiva calculo da altura (posto) da árvore de uma fórmula, algoritmo para cálculo do número de operadores de uma fórmula.
Lógica Proposicional - algoritmo para cálculo do comprimento de uma fórmula, algoritmo para calculo do número de parênteses de uma fórmula.
Atividade sobre os conteúdos estudados
Lógica Proposicional - equivalências lógica, simplificação de fórmulas Aula expositiva com retroprojetor utilizando equivalência lógica.
Lógica Proposicional - equivalência lógica, consequência lógica
Aula expositiva utilizando equivalência.
Atividade sobre Equivalência Lógica.
Método da Tabela-verdade na Lógica Proposicional.
Aula expositiva
Método da Tabela-verdade na Lógica Proposicional.
Aula expositiva
Atividade sobre Método da Tabela-verdade
Método da Dedução Natural.
Aula expositiva com retroprojetor
Método da Dedução Natural.
Aula expositiva
Atividade sobre Método de Dedução Natural
Método Tableaux Semânticos.
Aula expositiva com retroprojetor
Método