Quick
index
main
eev
eepitch
maths
angg
blogme
dednat6
littlelangs
PURO
(C2,C3,C4,
 λ,ES,
 GA,MD,
 Caepro,
 textos,
 Chapa 1)

emacs
lua
(la)tex
maxima
git
lean4
agda
forth
squeak
icon
tcl
tikz
fvwm
debian
irc
contact

MD 2018.2 - Eduardo Ochs

Update: Links pra duas apresentações sobre MD:
14/jan/2019: (slides,página) "How to almost teach Intuitionistic Logic to Discrete Mathematics Students"
06/mai/2019: (slides,página) "Como ensinar Matemática Discreta para calouros com português muito ruim"

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-19: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