Provas Formais: Uma Introdução à Teoria de Tipos

Table of Contents

1 Quadro de Avisos

1.1 [2017-08-09 Qua 15:24]: As aulas a partir desta sexta-feira [2017-08-11 Sex] serão realizadas no LINF 4.

1.2 Apresentação da disciplina (pdf)

2 Quadro de notas:

Matrícula Faltas(*) Faltas (%) Ex1(12) Ex2(15)
100109829 0 0.00    
100122272 2 6.67    
110146123 0 0.00 12  
120049031 2 6.67    
120050943 0 0.00 12 15
120126443 0 0.00 11  
140153641 0 0.00 12  
140160299 0 0.00 12 15
140161597 0 0.00 11  
150014961 1 3.33 12  
150021623 0 0.00 12  
150023928 0 0.00 12  
150126689 0 0.00 12  
150143290 0 0.00 12  
150143362 1 3.33    
160003318 1 3.33    
160005809 0 0.00 12  
170043339 2 6.67    

(*) Última atualização: [2017-08-15 Ter 17:24]

3 Calendário de aulas:

  1. [2017-08-07 Seg 12:00]–[2017-08-07 Seg 13:50] Tipos Simples ✓
    • O fragmento implicacional da lógica proposicional intuicionista
    • Exercícios:
      • Arquivo coq: exercicio1.v
        • A solução dos exercícios deve ser enviada para contato@flaviomoura.mat.br
        • Assunto do email: [pftt] Exercício 1
        • Prazo para envio: [2017-08-13 Dom 23:59]
        • Gabarito:exercicio1-gabarito.v
  2. [2017-08-11 Sex 12:00]–[2017-08-11 Sex 13:50] O isomorfismo de Curry-Howard (pdf) ✓
  3. [2017-08-14 Seg 12:00]–[2017-08-14 Seg 13:50] O isomorfismo de Curry-Howard (cont.) ✓
    • Exercícios:
      • Arquivo coq: exercicio2.v
        • A solução dos exercícios deve ser enviada para contato@flaviomoura.mat.br
        • Assunto do email: [pftt] Exercício 2
        • Prazo para envio: [2017-08-20 Dom 23:59]
  4. [2017-08-18 Sex 12:00]–[2017-08-18 Sex 13:50]
  5. [2017-08-21 Seg 12:00]–[2017-08-21 Seg 13:50]
  6. [2017-08-25 Sex 12:00]–[2017-08-25 Sex 13:50]
  7. [2017-08-28 Seg 12:00]–[2017-08-28 Seg 13:50]
  8. [2017-09-01 Sex 12:00]–[2017-09-01 Sex 13:50]
  9. [2017-09-04 Seg 12:00]–[2017-09-04 Seg 13:50]
  10. [2017-09-08 Sex 12:00]–[2017-09-08 Sex 13:50]
  11. [2017-09-11 Seg 12:00]–[2017-09-11 Seg 13:50]
  12. [2017-09-15 Sex 12:00]–[2017-09-15 Sex 13:50]
  13. [2017-09-18 Seg 12:00]–[2017-09-18 Seg 13:50]
  14. [2017-09-22 Sex 12:00]–[2017-09-22 Sex 13:50]

    [2017-09-25 Seg 12:00]–[2017-09-25 Seg 13:50] ITP, FroCoS and Tableaux conferences

    [2017-09-29 Sex 12:00]–[2017-09-29 Sex 13:50] ITP, FroCoS and Tableaux conferences

  15. [2017-10-02 Seg 12:00]–[2017-10-02 Seg 13:50]
  16. [2017-10-06 Sex 12:00]–[2017-10-06 Sex 13:50]
  17. [2017-10-09 Seg 12:00]–[2017-10-09 Seg 13:50]
  18. [2017-10-13 Sex 12:00]–[2017-10-13 Sex 13:50]
  19. [2017-10-16 Seg 12:00]–[2017-10-16 Seg 13:50]
  20. [2017-10-20 Sex 12:00]–[2017-10-20 Sex 13:50]

    [2017-10-23 Seg 12:00]–[2017-10-23 Seg 13:50] Semana Universitária

    [2017-10-27 Sex 12:00]–[2017-10-27 Sex 13:50] Semana Universitária

  21. [2017-10-30 Seg 12:00]–[2017-10-30 Seg 13:50]
  22. [2017-11-03 Sex 12:00]–[2017-11-03 Sex 13:50]
  23. [2017-11-06 Seg 12:00]–[2017-11-06 Seg 13:50]
  24. [2017-11-10 Sex 12:00]–[2017-11-10 Sex 13:50]
  25. [2017-11-13 Seg 12:00]–[2017-11-13 Seg 13:50]
  26. [2017-11-17 Sex 12:00]–[2017-11-17 Sex 13:50]
  27. [2017-11-20 Seg 12:00]–[2017-11-20 Seg 13:50]
  28. [2017-11-24 Sex 12:00]–[2017-11-24 Sex 13:50]
  29. [2017-11-27 Seg 12:00]–[2017-11-27 Seg 13:50]
  30. [2017-12-01 Sex 12:00]–[2017-12-01 Sex 13:50]

Author: Flávio Leonardo Cavalcanti de Moura

Created: 2017-08-17 Qui 13:02

Validate