Plano de ensino
Lógica Computacional 1 - 2021-1
1 Objetivos
O objetivo geral do curso de Lógica Computacional 1 é compreender como a lógica de primeira ordem é importante para a resolução de problemas computacionais.
Os objetivos específicos são:
- Compreender os fundamentos da lógica proposicional (intuicionista e clássica);
- Compreender os fundamentos da lógica de predicados (intuicionista e clássica);
- Compreender diferentes métodos de validação de teoremas e programas.
2 Conteúdo programático
- Noções básicas
- Linguagem natural vs linguagens formais
- Verdade, validade e satisfatibilidade
- Lógica proposicional
- Sintaxe e semântica
- Propriedades e relações semânticas
- Consequência lógica
- Simplificação de fórmulas
- Lógica de Primeira Ordem
- Sintaxe e semântica
- Propriedades e relações semânticas
- Formas normais
- Métodos de validação
- Métodos diretos de prova
- Métodos de prova por contradição
- Linguagens para experimentação
- Aplicações básicas
3 Metodologia de ensino
O conteúdo será abordado por meio de atividades:
- Leituras dirigidas que serão disponibilizadas na página web da disciplina1 e/ou na plataforma Microsoft Teams institucional;
- Assíncronas (videoaulas) que ficarão disponíveis na plataforma Youtube, e cujos links serão disponibilizados na página web da disciplina1 e/ou na plataforma Microsoft Teams institucional;
- Síncronas (aulas virtuais) via a plataforma Microsoft Teams institucional.
O curso é dividido em dois grandes blocos:
- Lógica proposicional (LP);
- Lógica de Primeira Ordem (LPO) (ou Lógica de Predicados).
Cada um destes blocos é dividido em vários tópicos compostos de:
- Material de leitura sobre o tópico;
- Uma videoaulas e/ou aula virtual sobre o tópico;
- Atividades sobre o tópico.
A plataforma institucional Microsoft Teams será utilizada para troca de mensagens e discussão de dúvidas.
4 Avaliação
A avaliação será composta das seguintes partes:
- Atividades individuais a serem enviadas em prazo determinado, perfazendo um total de 70 pontos.
- Um projeto, a ser feito em grupos de até 3 alunos, perfazendo um total de 30 pontos. Esta formalização será composta de duas etapas a serem descritas posteriormente.
A frequência será composta de 28 atividades, uma para cada aula. Estas atividades serão realizadas no caderno de atividades da equipe no Teams institucional. Cada atividade entregue no prazo contabiliza a frequência para a aula correspondente. Atividades entregues fora do prazo, ou não entregues contabilizam falta para a aula correspondente.
Para ser aprovado o aluno deve cumprir simultaneamente os seguintes itens:
- Frequência maior ou igual a 75%;
- Obter pelo menos 50 pontos considerando as duas partes da avaliação do curso como descrito acima.
A menção final é definida como a seguir:
Pontos | Menção |
---|---|
90 - 100 | SS (Superior) |
70 - 89 | MS (Médio Superior) |
50 - 69 | MM (Médio) |
30 - 49 | MI (Médio Inferior) |
01 - 29 | II (Inferior) |
00 ou mais de 25% de faltas | SR (Sem Rendimento) |
5 Bibliografia
O texto principal da leitura dirigida será disponibilizado na página web da disciplina1 e/ou na plataforma Microsoft Teams institucional, assim como os links para outras referências que estiverem livremente disponíveis na internet.
A referência principal do curso é o livro: cite:ayala-rinconAppliedLogicComputer2017
As referências complementares são:
- cite:huthLogicComputerScience2004
- cite:silvaLogicaParaComputacao2006
- cite:smullyanLogicalLabyrinths2009
- cite:schoningLogicComputerScientists2008
- cite:nederpeltLogicalReasoningFirst2004
- cite:dalenLogicStructure2013
- cite:ebbinghausMathematicalLogic1984
- cite:caicedoElementosLogicaCalculabilidad1983
- cite:boolosdComputabilityLogic4th2002
- cite:burrisLogicMathematicsComputer1998.
bibliographystyle:plain bibliography:/Users/flaviomoura/Dropbox/org/zotLib.bib