logica_computacao

Prévia do material em texto

PLANO DE UNIDADE CURRICULAR 
CURSO PERÍODO 
ENGENHARIA DE SOFTWARE 2022.2 
UNIDADE CURRICULAR CÓDIGO 
LÓGICA PARA COMPUTAÇÃO XXX-XX 
PROFESSOR: CARGA HORÁRIA 
FRANCISCO JOSÉ DE ARAÚJO 72 H 
 
1. APRESENTAÇÃO 
A disciplina Lógica para Computação tem como meta principal a apresentação 
dos principais fundamentos da lógica clássica necessários aos estudantes de Computação 
e áreas correlatas. Assim, um dos objetivos da lógica é proporcionar uma capacidade 
crítica que permita distinguir os argumentos, as inferências e as provas corretas. 
2. EMENTA 
Lógica Proposicional: Linguagem, Semânticas e Propriedades da Lógica 
Proposicional. Métodos para determinação de propriedades semânticas de fórmulas 
da Lógica Proposicional. Relações semânticas entre os conectivos da Lógica 
Proposicional e Técnicas Dedutivas. Lógica de Predicados: Linguagem, Semântica, 
Propriedades da Lógica de Predicados e Técnicas Dedutivas. 
 
3. OBJETIVOS 
 
3.1. Geral 
Apresentar os principais fundamentos da Lógica Clássica necessários aos 
estudantes de Computação e áreas correlatas. 
 
3.2. Específicos 
Identificar e representar uma proposição 
Construir e analisar o valor lógico de uma proposição simples 
Construir valores lógicos com as operações lógicas fundamentais em proposições 
compostas 
Construir a tabela verdade de uma proposição 
Identificar uma Tautologia, contradição ou contingência 
Negar uma proposição composta 
Identificar e representar uma implicação e uma equivalência 
Analisar uma implicação e uma equivalência usando tabela verdade 
Determinar a validade de uma implicação e uma equivalência e demonstrá-las 
Testar a validade de um argumento usando as técnicas dedutivas da Lógica 
Proposicional e de Predicados. 
 
 
 
4. CONTEÚDO PROGRAMÁTICO – LÓGICA PROPOSICIONAL E DE 
PREDICADOS 
 
 
 
 
UNIDADE I. A LINGUAGEM DA LÓGICA PROPOSICIONAL 
 1. Alfabeto e Fórmulas da Lógica Proposicional 
 2. Exercícios 
UNIDADE II. A SEMÃNTICA DA LÓGICA PROPOSICIONAL 
 1. Interpretação de Fórmulas da Lógica Proposicional 
 2. Álgebra das proposições 
 3. Exercícios 
 UNIDADE III. PROPRIEDADES SEMÂNTICAS DA LÓGICA 
PROPOSICIONAL 
 1. Propriedades Semânticas 
 2. Relações entre as propriedades semânticas 
 3. Equivalências 
 4. Exercício 
 UNIDADE IV. MÉTODOS PARA DETERMINAÇÃO DA VALIDADE DE 
FÓRMULAS DA LÓGICA PROPOSICIONAL 
 1. Métodos da Tabela Verdade, Árvore Semântica e Negação ou Absurdo. 
 2. Exercícios 
UNIDADE V. RELAÇÕES SEMÂNTICAS ENTRE OS CONECTIVOS DA 
LÓGICA PROPOSICIONAL 
 1. Conjuntos de Conectivos Completos 
 2. Exercícios 
UNIDADE VI. TÉCNICAS DEDUTIVAS 
 1. Um Sistema de dedução Natural na Lógica Proposicional 
 2. Tableaux Semânticos na Lógica Proposicional 
 3. Resolução na Lógica Proposicional 
 4. Exercícios 
 
 UNIDADE VII. A LINGUAGEM DA LÓGICA DE PREDICADOS 
1. Alfabeto e Fórmulas da Lógica de Predicados 
 2. Exercícios 
 UNIDADE VIII. A SEMÃNTICA DA LÓGICA DE PREDICADOS 
 1. Interpretação de Fórmulas da Lógica Proposicional 
 2. Álgebra das proposições 
 3. Exercícios 
 UNIDADE IX PROPRIEDADES SEMÂNTICAS DA LÓGICA DE 
PREDICADOS 
 1. Propriedades Semânticas 
 2. Relações entre as propriedades semânticas 
 3. Equivalências 
 4. Exercícios 
 UNIDADE X. TÉCNICAS DEDUTIVAS 
1. Tableaux Semânticos na Lógica de Predicados 
2. Resolução na Lógica de Predicados 
3. Exercícios 
 
 
 
 
 
 
5. HABILIDADES E COMPETÊNCIAS 
É desejável que, ao término da disciplina, o aluno desenvolva as seguintes 
habilidades: 
i. Resolver problemas usando a semântica da Lógica Proposicional e de Predicados 
ii. Resolver problemas usando as propriedades da Lógica Proposicional e de 
Predicados 
iii. Resolver problemas aplicando o método da tabela verdade na Lógica 
Proposicional 
iv. Resolver problemas usando da Negação ou Absurdo 
v. Resolver problemas utilizando a Dedução Natural 
vi. Resolver problemas usando Tableaux e Resolução na Lógica Proposicional e de 
Predicados. 
O desenvolvimento das habilidades previstas acima são o desdobramento da 
aquisição das seguintes competências, desejadas: 
i. Compreender os conceitos básicos da Linguagem da Lógica Proposicional e de 
Predicados 
ii. Compreender a Semântica da Lógica Proposicional e de Predicados 
iii. Compreender as Propriedades da Lógica Proposicional e de Predicados 
iv. Compreender os Métodos para determinação da validade de fórmula da Lógica 
Proposicional e de Predicados 
v. Compreender os sistemas dedutivos da Lógica Proposicional e de Predicados 
 
6. METODOLOGIA DE DESENVOLVIMENTO DA UNIDADE 
CURRICULAR 
O conteúdo terá desenvolvimento teórico e prático, utilizando-se procedimentos que 
visem à reflexão, à análise e à apropriação de conhecimento sobre o conteúdo proposto. Para 
tanto, será utilizada a técnica de exposição dialogada e lista de atividades práticas, bem como ao 
final de cada aula os alunos serão convidados a responder um quiz sobre o aprendizado de cada 
aula. 
 
 
7. AVALIAÇÃO DE APRENDIZAGEM 
 
 
 
 
Ao longo do bimenstre, cada Unidade Curricular terá 1 avaliação discursiva, 1 
avaliação interdisciplinar que correspondem a avaliação de aprendizagem regulares e 1 
avaliação continuada. Individualmente, são compostas de: 
1. Avaliação Discursiva: avaliação constituída por questões discursivas de 
caráter operatório ou construtivista com valor de 4,0 (quatro) pontos. 
2. Avaliação Interdisciplinar: avaliação constituída por questões de múltipla 
escolha com 5 alternativas, cada. Desse total, 10 serão formatadas no padrão 
BNI-ENADE. O valor da Avaliação Interdisciplinar será de 4,0 (cinco) pontos. 
3. Avaliação Continuada: realizada ao final de cada aula por meio da aplicação 
de 3 (três) questões de múltipla escolha (Quizzes). O valor dessa avaliação será 
de 2,0 (dois) pontos obtidos da média das 75% melhores Avaliações 
Continuadas do período correspondente. O professor poderá, desde que 
previsto em seu planejamento conjunto com a coordenação do curso, substituir 
no semestre letivo até 4 (quatro) Quizzes por seminários e/ou estudos dirigidos. 
A nota do 1° e do 2º bimestre corresponde a soma de todas as avaliações do 
bimestre sendo calculada pela formula: 
𝑁𝑜𝑡𝑎 𝑑𝑜 𝐵𝑖𝑚𝑒𝑠𝑡𝑟𝑒 = 𝑁𝑜𝑡𝑎 𝑄𝑢𝑖𝑧 (20%) + 𝑁𝑜𝑡𝑎 𝐷𝑖𝑠𝑐𝑢𝑟𝑠𝑖𝑣𝑎 (40%) + 𝑁𝑜𝑡𝑎 𝐼𝑛𝑡𝑒𝑟𝑑𝑖𝑠𝑐𝑖𝑝𝑙𝑖𝑛𝑎𝑟 (40%) 
A nota aprovativa é 7,0 (sete) e a cada Avaliação Discursiva e Interdisciplinar 
o aluno terá direito a uma Avaliação Substitutiva (REC1), caso não atinja a nota 
aprovativa. A Avaliação Substitutiva será aplicada em até 15 dias após a divulgação do 
resultado das avaliações regulares, no contra turno. 
Ao término do semestre letivo, o aluno deverá alcançar Média Final igual ou 
superior a 7,0 (sete). Caso o aluno tenha Média Final inferior a 4,0 (quatro), estará 
automaticamente REPROVADO por nota. Por outro lado, caso a Média Final fique 
entre 4,0 e 6,9, o aluno terá direito ao Exame Final (REC2). Para aprovação no Exame 
Final (REC2) o aluno deverá obter média igual ou superior a 6,0 (seis) calculada a partir 
da média aritmética entre a Média Final e a nota do Exame Final (REC2). 
É obrigatória, para aprovação, a frequência mínima de 75% às atividades previstas 
no Plano de Unidade Curricular. 
Conceitos a serem adotados: 
CONCEITO CÓDIGO 
Aprovado por Média AM 
Aprovado em Exame Final EF 
Reprovado por Nota RN 
Reprovado por Falta RF 
Crédito Concedido CC 
 
 
8. ATIVIDADES DE PESQUISA ARTICULADAS AO ENSINO 
Estimular os alunos para ler artigos sobre o tema relevante da Lógica para Computação. 
 
9. ATIVIDADES DE EXTENSÃO ARTICULADAS AO ENSINO 
 
 
 
 
Poderão ser lançados cursos de extensão para os alunos desta IES e para a comunidade 
acadêmica em geral com a temática dessa disciplina ou áreas afins. Serão ofertados cursos com 
temáticas queajudem o aluno ou a comunidade na construção de uma melhor compreensão da 
realidade atual. 
 
 
 
10. BIBLIOGRAFIA BÁSICA 
 
 10.1 BIBLIOGRAFIA BÁSICA 
1. SOUZA, J. N. de. Lógica para Ciência da Computação: uma introdução 
concisa. 2. ed. Rio de Janeiro, RJ: Elsevier, 2008. 
2. DAGHLIAN, Jacob. Lógica e Álgebra de Boole, 4. ed. Rio de Janeiro: 
Atlas, 1995. 
3. HEGENBERG, Leônidas. Lógica - o Cálculo Sentencial - Cálculo de 
Predicados e Cálculo Com Igualdade. 3. ed. Rio de Janeiro: Forense 
Universitária, 2012. 
10.2BIBLIOGRAFIA COMPLEMENTAR 
4. BARBIERI FILHO, Plínio, HETEM JR., Annibal. Fundamentos de Informática - Lógica 
para Computação. Rio de Janeiro: LTC, 2013. 
5. BISPO FILHO, Carlos Alberto F.; CASTANHEIRA, Luiz B.; SOUSA, Oswaldo Melo. 
Introdução à Lógica Matemática. São Paulo: Cengage, 2011. 
6. NICOLETTI, Carmo, M. D. A Cartilha da Lógica. 3. ed. Rio de Janeiro: 
LTC, 2017. 
7. SILVA, F.S.C. D., FINGER, M., MELO, A.C.V. D. Lógica para computação. 
2. ed. São Paulo: Cengage Learning, 2017. 
8. MACHADO, Nilson José; CUNHA, Marisa Ortegoza da. Lógica e 
linguagem cotidiana – verdade, coerência, comunicação, argumentação. 
3. ed. Belo Horizonte: Autêntica Editora, 2015.