cc.fav2013@gmail.

com
Email da turma.

PLANO DE ENSINO E APRENDIZAGEM

CURSO: Cincia da Computao
Disciplina:
Perodo Letivo:
Srie:
Periodo:
Lgica Matemtica
1 sem/2014
2 Srie
No definido
Semestre de Ingresso: 2
Ano de Ingresso: 2013
C.H. Terica:
C.H. Outras:
C.H. Total:
40
20
60

Ementa
A Matemtica e o Mtodo Axiomtico Dedutivo. Motivao para o estudo da Lgica. Lgica Proposicional (Linguagem, semntica,
sistemas Dedutivos). Lgica de Predicados (Linguagem, semntica, sistemas Dedutivos). Sistemas de Tableaux. Formalizao de
problemas. Tcnicas de demonstrao. Induo Finita. lgebra de Boole.

Objetivos
Conhecer os conceitos e resolver problemas de lgica posicional, lgica de predicados, sistemas Tableaux, induo finita e
lgebra de Boole.

Contedo Programtico
A Matemtica e o Mtodo Axiomtico Dedutivo:
- Definies
Motivao para o estudo da Lgica:
- Perodos da lgica
- Sistemas dicotmicos
- Propriedades da lgica clssica
lgebra de conjuntos:
- notao
- relao de conjuntos
- conjuntos de conjuntos
- operaes em conjuntos
Lgica Proposicional:
- linguagem
- conectivos e valores lgicos
- tautologias
- conectivos lgicos no Mundo Real
- argumentos vlidos
- regras de deduo e mtodos dedutivos
- argumentos verbais
- tableaux semnticos
Lgica de Predicados:
- linguagem
- quantificadores, predicados e validade
- regras de deduo
- argumentos verbais
Tcnicas de Demonstrao:
- demonstrao exaustiva
- demosntrao direta
- contraposio
Induo Finita:
- a primeira foram do princpio da Induo Finita

lgebra Booleana
- estrutura de lgebra de Boole
- circuitos lgicos
- mapa de Karnaugh

Procedimentos Metodolgicos Indicados

Aula expositiva, exerccio em classe, atividades prticas.

Sistema de Avaliao
1 Avaliao - PESO 4,0
Atividades Avaliativas a Critrio do Professor
Prticas: 3,00
Tericas: 7,00
Total: 10

2 Avaliao - PESO 6,0

Prova Escrita Oficial
Prticas: 3,00
Tericas: 7,00
Total: 10

Bibliografia Bsica Padro

1) SOUZA, Joo Nunes de. Lgica para Cincia da Computao : uma introduo concisa. 2 ed. Rio de Janeiro: Campus Elsevier, 2008.

Bibliografia Bsica Unidade:

Faculdade Anhanguera de Valinhos (FAV)

1) DE ALENCAR FILHO., Edgard. Iniciao a Lgica Matemtica. 21 ed. So Paulo: Nobel, 2002.
2) GERSTING, Judith L.. Fundamentos Matemticos para a Cincia da Computao. 1 ed. Rio de Janeiro: LTC - Livros
Tcnicos e Cientficos, 2008.

Bibliografia Complementar: Faculdade Anhanguera de Valinhos (FAV)

1) GOLDSTEIN,, Larry J.; SCHNEIDER, David I.; LAY, David C.. Matemtica Aplicada : economia, administrao e
contabilidade. 10 ed. Porto Alegre: Bookman, 2006.
2) MORTARI, Cezar A.. Introduo Lgica. 1 ed. So Paulo: Fundao Editora da UNESP, 2001.
3) FORBELLONE, A. L.. Lgica de Programao. 1 ed. So Paulo: Pearson, 2008.
4) LIPSCHUTZ, Seymour; LIPSON, Marc Lars. Teoria e Problemas de Matemtica Discreta. 2 ed. Porto Alegre: Bookman,
2008.
5) DAGHLIAN, Jacob. Lgica e lgebra de Boole. 4 ed. So Paulo: Atlas, 2010.

Peridico: Faculdade Anhanguera de Valinhos (FAV)

1) JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY. Porto Alegre: Sociedade Brasileira de Computao, 1994-2009 Trimestral
2) REVISTA DE CINCIAS EXATAS E TECNOLOGIA. Valinhos: Anhanguera Publicaes, 2006-2008 - Anual

Semana n.
1
2
3
4
5
6
7
8
9
10

Cronograma de Aulas
Tema
Apresentao da Disciplina e Metodologia de Trabalho. Introduo Lgica.
lgebra de Conjuntos.
Lgica Proposional - Linguagem; Conectivos e Valores Lgicos; Tautologias.
Lgica Proposional - Linguagem; Conectivos e Valores Lgicos; Tautologias.
Lgica proposional - Argumentos Vlidos; Regras de Deduo; Mtodos Dedutivos; Argumentos
Verbais.
Lgica Proposional - Argumentos Vlidos; Regras de Deduo; Mtodos Dedutivos; Argumentos
Verbais.
Lgica Proposional - Tableaux Semnticos.
Lgica Proposional - Tableaux Semnticos.
Atividades de Avaliao.
Lgica de Predicados - Linguagem; Qualificadores, Predicados e Validade.

11
12
13
14
15
16
17
18
19
20

Lgica de Predicados - Linguagem; Qualificadores, Predicados e Validade.

Lgica de Predicados - Regras de Deduo; Mtodos Dedutivos; argumentos Verbais.
Tcnicas de Demonstrao.
Tcnicas de Demonstrao.
Induo Finita.
lgebra de Boole.
lgebra de Boole.
Prova Escrita Oficial.
Exerccios de Reviso.
Prova Substitutiva.

Coordenador do Curso
_____________________
Assinatura

Diretor Executivo
__/__/____
_____________________
Assinatura