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

Table of Contents

Quadro de avisos

  • Plano de ensino
  • Todos os emails enviados ao professor devem conter a expressão [FTC] no assunto da mensagem.
  • Uma longa noite aprendendo
  • [2017-08-29 Ter 16:12]: Monitoria (Gabriel Endo - gabriel-endo@hotmail.com)
    • Início em [2017-09-01 Sex 16:00]–[2017-09-01 Sex 18:00] (Horário de atendimento semanal)
      • De acordo com a demanda este horário poderá ser reduzido ou cancelado.
    • Local: sala de monitoria CIC/EST
  • [2017-08-31 Qui 15:27]: Primeira lista de exercícios (pdf)
  • [2017-09-05 Ter 16:05]: Mudança no horário da monitoria
    • O novo horário será todas as sextas de 12h às 13h.
    • O local permanece o mesmo, e a mudança será iniciada em [2017-09-15 Sex].
  • [2017-09-13 Qua 09:21]: Gabarito da primeira lista de exercícios (pdf)
  • [2017-09-19 Ter 10:06]: Gabarito da primeira prova (pdf)
  • [2017-09-19 Ter 20:45]: A revisão da prova 1 será feita em [2017-10-03 Ter 10:00]–[2017-10-03 Ter 11:00]
  • [2017-10-03 Ter 12:50]: A revisão da prova 1 será feita em [2017-10-05 Qui 10:00]–[2017-10-05 Qui 11:00]
  • [2017-10-03 Ter 12:54]: Segunda lista de exercícios (pdf)
  • [2017-10-12 Qui 14:23]: Gabarito (parcial) da segunda lista de exercícios (pdf)

Quadro de Notas

Matrícula Prova 1 Prova 2 Prova 3 Faltas(*) Faltas (%) Nota Final Menção
110013085 5.0     4 14.81 1.67  
110143981       5 18.52 0.00  
120012979 5.5     2 7.41 1.83  
120077400       4 14.81 0.00 TR
130040304 6.0     1 3.70 2.00  
130138002 6.5     0 0.00 2.17  
140030476 5.5     1 3.70 1.83  
140135910 5.5     3 11.11 1.83  
140139982 7.5     0 0.00 2.50  
140140671       9 33.33 0.00 SR
150004354 4.5     5 18.52 1.50  
150005491 5.5     2 7.41 1.83  
150009887 5.0     3 11.11 1.67  
150013299       2 7.41 0.00 TR
150019343 9.5     0 0.00 3.17  
150037023 4.5     1 3.70 1.50  
150058349 8.0     2 7.41 2.67  
160025966 8.5     4 14.81 2.83  
160046688 5.5     0 0.00 1.83  
160052882 1.5     4 14.81 0.50  
160071101 1.5     3 11.11 0.50  
160085012 5.5     0 0.00 1.83  
160106508 0.0     2 7.41 0.00  
160109035 0.0     5 18.52 0.00  
160116899       16 59.26 0.00 SR
160124883 0.0     4 14.81 0.00  
160126975 7.0     3 11.11 2.33  
160127670 4.0     3 11.11 1.33  
160128331 0.0     4 14.81 0.00  
160133441 4.0     6 22.22 1.33  
160137969 5.0     0 0.00 1.67  
170006107       8 29.63 0.00 SR
170010732 3.5     2 7.41 1.17  
170012387 5.0     3 11.11 1.67  
170013821       1 3.70 0.00 TR
170018903 0.0     3 11.11 0.00  
170029093 1.0     5 18.52 0.33  
170043665 7.0     0 0.00 2.33  
170045919 10.0     0 0.00 3.33  
170049761 5.0     1 3.70 1.67  
170053016 2.5     1 3.70 0.83  
170064093 9.0     1 3.70 3.00  
170065171 0.0     6 22.22 0.00  
170074358       16 59.26 0.00 SR
170144631 5.5     4 14.81 1.83  
170154343       12 44.44 0.00 SR
Média         0.00 0.00  

(*) Última atualização: [2017-10-10 Ter 10:14]

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] Conjuntos ✓
    • Exercícios: Seção 2.1 (p. 125-126)
  7. [2017-08-29 Ter 08:00]–[2017-08-29 Ter 09:50] Operações sobre conjuntos ✓
    • Exercícios: Seção 2.2 (p. 136-138)
  8. [2017-08-31 Qui 08:00]–[2017-08-31 Qui 09:50] Funções ✓
    • Exercícios: Seção 2.3 (p. 152-155)
    • Primeira lista de exercícios (conteúdo da prova 1): pdf
  9. [2017-09-05 Ter 08:00]–[2017-09-05 Ter 09:50] Sequências e somatórios ✓

    • Exercícios: Seção 2.4 (p. 167-170)
    • Indução matemática: Prove que os somatórios dados na Tabela 2 (p. 166) coincidem com as fórmulas fechadas dadas. O segundo somatório foi feito em sala.

    [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] Exercícios ✓
    • Gabarito da primeira lista de exercícios (pdf)
  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 (gabarito: pdf) ✓
  13. [2017-09-21 Qui 08:00]–[2017-09-21 Qui 09:50] Indução Matemática ✓

    • Leitura complementar: pdf
    • Exercícios: Seção 5.1 (p. 329-333)
    • Exercícios: Seção 5.2 (p. 341-344)

    [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] O princípio da boa ordenação ✓
    • Segunda lista de exercícios (pdf)
  15. [2017-10-05 Qui 08:00]–[2017-10-05 Qui 09:50] Aula de exercícios ✓
  16. [2017-10-10 Ter 08:00]–[2017-10-10 Ter 09:50] Definições recursivas e indução estrutural ✓

    • Exercícios: Seção 5.3 (p. 357-360)

    [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]

    [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]
  21. [2017-11-09 Qui 08:00]–[2017-11-09 Qui 09:50]
  22. [2017-11-14 Ter 08:00]–[2017-11-14 Ter 09:50]
  23. [2017-11-16 Qui 08:00]–[2017-11-16 Qui 09:50]
  24. [2017-11-21 Ter 08:00]–[2017-11-21 Ter 09:50]
  25. [2017-11-23 Qui 08:00]–[2017-11-23 Qui 09:50]
  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-10-18 Qua 11:19

Validate