PLANO DE ENSINO E APRENDIZAGEM

CURSO: Cincia da Computao

Disciplina:
Lgica Matemtica
Perodo Letivo:
1sem/2014
Srie:
2 Srie
Periodo:
No definido
Semestre de Ingresso: 2 Ano de Ingresso: 2013
C.H. Terica:
40
C.H. Outras:
20
C.H. Total:
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
1 / 3

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
1Avaliao - PESO 4,0 2Avaliao - PESO 6,0
Atividades Avaliativas a Critrio do Professor Prova Escrita Oficial
Prticas: 3,00 Prticas: 3,00
Tericas: 7,00 Tericas: 7,00
Total: 10 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 Bauru (FFA)
1) MORTARI, Cezar A. INTRODUO LGICA. 1 ed. So Paulo: Fundao Editora da UNESP, 2001.
2) DAGHLIAN, Jacob. Lgica e lgebra de Boole. 4 ed. So Paulo: Atlas, 2008.


Bibliografia Complementar: Faculdade Anhanguera de Bauru (FFA)
1) LIPSCHUTZ, S.. Teoria e Problemas de Matemtica Discreta. 2 ed. Porto Alegre: Bookman, 2004.
2) FORBELLONE, A. L.. Lgica de Programao. 3 ed. So Paulo: Pearson - Prentice Hall, 2005.
3) GERSTING, Judith L.. Fundamentos Matemticos para a Cincia da Computao. 1 ed. Rio de Janeiro: LTC - Livros
Tcnicos e Cientficos, 2008.
4) NOLTE, John. Lgica. 1 ed. So Paulo: McGraw-Hill, 1991, v.1.
5) DAGHLIAN, Jacob. Lgica e lgebra de Boole. 4 ed. So Paulo: Atlas, 2010.

Cronograma de Aulas
Semana n. Tema
1 Apresentao da Disciplina e Metodologia de Trabalho. Introduo Lgica.
2 lgebra de Conjuntos.
3 Lgica Proposional - Linguagem; Conectivos e Valores Lgicos; Tautologias.
4 Lgica Proposional - Linguagem; Conectivos e Valores Lgicos; Tautologias.
5 Lgica proposional - Argumentos Vlidos; Regras de Deduo; Mtodos Dedutivos; Argumentos
Verbais.
6 Lgica Proposional - Argumentos Vlidos; Regras de Deduo; Mtodos Dedutivos; Argumentos
Verbais.
7 Lgica Proposional - Tableaux Semnticos.
8 Lgica Proposional - Tableaux Semnticos.
9 Atividades de Avaliao.
10 Lgica de Predicados - Linguagem; Qualificadores, Predicados e Validade.
11 Lgica de Predicados - Linguagem; Qualificadores, Predicados e Validade.
12 Lgica de Predicados - Regras de Deduo; Mtodos Dedutivos; argumentos Verbais.
13 Tcnicas de Demonstrao.
14 Tcnicas de Demonstrao.
15 Induo Finita.
16 lgebra de Boole.
17 lgebra de Boole.
18 Prova Escrita Oficial.
2 / 3

19 Exerccios de Reviso.
20 Prova Substitutiva.
Coordenador do Curso
_____________________
Assinatura
Diretor Executivo__/__/____
_____________________
Assinatura
3 / 3