113450 - Fundamentos Teóricos da Computação (Turma C)

Table of Contents

Quadro de avisos

Quadro de Notas

Matrícula Prova 1 Prova 2 Prova 3 Faltas(*) Faltas (%) Nota Final Menção
110013085       0 0.00 0.00  
110143981       0 0.00 0.00  
120012979       0 0.00 0.00  
120077400       0 0.00 0.00  
130040304       0 0.00 0.00  
130138002       0 0.00 0.00  
140030476       0 0.00 0.00  
140087851       0 0.00 0.00  
140135910       2 7.41 0.00  
140139982       0 0.00 0.00  
140140671       2 7.41 0.00  
150004354       1 3.70 0.00  
150005491       1 3.70 0.00  
150009887       0 0.00 0.00  
150013299       1 3.70 0.00  
150019343       0 0.00 0.00  
150037023       0 0.00 0.00  
150058349       0 0.00 0.00  
160011957       0 0.00 0.00  
160025966       0 0.00 0.00  
160046688       0 0.00 0.00  
160052882       1 3.70 0.00  
160071101       1 3.70 0.00  
160085012       0 0.00 0.00  
160106508       0 0.00 0.00  
160109035       0 0.00 0.00  
160116899       3 11.11 0.00  
160124883       0 0.00 0.00  
160126975       1 3.70 0.00  
160127670       0 0.00 0.00  
160128331       0 0.00 0.00  
160133441       1 3.70 0.00  
160137969       0 0.00 0.00  
170006107       0 0.00 0.00  
170010732       0 0.00 0.00  
170012387       0 0.00 0.00  
170013821       0 0.00 0.00  
170018903       1 3.70 0.00  
170029093       0 0.00 0.00  
170043665       0 0.00 0.00  
170045919       0 0.00 0.00  
170049761       0 0.00 0.00  
170053016       0 0.00 0.00  
170064093       0 0.00 0.00  
170065171       0 0.00 0.00  
170074358       3 11.11 0.00  
170144631       1 3.70 0.00  
170154343       1 3.70 0.00  
Média         0.00 0.00  

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

Calendário de aulas

  1. [2017-08-08 Ter 08:00]–[2017-08-08 Ter 09:50] Introdução e motivação ✓
    • Exercícios: Seções 1.1 (p. 12-16), 1.2 (p. 22-24) e 1.3 (p. 34-36) (Rosen 7th edition).
  2. [2017-08-10 Qui 08:00]–[2017-08-10 Qui 09:50] Lógica de Primeira Ordem ✓
    • Exercícios: Seções 1.4 (p. 53-57) e 1.5 (p. 64-68)
  3. [2017-08-15 Ter 08:00]–[2017-08-15 Ter 09:50] Regras de Inferência
    • Exercícios: Seção 1.6 (p. 78-80)
  4. [2017-08-17 Qui 08:00]–[2017-08-17 Qui 09:50] Técnicas de prova
    • Exercícios: Seções 1.7 (p. 91-92) e 1.8 (p. 108-109)
  5. [2017-08-22 Ter 08:00]–[2017-08-22 Ter 09:50] Exercícios
  6. [2017-08-24 Qui 08:00]–[2017-08-24 Qui 09:50] Técnicas de prova
  7. [2017-08-29 Ter 08:00]–[2017-08-29 Ter 09:50] Exercícios
  8. [2017-08-31 Qui 08:00]–[2017-08-31 Qui 09:50] Técnicas de prova
  9. [2017-09-05 Ter 08:00]–[2017-09-05 Ter 09:50] Exercícios

    [2017-09-07 Qui 08:00]–[2017-09-07 Qui 09:50] Feriado

  10. [2017-09-12 Ter 08:00]–[2017-09-12 Ter 09:50] Indução e Recursão
  11. [2017-09-14 Qui 08:00]–[2017-09-14 Qui 09:50] Aula de revisão
  12. [2017-09-19 Ter 08:00]–[2017-09-19 Ter 09:50] Prova 1
  13. [2017-09-21 Qui 08:00]–[2017-09-21 Qui 09:50] Indução Matemática

    [2017-09-26 Ter 08:00]–[2017-09-26 Ter 09:50] ITP, FroCoS and Tableaux Conferences

    [2017-09-28 Qui 08:00]–[2017-09-28 Qui 09:50] ITP, FroCoS and Tableaux Conferences

  14. [2017-10-03 Ter 08:00]–[2017-10-03 Ter 09:50] Indução completa
  15. [2017-10-05 Qui 08:00]–[2017-10-05 Qui 09:50] Indução Estrutural
  16. [2017-10-10 Ter 08:00]–[2017-10-10 Ter 09:50] Exercícios

    [2017-10-12 Qui 08:00]–[2017-10-12 Qui 09:50] Feriado

  17. [2017-10-17 Ter 08:00]–[2017-10-17 Ter 09:50] Aula de revisão
  18. [2017-10-19 Qui 08:00]–[2017-10-19 Qui 09:50] Prova 2

    [2017-10-24 Ter 08:00]–[2017-10-24 Ter 09:50] Semana Universitária

    [2017-10-26 Qui 08:00]–[2017-10-26 Qui 09:50] Semana Universitária

  19. [2017-10-31 Ter 08:00]–[2017-10-31 Ter 09:50] Teoria dos Conjuntos

    [2017-11-02 Qui 08:00]–[2017-11-02 Qui 09:50] Feriado

  20. [2017-11-07 Ter 08:00]–[2017-11-07 Ter 09:50] Relações e suas Propriedades
  21. [2017-11-09 Qui 08:00]–[2017-11-09 Qui 09:50] Exercícios
  22. [2017-11-14 Ter 08:00]–[2017-11-14 Ter 09:50] Relações de Equivalência
  23. [2017-11-16 Qui 08:00]–[2017-11-16 Qui 09:50] Exercícios
  24. [2017-11-21 Ter 08:00]–[2017-11-21 Ter 09:50] Funções
  25. [2017-11-23 Qui 08:00]–[2017-11-23 Qui 09:50] Exercícios
  26. [2017-11-28 Ter 08:00]–[2017-11-28 Ter 09:50] Aula de revisão
  27. [2017-11-30 Qui 08:00]–[2017-11-30 Qui 09:50] Prova 3

Author: Prof. Flávio L. C. de Moura

Email: contato@flaviomoura.mat.br

Created: 2017-08-17 Qui 10:03

Validate