Lógica e Computabilidade (2024.1)

  • Professor: Hugo Nobrega
  • Turma: 11642
  • Grupo de discussões: Discord
  • Monitores: Matheus do Ó, Matheus Gorchinsky
  • Local das aulas: F2-07

Funcionamento da disciplina

O meio primário de comunicação entre os alunos, monitores e professores será o grupo listado acima.

As aulas serão realizadas em modalidade presencial, com aulas às 4as e 6as de 08:00 às 10:00 na sala F2-007 do CCMN.

Bibliografia

  • Notas de aula de Petrucio Viana e Renata de Freitas (UFF)
  • David J. Hunter, Fundamentos de Matemática Discreta, Capítulo 3: Pensamento Recursivo. LTC, 2019
  • Apostila de autômatos, linguagens formais e computabilidade do Collier & Luis Menasché

Listas de Exercícios

ListaData Limite de Entrega
Lista 126 de abril às 20:00

Regras de colaboração

As listas de exercícios podem ser entregues em duplas. Não poderá haver repetição de duplas em diferentes listas! Isso é feito para aumentar a confiança do professor ao dar uma nota individual para cada aluno no final da disciplina.

As diferentes duplas podem sempre discutir os problemas e as ideias de como resolvê-los (e isso é recomendado, pois é uma ótima forma de estudar e aprender!), porém: soluções de exercícios não devem ser compartilhadas entre diferentes duplas (nem de outros períodos). O recomendável é que você não mostre suas soluções completas para alunos de outras duplas, nem veja as soluções completas de outros.

Soluções iguais ou parecidas demais entre duplas diferentes serão desconsideradas.

Cronograma planejado/registro de atividades

DataAulaConteúdoMaterial
20/3 qua1Apresentação da disciplina (burocracia); Discussão sobre a disciplina (formalismo, história da computação, etc)Vídeo, Slides
22/3 sex-aula cancelada (chuvas)
27/3 qua2RecursãoVídeo, Slides
29/3 sex-Feriado (6a Santa)
3/4 qua3Indução como caso particular de recursão (exemplos: número de vértices de árvore estritamente binária; número de arestas de grafo completo; 3 divide (4^n -1) para todo natural n)Vídeo, Slides
5/4 sex4Recursão: o conceito e importância de Legibilidade Única; Lógica Proposicional: sintaxe (início)Vídeo, Slides, Código
10/4 qua5Sintaxe da LC: representações, classificações, subfórmulas; simbolização de frases da linguagem natural para a LCVídeo, Slides, Código
12/4 sex6Semântica da LC: definição; teorema da concordância (enunciado)
17/4 qua7Semântica da LC: teorema da concordância (prova); tabelas de verdade; classificação de fórmulas (tautológicas, contraditórias, satisfazíveis, falsificáveis, contingentes)Vídeo, Slides
19/4 sex
24/4 qua
26/4 sex
1/5 qua-Feriado (Trabalhador)
3/5 sex
8/5 qua
10/5 sex
15/5 qua
17/5 sex
22/5 qua
24/5 sex
29/5 qua
31/5 sex-Recesso (Corpus Christi)
5/6 qua
7/6 sex
12/6 qua
14/6 sex
19/6 qua
21/6 sex
26/6 qua
28/6 sex
3/7 qua
5/7 sex
10/7 qua
12/7 sex
17/7 qua
19/7 sex

Método de avaliação

Teremos ?? listas de exercícios e 2 provas.

Descartaremos a pior nota dentre as listas de exercícios, e ML será a média aritmética das restantes.

MP será a média ponderada das notas das provas, sendo a maior nota com peso 3 e a menor nota com peso 2.

A média final é:

  • MP, se MP \(<\) 4;
  • a média ponderada entre ML e MP, sendo ML com peso 1 e MP com peso 2, caso contrário.

A nota para aprovação é 5,0; não há prova final.