MINISTRIO DA EDUCAO

CENTRO FEDERAL DE EDUCAO TECNOLGICA CELSO SUCKOW DA FONSECA

DIRETORIA DE ENSINO (DIREN)
DEPARTAMENTO DE ENSINO SUPERIOR (DEPES)
DEPARTAMENTO DE INFORMTICA (DEPIN)
BACHARELADO EM CINCIA DA COMPUTAO (BCC)

DEPARTAMENTO PLANO DE CURSO DA DISCIPLINA

DEPIN LGICA MATEMTICA

CDIGO PERODO ANO SEMESTRE PR-REQUISITOS

GCC 1104 2 2012 1

TOTAL DE AULAS
CRDITOS AULAS/SEMANA Nenhum
NO SEMESTRE
TERICA PRTICA ESTGIO

4 4 0 0 72

EMENTA
Introduo Lgica Matemtica. Lgica Proposicional e de 1 Ordem. Programao em lgica. lgebra
Booleana.

BIBLIOGRAFIA
Bibliografia bsica
1. GERSTING, Judith L.. Fundamentos Matemticos para a Cincia da Computao, 5 edio. LTC
Editora, 2004.
2. HUTH, Michael, RYAN, Mark. Lgica em Cincia da Computao, 2 edio, LTC Editora, 2008.
3. CASANOVA, Marco A., GIORNO, Fernando A. C., FURTADO, Antonio L. Programao em Lgica e a
Linguagem Prolog. Editora E Blucher, 1987.
Bibliografia complementar
1. SILVA, Flavio S.C., FINGER, Marcelo, MELO, Ana Cristina V. Lgica para Computao. 1 Edio.
Thomson, So Paulo, 2006.
2. DAGHLIAN, Jacob. Lgica e lgebra de Boole. 4 edio. Editora Atlas, 1995.
3. SOUZA, Joo N. Lgica para Cincia da Computao. 1 Edio. Editora Campus, 2008.
4. MENEZES, Paulo Blauth, Matemtica Discreta para Computao e Informtica. Sagra Luzzatto, Porto
Alegre, 2004.

5. MORTARI, Cezar A. Introduo lgica. 1 Edio, Unesp. So Paulo: FEU, 2001.

OBJETIVO GERAL
Capacitar a formalizao do raciocnio dedutivo estabelecendo um paralelo com as etapas de construo de
algoritmos, desenvolvendo com isso, habilidades de organizao de idias e inferncia de resultados.
Apresentar ao aluno os conceitos matemticos fundamentais para o desenvolvimento de suas atividades na
rea de Computao.

METODOLOGIA
Aulas expositivas com recursos audiovisuais.

Resoluo de exerccios de fixao e propostos.

CRITRIO DE AVALIAO
A avaliao semestral envolve duas provas escritas (P1 e P2). As datas das provas so agendadas entre o
professor e a turma. A mdia parcial (MP) ser calculada pelo cmputo da mdia aritmtica simples entre a nota
P1 e P2:
MP = (P1 + P2) / 2
O aluno que faltar a uma das duas provas ter direito a uma avaliao alternativa, denominada segunda
chamada, versando sobre todos os tpicos abordados no curso, e cuja data tambm agendada entre docente e
discentes. A nota obtida nessa 2 chamada substituir a da avaliao P1 ou P2 onde o aluno no esteve
presente. Caso ele falte s duas avaliaes, ter atribudo o grau ZERO em uma delas.

Segundo o regimento do CEFET-RJ, caso o aluno obtenha mdia parcial inferior a 3,0 (trs e zero) estar
reprovado diretamente. Graus MP maiores ou iguais a 7,0 (sete e zero) aprovam diretamente o aluno. Em
situaes onde o aluno tenha grau MP entre 3,0 inclusive e 7,0 exclusive, ter direito a uma prova final (PF), que,
juntamente com a mdia parcial gerar uma nova mdia, denominada mdia final (MF). Essa mdia calculada
da seguinte forma:
MF = (MP + PF) / 2
Para ser aprovado, o aluno deve alcanar uma MF maior ou igual a 5,0 (cinco e zero). Caso contrrio, estar
reprovado, devendo repetir a componente curricular.

CHEFE DO DEPARTAMENTO
NOME ASSINATURA

PROFESSOR RESPONSVEL PELA DISCIPLINA

NOME ASSINATURA

PROGRAMA
1. Introduo Lgica Matemtica
1.1. O que a Lgica Matemtica
1.2. Histria da Lgica
1.3. Evoluo da Lgica
1.4. Argumentos
 1.5. Princpios da Lgica
2. Lgica Proposicional e de 1 ordem
2.1. Princpios da Lgica formal
2.2. Sentenas, representao simblica, tautologia
2.3. Clculo proposicional
2.4. Quantificadores, predicados e validade
2.5. Clculo de predicados
3. Programao em Lgica
3.1. A Linguagem Prolog bsica
3.2. Aplicaes em Prolog
4. lgebra Booleana
4.1. Expresses booleanas
4.2. Minimizao algbrica de expresses
4.3. Aplicaes em circuitos digitais