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:

  1. Leituras dirigidas que serão disponibilizadas na página web da disciplina1 e/ou na plataforma Microsoft Teams institucional;
  2. 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;
  3. Síncronas (aulas virtuais) via a plataforma Microsoft Teams institucional.

O curso é dividido em dois grandes blocos:

  1. Lógica proposicional (LP);
  2. 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:

  1. Atividades individuais a serem enviadas em prazo determinado, perfazendo um total de 70 pontos.
  2. 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

Footnotes:

Date: \today

Author: Flávio L. C. de Moura

Created: 2022-02-07 seg 14:47