Plano de ensino
Lógica Computacional 1 (2021-2)
Objetivos
O objetivo geral do curso de Lógica Computacional 1 é compreender como a lógica proposicional e a lógica de primeira ordem são importantes 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 primeira ordem (intuicionista e clássica);
- Compreender diferentes métodos de validação de teoremas e programas.
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
Metodologia de ensino
O conteúdo será abordado por meio de atividades:
- Leituras dirigidas que serão disponibilizadas na página web da disciplinal;
- Assíncronas (videoaulas) que ficarão disponíveis na plataforma Youtube, e cujos links serão disponibilizados na página web da disciplinal;
- Síncronas (aulas virtuais) via a plataforma Microsoft Teams institucional.
A plataforma institucional Microsoft Teams será utilizada para troca de mensagens e discussão de dúvidas.
Avaliação
A avaliação será composta das seguintes partes:
- Atividades individuais a serem enviadas em prazo determinado, perfazendo um total de 50 pontos.
- As atividades individuais serão disponibilizadas na aba "Exercícios" do caderno do aluno no OneNote da plataforma institucional.
- Um projeto, a ser feito em grupos de até 4 alunos, perfazendo um total de 50 pontos.
A frequência será contabilizada por meio de atividades disponibilizadas em cada aula.
- Atividades entregues no prazo contabilizam a frequência para a aula correspondente;
- O prazo para as atividades de frequência é 13h do dia seguinte à aula.
- Atividades de frequência não valem pontos.
- 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) |
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.
Referência principal: cite:ayala-rinconAppliedLogicComputer2017.
Referências complementares: cite:huthLogicComputerScience2004, cite:silvaLogicaParaComputacao2006, cite:smullyanLogicalLabyrinths2009, cite:schoningLogicComputerScientists2008, cite:nederpeltLogicalReasoningFirst2004, cite:dalenLogicStructure2013, cite:ebbinghausMathematicalLogic1984, cite:caicedoElementosLogicaCalculabilidad1983, cite:boolosdComputabilityLogic4th2002, cite:burrisLogicMathematicsComputer1998.
bibliographystyle:alpha bibliography:/home/flaviomoura/workspace/org/zotLib.bib