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)
  • [2017-10-19 Qui 10:03]: Gabarito da segunda prova (pdf)
  • [2017-11-08 Qua 18:30]: A aula do dia 09/11/17 será realizada no LINF 4.
  • [2017-11-13 Seg 17:27]: A revisão da prova 2 será feita em [2017-11-16 Qui 09:30]–[2017-11-16 Qui 10:30]
  • [2017-11-15 Qua 22:17]: Terceira lista de exercícios (incompleta) (pdf)
  • [2017-11-19 Dom 15:47]: Haverá uma prova substitutiva (opcional) que será aplicada no dia 01/12/2017 (sexta-feira) às 08h. Qualquer aluno poderá fazer esta prova. O local será definido postariormente. A prova englobará o conteúdo de todo o semestre.
  • [2017-11-21 Ter 20:23]: Atualização da terceira lista de exercícios (pdf)
  • [2017-11-29 Qua 12:18]: Prova substitutiva.
    • Esta prova é opcional a todos os alunos
    • Todo o conteúdo do semestre poderá ser abordado
    • Data e horário: [2017-12-01 Sex 08:00]–[2017-12-01 Sex 09:50]
    • Local: PJC BT-005
  • [2017-11-30 Qui 10:24]: Gabarito da prova 3 (pdf)
  • [2017-12-02 Sáb 10:48]: Gabarito da prova substitutiva (pdf)
  • [2017-12-08 Sex 10:27]: Revisão de menção
    • Data e horário: [2017-12-11 Seg 09:00]–[2017-12-11 Seg 11:00]
    • Local: Sala 03 do prédio CIC/EST

Quadro de Notas

Matrícula Prova 1 Prova 2 Prova 3 Prova Subst Faltas(*) Faltas (%) Nota Final Menção Obs
110013085 5.0 4.5 10.0 4.5 5 18.52 6.50 MM  
110143981 5.5 5.5 6.5 5.5 5 18.52 5.83 MM P1: 5.5, P2: 3.0 -> 5.5
120012979 5.5 5.5 4.5   5 18.52 5.17 MM  
120077400         4 14.81 0.00 TR  
130040304 6.0 7.5 6.0   5 18.52 6.50 MM  
130138002 6.5 7.0 6.0 6.0 2 7.41 6.50 MM P3: 5.5 -> 6.0
140030476 5.5 6.0 4.0 4.0 5 18.52 5.17 MM P3: 4.0
140135910 5.5 5.0 10.0 5.0 4 14.81 6.83 MM P2: 2.5 -> 5.0
140139982 7.5 1.0     2 7.41 2.83 II  
140140671         20 74.07 0.00 SR  
150004354 4.5 1.0 3.0   6 22.22 2.83 II  
150005491 5.5 3.0 5.0 1.0 5 18.52 4.50 MI  
150009887 5.0 6.5 10.0   4 14.81 7.17 MS  
150013299         2 7.41 0.00 TR  
150019343 9.5 9.0 10.0   1 3.70 9.50 SS  
150037023 4.5 3.5 5.0   2 7.41 4.33 MI P2: 2.0 -> 3.5
150058349 8.0 8.5 3.5   5 18.52 6.67 MM  
160025966 8.5       9 33.33 2.83 SR  
160046688 5.5 4.5 10.0   1 3.70 6.67 MM  
160052882 1.5       15 55.56 0.50 SR  
160071101 1.5       3 11.11 0.50 TR  
160085012 5.5 4.5 6.5 4.0 2 7.41 5.50 MM  
160106508 0.0       13 48.15 0.00 SR  
160109035 0.0       5 18.52 0.00 TR  
160116899         27 100.00 0.00 SR  
160124883 0.0 0.0     6 22.22 0.00 SR  
160126975 7.0 2.0 6.0 2.0 5 18.52 5.00 MM P2: 1.5 -> 2.0
160127670 4.0 3.5 4.5 3.5 6 22.22 4.00 MI P2: 2.5 -> 3.5
160128331 0.0       4 14.81 0.00 TR  
160133441 4.0 3.5 4.0 3.5 11 40.74 3.83 SR P2: 1.0 -> 3.5
160137969 5.0 4.5 5.5 4.5 1 3.70 5.00 MM P2: 1.5 -> 4.5
170010732 3.5 1.5 9.0 1.5 4 14.81 4.67 MI P2: 0.5 -> 1.5
170012387 5.0 2.0 5.0 2.5 3 11.11 4.00 MI P2: 0.5 -> 2.0
170013821         1 3.70 0.00 TR  
170018903 0.0 0.5     11 40.74 0.17 SR  
170029093 1.0       15 55.56 0.33 SR  
170043665 7.0 7.0 2.0   0 0.00 5.33 MM  
170045919 10.0 8.0 9   2 7.41 9.00 SS  
170053016 2.5 0.5     2 7.41 1.00 II  
170064093 9.0 7.0 6.5 7.0 2 7.41 7.50 MS P2: 5.5 -> 7.0
170065171 0.0       6 22.22 0.00 TR  
170074358         27 100.00 0.00 SR  
170144631 5.5 4.0 4.0 4.0 5 18.52 4.50 MI P3: 4.0, P2: 3.5 -> 4.0
170154343         23 85.19 0.00 SR  
Média           0.00 0.00    

(*) Última atualização: [2017-12-08 Sex 10:27]

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 (gabarito pdf) ✓

    [2017-10-24 Ter 08:00]–[2017-10-24 Ter 09:50] Semana Universitária (Não haverá aula)

    [2017-10-26 Qui 08:00]–[2017-10-26 Qui 09:50] Semana Universitária (Não haverá aula)

  19. [2017-10-31 Ter 08:00]–[2017-10-31 Ter 09:50] Introdução à correção de algoritmos ✓

    • Conclua o raciocínio para mostrar que a função insert_seq, definida na aula de hoje, gera uma lista ordenada, se a lista dada como entrada também está ordenada.

      insert_seq x l = 
      match l with 
      | [] -> x::[] 
      | h::l' -> if x <= l 
                 then x::l
                 else h :: (insert_seq x l')
      

      Teorema: Para qualquer lista l, e qualquer natural x, se l está ordenada então (insert_seq x l) está ordenada.

    • Exercícios: Seção 3.1 (p. 202-204)

    [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] Correção do algoritmo de ordenação por inserção ✓
  21. [2017-11-09 Qui 08:00]–[2017-11-09 Qui 09:50] Correção do algoritmo de ordenação por inserção ✓
    • Local: LINF 4
    • Exercícios sugeridos:

      • Defina a noção de permutação (predicado binário perm) sobre listas de números naturais via regras de inferência.
      • Mostre que a função insertion gera uma permutação da lista de entrada:
      insertion l = 
      match l with 
      | [] -> l 
      | h::l' -> insert_seq h (insertion l')
      

      Teorema: Para qualquer lista l, perm l (insertion l).

  22. [2017-11-14 Ter 08:00]–[2017-11-14 Ter 09:50] Correção do algoritmo de ordenação por inserção ✓
    • Terceira lista de exercícios (incompleta) (pdf)
  23. [2017-11-16 Qui 08:00]–[2017-11-16 Qui 09:50] Correção de algoritmos
  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 (Gabarito: pdf)

    [2017-12-01 Sex 08:00]–[2017-12-01 Sex 09:50] Prova substitutiva (opcional) (Gabarito: pdf) Local: PJC BT-005

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

Email: contato@flaviomoura.mat.br

Created: 2017-12-08 Sex 12:14

Validate