Quick
index
main
eev
maths
blogme
dednat6
littlelangs
PURO
(GAC2,
λMDetc)
(Chapa 1)

emacs
lua
(la)tex
fvwm
tcl
forth
icon
debian
irc
contact

MD 2018.2 - Eduardo Ochs

Salas, horários, etc
Horários da monitoria: 2as 14:00-16:00 e 18:00-20:00, 4as 14:00-16:00.
O Monitor é o Matheus Lobo. A sala muda sempre mas ele avisa onde é pelo Telegram.
Horário de atendimento: 3as 18:00-17:15 no LEALC.
(O LEALC é o laboratório à direita da rampa no térreo do prédio do IHS, logo depois da porta de vidro)

PDFs com todos os quadros:
http://angg.twu.net/2018.2-MD/2018.2-MD.pdf (este semestre)

Fotos dos quadros:
http://angg.twu.net/2018.2-MD/20180813_MDA1.jpg
http://angg.twu.net/2018.2-MD/20180814_MDB1.jpg
http://angg.twu.net/2018.2-MD/20180815_MDA1.jpg
http://angg.twu.net/2018.2-MD/20180815_MDB1.jpg
http://angg.twu.net/2018.2-MD/20180820_MDA1.jpg
http://angg.twu.net/2018.2-MD/20180820_MDA2.jpg
http://angg.twu.net/2018.2-MD/20180821_MDB1.jpg
http://angg.twu.net/2018.2-MD/20180821_MDB2.jpg
http://angg.twu.net/2018.2-MD/20180822_MDA1.jpg
http://angg.twu.net/2018.2-MD/20180822_MDB1.jpg
http://angg.twu.net/2018.2-MD/20180827_MDA1.jpg
http://angg.twu.net/2018.2-MD/20180828_MDB1.jpg
http://angg.twu.net/2018.2-MD/20180829_MDA1.jpg
http://angg.twu.net/2018.2-MD/20180829_MDA2.jpg
http://angg.twu.net/2018.2-MD/20180829_MDB1.jpg
http://angg.twu.net/2018.2-MD/20180903_MDA1.jpg
http://angg.twu.net/2018.2-MD/20180904_MDB1.jpg
http://angg.twu.net/2018.2-MD/20180905_MDA1.jpg
http://angg.twu.net/2018.2-MD/20180905_MDA2.jpg
http://angg.twu.net/2018.2-MD/20180905_MDB1.jpg
http://angg.twu.net/2018.2-MD/20180905_MDB2.jpg
http://angg.twu.net/2018.2-MD/20180910_MDA1.jpg
http://angg.twu.net/2018.2-MD/20180911_MDB1.jpg
http://angg.twu.net/2018.2-MD/20180912_MDA1.jpg
http://angg.twu.net/2018.2-MD/20180912_MDB1.jpg
http://angg.twu.net/2018.2-MD/20180917_MDA1.jpg
http://angg.twu.net/2018.2-MD/20180918_MDB1.jpg
http://angg.twu.net/2018.2-MD/20180919_MDA1.jpg
http://angg.twu.net/2018.2-MD/20180919_MDB1.jpg
http://angg.twu.net/2018.2-MD/20180924_MDA1.jpg
http://angg.twu.net/2018.2-MD/20180925_MDB1.jpg
http://angg.twu.net/2018.2-MD/20180926_MDA1.jpg
http://angg.twu.net/2018.2-MD/20180926_MDB1.jpg
  2018out01: não teve aula (eu estava doente).
http://angg.twu.net/2018.2-MD/20181002_MDB1.jpg
  2018out03: não teve aula (paralisação dos alunos).
http://angg.twu.net/2018.2-MD/20181008_MDA1.jpg
http://angg.twu.net/2018.2-MD/20181008_MDA2.jpg
  2018oct09: não teve aula (paralisação dos alunos).
  2018oct10: não teve aula (paralisação dos alunos).
  2018oct15: não teve aula (semana acadêmica).
  2018oct16: não teve aula (semana acadêmica).
  2018oct17: não teve aula (semana acadêmica).
  2018out22: faltei (consulta médica no Rio), mas
    passei essa lista de exercícios aqui como atividade
    pros alunos fazerem no horário da aula:
    http://angg.twu.net/LATEX/2018-2-MD-ordem-prop.pdf
http://angg.twu.net/2018.2-MD/20181023_MDB1.jpg
http://angg.twu.net/2018.2-MD/20181024_MDA1.jpg
http://angg.twu.net/2018.2-MD/20181024_MDB1.jpg
  2018out29: P1 da turma grande. Prova e gabarito:
    http://angg.twu.net/LATEX/2018-2-MD-P1A.pdf
http://angg.twu.net/2018.2-MD/20181030_MDB1.jpg
http://angg.twu.net/2018.2-MD/20181030_MDB2.jpg
http://angg.twu.net/2018.2-MD/20181031_MDA1.jpg
http://angg.twu.net/2018.2-MD/20181031_MDA2.jpg
http://angg.twu.net/2018.2-MD/20181031_MDB1.jpg
http://angg.twu.net/2018.2-MD/20181105_MDA1.jpg
http://angg.twu.net/2018.2-MD/20181106_MDB1.jpg
http://angg.twu.net/2018.2-MD/20181107_MDA1.jpg
  2018nov08: P1 da turma pequena. Prova e gabarito:
    http://angg.twu.net/LATEX/2018-2-MD-P1B.pdf
http://angg.twu.net/2018.2-MD/20181112_MDA1.jpg
http://angg.twu.net/2018.2-MD/20181113_MDB1.jpg
http://angg.twu.net/2018.2-MD/20181114_MDA1.jpg
http://angg.twu.net/2018.2-MD/20181114_MDA2.jpg
http://angg.twu.net/2018.2-MD/20181114_MDB1.jpg
http://angg.twu.net/2018.2-MD/20181114_MDB2.jpg
http://angg.twu.net/2018.2-MD/20181121_MDA1.jpg
http://angg.twu.net/2018.2-MD/20181121_MDA2.jpg
http://angg.twu.net/2018.2-MD/20181121_MDA3.jpg
http://angg.twu.net/2018.2-MD/20181121_MDB1.jpg
http://angg.twu.net/2018.2-MD/20181126_MDA1.jpg
http://angg.twu.net/2018.2-MD/20181126_MDA2.jpg
http://angg.twu.net/2018.2-MD/20181127_MDB1.jpg
http://angg.twu.net/2018.2-MD/20181128_MDA1.jpg
http://angg.twu.net/2018.2-MD/20181128_MDA2.jpg
http://angg.twu.net/2018.2-MD/20181128_MDB1.jpg
http://angg.twu.net/2018.2-MD/20181203_MDA1.jpg
http://angg.twu.net/2018.2-MD/20181204_MDB1.jpg
http://angg.twu.net/2018.2-MD/20181205_MDA1.jpg
http://angg.twu.net/2018.2-MD/20181205_MDB1.jpg
http://angg.twu.net/2018.2-MD/20181210_MDA1.jpg
http://angg.twu.net/2018.2-MD/20181210_MDA2.jpg
http://angg.twu.net/2018.2-MD/20181212_MDA1.jpg
http://angg.twu.net/2018.2-MD/20181212_MDA2.jpg
  2018dez12: P2 da turma pequena
  2018dez17: P2 da turma grande. Prova e gabarito:
    http://angg.twu.net/LATEX/2018-2-MD-P2A.pdf
  2018dez18: VR das duas turmas. Prova e gabarito:
    http://angg.twu.net/LATEX/2018-2-MD-VR.pdf
  2018dez19: VS das duas turmas

Material extra que eu preparei:
(A data à direita indica quando o vimos pela 1ª vez)
http://angg.twu.net/2018.2-MD/20180813_lista_1.pdf     (13/ago)
http://angg.twu.net/2018.2-MD/20180813_lista_2.pdf     (15/ago)
http://angg.twu.net/LATEX/2018-2-MD-set-compr.pdf      (26/ago)
http://angg.twu.net/LATEX/2018-2-MD-ordem-prop.pdf     (22/out)
http://angg.twu.net/LATEX/2018-2-MD-sequentes.pdf       (6/nov)
http://angg.twu.net/LATEX/2018-2-MD-demonstracoes.pdf  (28/nov)
http://angg.twu.net/LATEX/2018-2-MD-defs-recursivas.pdf (3/dez)

Material sobre Cálculo de Sequentes e demonstrações:
https://en.wikipedia.org/wiki/Sequent_calculus
Uma prova do Fernando Naufel com uns exemplos do Fitch:
http://angg.twu.net/2018.2-MD/md-122-p1-manha-gab.pdf
Outras coisas:
http://angg.twu.net/2018.2-MD/gersting_cap_1.pdf
http://angg.twu.net/2018.2-MD/scheinerman__esquemas_de_prova.pdf
http://angg.twu.net/2018.2-MD/BNF-for-C.pdf

Plano de curso:
http://angg.twu.net/2018.2-MD/20180813_plano_de_curso.jpg
http://angg.twu.net/2018.2-MD/20180813_plano_de_curso.pdf

Resposta aos transcamentos fora de prazo (work in progress):
http://angg.twu.net/LATEX/2018-2-MD-resposta.pdf

O Fernando Naufel deu MD nos últimos semestres. Na página dele de MD tem um link pra um .zip com as provas.

Notas:

Turma grande:
                 P1        P2   VR  VS    NF    status
Amauri          0.2        -    -        0.1
Beatriz         2.5        -    -        1.3
Carla           2.8        -    -        1.4
Christian        -         -    -        0.0
Cleber          3.5        -    -        1.8
Daniella         -         -    -        0.0
Diogo           4.2       5.0   -    -   4.6/0.0
Eduarda O S M   2.6        -    -        1.3
Eduarda M F S   0.0        -    -        0.0
Eduardo         1.0        -    -        0.5
Felipe          1.3        -    -        0.7
Gabriel M M     1.2       0.0   -        0.6
Gabriel S C     7.3       6.0   -        6.7      AP
Guilhermo       4.3       2.2  8.3       6.3      AP
Humberto        2.9        -    -        1.5
Igor            1.0        -    -        0.5
João H O S B     -         -    -        0.0
João V S J V R  0.8        -    -        0.4
Jonathan        0.0        -    -        0.0
Juan            0.0        -    -        0.0
Leo B F O       1.7        -    -        0.9
Leonardo F B     -         -    -        0.0
Luan B J F      1.7->3.2  0.5  2.8       3.0
Luan S C         -         -    -        0.0
Lucas C         4.3       1.8   -        3.1
Lucas S S       0.0        -    -        0.0
Lucas J S S     5.6       0.0   -        2.8
Luis             -         -    -        0.0
Rafael          4.3       2.0  5.0  6.2  4.7/6.2   AP
Renato          0.0        -    -        0.0
Sarah           2.8        -    -        1.4
Sergio           -         -    -        0.0
Thiago          3.0        -    -        1.5
Uelington       1.5        -    -        0.8
Victor          2.0       0.7   -        1.4
Vinicius         -         -    -        0.0
Yuri             -         -    -        0.0

Turma pequena:   P1        P2  trabs
Andrew          0.8        -   1.0       0.4->0.9
Caroline        3.1       0.2  1.0       1.7->2.2
Gustavo          -         -             0.0
Iago             -         -             0.0
Lucas            -         -             0.0
Ludimila         -         -             0.0
Neemias          -         -             0.0
Pedro           2.3       1.2  1.0       1.8->2.3
Thiago           -         -             0.0