Lógica para Ciência da Computação

CENTRO UNIVERSITÁRIO DE FORMIGA
CREDENCIAMENTO: Decreto publicado em 05/08/2004
RECREDENCIAMENTO: Decreto publicado em 15/12/2006
Mantenedora: Fundação Educacional Comunitária Formiguense – FUOM
Plano de Ensino – Graduação
Período:
Turma:
Disciplina:
Carga Horária:
Curso:
Docente:
1º
Ano Letivo: 2011
Semestre:
1º
1° Período A - 2011/1ºSem - Ciência da Computação Bacharel em Ciên
Lógica para Ciência da Computação
80 h/a C.H. Teórica: 80 h/a
C.H. Prática: 0 h/a
Ciência da Computação
Márcio Lopes Júnior
Parte A
Objetivo Geral
•
•
•
•
•
•
•
Introduzir os fundamentos da Lógica.
Desenvolver o raciocínio matemático e uma mentalidade alicerçada no rigor e na
observação.
Desenvolver uma formação dedutiva e indutiva.
Desenvolver a capacidade de abstração.
Apresentar a Lógica Proposicional e métodos de determinação da validade de sentenças
da Lógica Proposicional.
Apresentar a Lógica de Predicados, métodos de determinação da validade de sentenças da
Lógica de Predicados.
Desenvolver teorias a partir da criação de uma linguagem formal que represente a teoria.
Determinação de novas propriedades da teoria a partir da aplicação de regras de inferência
aos axiomas da teoria.
Ementa
•
Introdução à Lógica. Lógica Proposicional. Regras Semânticas e Sintáticas da Lógica
Proposicional. Relações entre sentenças da Lógica Proposicional. Validade de sentenças
da Lógica Proposicional. Lógica de primeira ordem. Regras semânticas e sintáticas da
lógica de primeira ordem. Relações entre sentenças da lógica de primeira ordem. Validade
de sentenças da Lógica de Primeira Ordem. Teorias e Álgebra de Boole. Teorias Especiais.
Teorias com Igualdade. Teorias com Indução.
Metodologia
•
•
•
•
Aula teórica
Trabalhos extra-classe
Exercícios
Avaliações
Avaliações
•
•
•
Exercícios em sala de aula
Trabalhos
Provas
SICAPE – Sistema de Cadastro de Plano de Ensino
CI – Centro de Informação
20110526113341400052400808375
CENTRO UNIVERSITÁRIO DE FORMIGA
CREDENCIAMENTO: Decreto publicado em 05/08/2004
RECREDENCIAMENTO: Decreto publicado em 15/12/2006
Mantenedora: Fundação Educacional Comunitária Formiguense – FUOM
Plano de Ensino – Graduação
Período:
Turma:
Disciplina:
Carga Horária:
Curso:
Docente:
1º
Ano Letivo: 2011
Semestre:
1º
1° Período A - 2011/1ºSem - Ciência da Computação Bacharel em Ciên
Lógica para Ciência da Computação
80 h/a C.H. Teórica: 80 h/a
C.H. Prática: 0 h/a
Ciência da Computação
Márcio Lopes Júnior
Parte B
Item
1
1.1
1.2
1.3
1.4
2
2.1
2.2
2.3
2.4
2.5
2.6
2.7
2.8
3
3.1
3.2
3.3
3.4
3.5
3.6
4
4.1
5
5.1
5.2
6
6.1
6.2
6.3
6.4
6.5
6.6
Conteúdo Programático
Títulos e Subtítulos
Introdução a Lógica
A lógica formal clássica
A lógica matemática
Linguagens formais
Indução e dedução
Lógica Proposicional
Regras sintáticas e semânticas
Propriedades das sentenças
Tabela verdade
Árvores semânticas
Prova por falsificação
Substituição
Interpretação estendida
Equivalência
Lógica dos Predicados
Regras Sintáticas
Regras Semânticas
Validade
Implicação
Equivalência
Fecho Universal e Fecho Existencial
Teorias
Teorias Especiais
Funções Lógicas
Portas Lógicas
Interligação entre expressões circuitos e tabela verdade
Álgebra de Boole e simplificação de circuito lógico
Variáveis e expressões na Álgebra de Boole
Postulados
Propriedades
Expressões equivalentes (teorema de De Morgan)
Expressões complementares
Método de simplificação de expressões através da álgebra de Boole
SICAPE – Sistema de Cadastro de Plano de Ensino
CI – Centro de Informação
20110526113341400052400808375
CENTRO UNIVERSITÁRIO DE FORMIGA
CREDENCIAMENTO: Decreto publicado em 05/08/2004
RECREDENCIAMENTO: Decreto publicado em 15/12/2006
Mantenedora: Fundação Educacional Comunitária Formiguense – FUOM
Plano de Ensino – Graduação
Período:
Turma:
Disciplina:
Carga Horária:
Curso:
Docente:
1º
Ano Letivo: 2011
Semestre:
1º
1° Período A - 2011/1ºSem - Ciência da Computação Bacharel em Ciên
Lógica para Ciência da Computação
80 h/a C.H. Teórica: 80 h/a
C.H. Prática: 0 h/a
Ciência da Computação
Márcio Lopes Júnior
Parte C
Referências
Bibliografia Básica
DAGHLIAN, Jacob. Lógica e álgebra de boole. 4ª. ed. São Paulo: Atlas, 1995. 167 p.
DALEN, Dirk Van. Logic and Structure. 3ª. ed. Berlin: Springer, 1997.
MANZANO, Maria. Extensions of mathematical logic. New York: Ams Chelsea: [s.n.], 1999.
172 p.
Referências
Bibliografia Complementar
ALENCAR FILHO, E. Iniciação à Lógica Matemática. São Paulo: Nobel, 1999. 203 p.
GERSTING, Judith L. Fundamentos matemáticos para a ciência da computação. 4ª. ed.
Rio de Janeiro: LTC, 2001.
HILBERT, David. Principles of mathematical logic. New York: Ams Chelsea, 1999. 172 p.
SOUZA, João Nunes de. Lógica para ciência da computação:: Fundamentos de linguagem
semântica e sistema de dedução. [S.l.]: Campus, 2002.
WALDINGER, R; MANNA, Z. The logical basis for computer programming. Massachusetts:
Addison-Wesley, 1985.
Assinatura do Docente
Assinatura do Coordenador(a)
SICAPE – Sistema de Cadastro de Plano de Ensino
CI – Centro de Informação
20110526113341400052400808375