Lógica para Ciência da Computação
Lógica para Ciência da Computação
Lógica para Ciência da Computação
Lógica para Ciência da Computação
Apresentação da Disciplina
B a c h a r e l a d o e m C i ê n c i a d a C o m p u t a ç ã o
Objetivos
Introduzir os fundamentos da Lógica;
Desenvolver uma formação dedutiva e indutiva;
Desenvolver a capacidade de abstração;
Apresentar a Lógica Proposicional e Lógica de Predicados;
Mostrar como a lógica matemática pode ser vista como uma linguagem de especificação de
sistemas e suas propriedades, oferecendo ao aluno o ferramental teórico-matemático
Site da Disciplina
Metodologia de Trabalho
Aulas teóricas (60h)
◦ TEORIA: toda terça e quinta-feira (10:20h– Sala 26).
Exposição dos conceitos básicos
◦ Lógica proposicional, lógica de predicados e aplicação da álgebra de Boole.
Listas de exercícios
◦ Para fixação e reflexão dos conteúdos expostos
Dúvidas do alunos
Bibliografia Recomendada
o
BIBLIOGRAFIA BÁSICA:
1.
CAPUANO, F.G; IDOETA, I.V. Elementos da Eletrônica Digital. Erika, 2001.
2.
ALVES, Alaor Caffe. Lógica Pensamento Formal e Argumentação. 5 ed. Quartier Latin, 2011.
3.
SOUZA, João Nunes. Lógica para Ciência da Computação. 2. ed. Elsevier, 2008
.
o
BIBLIOGRAFIA COMPLEMENTAR:
1. DAGHLIAN, Jacob. Lógica e álgebra de Boole. São Paulo: Atlas, 1995.
2. FORBELLONE, A. L.; EBERSPACHER, H. Lógica de Programação. 3ª ed., Editora Pearson Prentice-Hall, 2005, ISBN 978-85-7605-024-7, [recurso eletrônico].
3. GERSTING, Judith L. Fundamentos Matemáticos para a Ciência da Computação: Um Tratamento Moderno de Matemática Discreta. 5ª ed. Editora LTC, 2004.
4. SILVA, Flávio S.C.da; Finger, M., de Melo, Ana C.V. Lógica para Computação, Thomson, 2006.
Biblioteca Virtual
Link para a
Biblioteca Virtual:
Forma de Avaliação
Provas Teóricas
o
Valor de 90 pontos ao todo
o
Prova 1: 30 pontos, na 5ª semana de aula aproximadamente.
o
Prova 2: 30 pontos, na 10ª semana de aula aproximadamente.
o
Prova 3: 30 pontos, na 15ª semana de aula aproximadamente.
Lista de exercícios
o
As “3 listas de exercícios” valem 10 pontos. A não entrega de “qualquer uma” das listas implica em 0
pontos na nota final.
Será considerado aprovado o aluno que obtiver o aproveitamento, na disciplina, igual ou
superior a 60% e obtiver presença igual ou superior a 75%.
Conteúdo Programático
Principais conteúdos:
o
Introdução á Lógica
o
Lógica Proposicional
o
Lógica dos Predicados
o
