Quick
index
main
eev
maths
blogme
dednat4
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/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/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
  2018out29: P1 da turma grande. Prova e gabarito parcial:
    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/20181105_MDA1.jpg

Material extra:
Listas de exercícios 1 e 2:
http://angg.twu.net/2018.2-MD/20180813_lista_1.jpg
http://angg.twu.net/2018.2-MD/20180813_lista_1.pdf
http://angg.twu.net/2018.2-MD/20180813_lista_2_parcial.jpg
http://angg.twu.net/2018.2-MD/20180813_lista_2_parcial.pdf

Os exercícios sobre conjuntos foram tirados daqui (pags 5-9):
http://angg.twu.net/LATEX/2018-1-GA-material.pdf

Material sobre Cálculo de Sequentes:
https://en.wikipedia.org/wiki/Sequent_calculus
http://angg.twu.net/LATEX/2018-2-MD-sequentes.pdf
http://angg.twu.net/2018.2-MD/gersting_cap_1.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

O Fernando Naufel deu MD nos últimos semestres. Talvez eu me inspire nas provas dele pra preparar a P1. Na página dele de MD tem um link pra um .zip com as provas.