Lógica e Computabilidade (25-1)

  • Professor: Hugo Nobrega
  • Turma: 9151
  • Grupo de discussões: Discord
  • Monitores: a definir
  • Local das aulas: F2-005

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-005 do CCMN.

Bibliografia

  • Notas de aula da turma de 2024-1 dessa disciplina
  • 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é
  • Smullyan

Listas de Exercícios

ListaData Limite de Entrega

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
qua 19/mar00Introdução e burocraciasVídeo; Quadros
sex 21/marsem aulaProfessor doente-
qua 26/mar01Recursão e Indução: definições e exemplosVídeo; Quadros; Código
sex 28/mar02Recursão e Indução: legibilidade única; Lógica Proposicional (LC): sintaxeVídeo; Quadros
qua 2/abrsem aulaSemana da Computação-
sex 4/abrsem aulaSemana da Computação-
qua 9/abr
sex 11/abr
qua 16/abr
sex 18/abrsem aulaFeriado (Sexta-feira Santa)-
qua 23/abrsem aulaFeriado (São Jorge)-
sex 25/abr
qua 30/abr
sex 2/mai?Provável recesso (Trabalhador)-
qua 7/mai
sex 9/mai
qua 14/mai
sex 16/mai
qua 21/mai
sex 23/mai
qua 28/mai
sex 30/mai
qua 4/jun
sex 6/jun
qua 11/jun
sex 13/jun
qua 18/jun
sex 20/jun?Provável recesso (Corpus Christi)-
qua 25/jun
sex 27/jun
qua 2/jul
sex 4/jul
qua 9/jul
sex 11/jul
qua 16/jul
sex 18/jul

Método de avaliação

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

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

Também descartaremos a pior nota dentre as provas, e MP será a média aritmética das restantes.

A média final é:

  • MP, se MP \(<\) 5;
  • 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.