MENU: [ Avisos | Informações Gerais | Regras | Plano de Atividades ]
Última atualização: 09/01/2017 (plano de atividades).
Leia toda esta página no início do semestre: ela contém informações importantes, como as regras para solicitação de segunda chamada e para o cálculo da nota na disciplina.
Esta página está em contínua construção. Por favor, entre em contato comigo caso você precise de alguma informação adicional, ou caso acredite ter encontrado um erro aqui. Obrigado!
Caro aluno, na regulamentação desta disciplina você pode acessar as informações básicas sobre ela, incluindo justificativa, objetivos, ementa e bibliografia.
Nesta disciplina, nós aprendemos a usar o assistente de prova Coq, utilizando como livro-texto principalmente o excelente Software Foundations. No final da disciplina, nos basearemos no Coq'Art, que é mais aprofundado.
Todas as atividades da disciplina já possuem data estimada no plano de atividades. Se você percebeu um choque de datas importantes com outra disciplina, ou se você já sabe que não poderá fazer uma das nossas provas na data prevista, por favor me comunique o quanto antes!
A minha sugestão para a obtenção de um bom desempenho na disciplina é, aula-a-aula, estudar o conteúdo previamente, participar das aulas, fazer os exercícios e tirar as dúvidas. Caso você possua uma dúvida no horário da aula, o ideal é tirá-la na própria ocasião, para que os demais alunos também se beneficiem das explicações. Entretanto, caso necessário, você também pode me contactar fora do horário de aula.
Segunda chamada: consulte as regras para a solicitação de prova de segunda chamada.
Nota da disciplina: Consistirá na média aritmética das notas obtidas pelo aluno nas cinco avaliações parciais da disciplina:
| Média das APs | ≥ 7 | 7 > média ≥ 4 | < 4 |
|---|---|---|---|
| Situação | Aprovado | AF | Reprovado |
| 2016 | ||
|---|---|---|
| Aula | Data | Descrição |
| 01 | 16/08 | Apresentação da Disciplina; Basics. |
| 02 | 18/08 | Basics |
| 03 | 23/08 | Induction |
| 04 | 25/08 | Lists |
| 05 | 30/08 | Lists |
| * | 01/09 | AP1 |
| 06 | 06/09 | Poly |
| 07 | 08/09 | Poly |
| 08 | 13/09 | Tactics |
| 09 | 15/09 | Tactics |
| 10 | 20/09 | Logic |
| 11 | 22/09 | Logic |
| 12 | 27/09 | Logic |
| * | 29/09 | AP2 |
| 13 | 04/10 | IndProp |
| 14 | 06/10 | IndProp |
| 15 | 11/10 | IndProp |
| 16 | 13/10 | IndPrinciples |
| 17 | 18/10 | Rel |
| 18 | 20/10 | Rel |
| * | 25/10 | AP3 |
| 19 | 27/10 | ProofObjects |
| 20 | 01/11 | ProofObjects |
| 21 | 03/11 | Objetos de Prova Recursivos e para Princípios Indutivos |
| 22 | 08/11 | Casamento de Padrão Dependente e Objetos de Prova para Igualdade |
| 23 | 10/11 | Objetos de Prova para Contradição, LTAC |
| 15/11 | SEM AULA: Feriado da Proclamação da República | |
| 24 | 17/11 | LTAC |
| * | 22/11 | AP4 |
| 24/11 | SEM AULA: Compromisso Pessoal do Professor. | |
| 25 | 29/11 | Funções Fortemente Especificadas |
| 01/12 | SEM AULA: Compromisso Pessoal do Professor. | |
| 26 | 06/12 | Funções Fortemente Especificadas |
| 27 | 08/12 | Funções Fortemente Especificadas |
| 28 | 13/12 | Módulos |
| * | 15/12 | AP5 |
| * | 16/12 | Notas da AP5 |
| 2017 | ||
| Aula | Data | Descrição |
| * | 19/01 | 2ª Chamada da AP1 |
| * | 26/01 | 2ª Chamada da AP4 |
| * | 02/02 | AF |
| * | 09/02 | Notas Finais da Disciplina |