- 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
| Lista | Data 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
| Data | Aula | Conteúdo | Material |
|---|---|---|---|
| qua 19/mar | 00 | Introdução e burocracias | Vídeo; Quadros |
| sex 21/mar | sem aula | Professor doente | - |
| qua 26/mar | 01 | Recursão e Indução: definições e exemplos | Vídeo; Quadros; Código |
| sex 28/mar | 02 | Recursão e Indução: legibilidade única; Lógica Proposicional (LC): sintaxe | Vídeo; Quadros |
| qua 2/abr | sem aula | Semana da Computação | - |
| sex 4/abr | sem aula | Semana da Computação | - |
| qua 9/abr | 03 | Sintaxe de LC (exemplos de definições, provas e código usando recursão); Semântica da LC (contextos, definição de valor-verdade) | Vídeo; Quadros; Código |
| sex 11/abr | 04 | Semântica da LC: classificação de fórmulas em tautologias, contradições, satisfazíveis, insatisfazíveis, contingências; teorema da concordância | Vídeo; Quadros |
| qua 16/abr | 05 | Consequência/Equivalência Semântica; conjuntos completos de conectivos | Vídeo; Quadros |
| sex 18/abr | sem aula | Feriado (Sexta-feira Santa) | - |
| qua 23/abr | sem aula | Feriado (São Jorge) | - |
| sex 25/abr | 06 | Formas normais | Vídeo; Quadros |
| 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.