Teoria da Prova

Informações gerais

Aqui está uma descrição geral da disciplina, da forma como ela foi concebida. Esta outra disciplina utiliza o mesmo livro e nós podemos tentar aproveitar a experiência deles no assunto.

A minha sugestão para a obtenção de um bom desempenho na disciplina é o estudo regular do conteúdo e a solução igualmente regular dos exercícios do livro. Caso você possua uma dúvida no horário da aula, o ideal é tirá-la na própria ocasião, para que todo o grupo se beneficie das explicações. Outra boa opção é utilizar a lista de e-mails da disciplina. Caso deseje, porém, fique à vontade para me contactar fora do horário de aula.

Avisos

Regras

Bibliografia

O livro-texto da disciplina é este:

O (excelente) livro abaixo pode ser consultado para mais informações sobre linguagens funcionais e teoria dos tipos:

Veja também a bibliografia complementar apresentada no próprio livro-texto (seção "Looking forward…").

Plano de atividades

Abaixo está o plano para as atividades da disciplina, mas atenção: trata-se apenas de uma estimativa. Como esta é a primeira vez em que eu ministro esta disciplina, o que de fato realizaremos pode ser consideravelmente diferente.

# Data Descrição
1 29/07 Apresentação da disciplina
2 31/07 Basics
3 05/08 Basics
4 07/08 Induction
5 12/08 Lists
6 14/08 Lists
7 19/08 Poly
8 21/08 Poly
9 26/08 MoreCoq
10 28/08 MoreCoq
11 02/09 Logic
12 04/09 Logic
13 09/09 Prop
14 11/09 Prop
15 16/09 Rel
16 18/09 AP1: apenas até o capítulo "Logic".
17 23/09 MoreLogic
18 25/09 ProofObjects
19 30/09 MoreInd
20 02/10 MoreInd
21 07/10 Imp
22 09/10 Imp
23 14/10 Imp
24 16/10 Equiv
25 21/10 Equiv
23/10 Encontros Universitários 2014
26 28/10 Equiv
27 30/10 Hoare
28 04/11 Hoare
29 06/11 HoareAsLogic
30 11/11 Hoare2 / Apresentações do Trabalho 1
31 13/11 Hoare2 / Apresentações do Trabalho 1
32 18/11 Hoare2 / Apresentações do Trabalho 1
33 20/11 Hoare2
25/11 Sem aula: realização do trabalho final.
27/11 Sem aula: realização do trabalho final.
34 02/12 Apresentações do Trabalho Final
35 04/12 Apresentações do Trabalho Final

Aulas: conteúdos e exercícios

Abaixo está uma descrição do que aconteceu em cada encontro. No caso das aulas mais recentes, encontram-se disponíveis também os arquivos .v trabalhados em sala. Nós estamos seguindo o livro linearmente, conforme o plano de atividades.