|
|
2009.1 - Matemática Discreta
O livro oficial do curso é o do Edward Scheinerman. No início eu
tentei usar o da Judith Gersting, mas desisti (e decretei que ele era
péssimo).
Existem dois modos principais de representar derivações em Dedução
Natural: um "vertical" ("Fitch") e outro em árvore. No curso nós
estamos usando a representação em árvore, e de vez em quando fazendo
traduções entre as duas representações. Não conheço nenhum livro
básico que use a representação em árvore, mas mesmo assim acho que
ela vai acabar sendo mais fácil de usar que a representação à là
Fitch...
Horários, sala, etc: veja a página sobre os cursos que
eu estou dando.
Alguns scans:
2009-apr-03: regras para Dedução Natural (proposicional)
2009-apr-08: regras para os quantificadores, e uma derivação grande
2009-apr-29: um monte de exercícios pequenos sobre indução
Monitora: Aline Rodrigues Souza
Horário de atendimento: 2ªs, 3ªs e 5ªs das 10:00-12:00, na sala 4B
A profª Adriana Vivacqua me pediu pra dar um tutorial de Lua no
curso dela de ICC... parece que vai ser na terça, 28/abril, das
18-20hs, ou no auditório ou na sala onde as aulas de ICC acontecem...
Esse tutorial de Lua vai ser meio uma introdução à linguagem, meio
uma introdução ao λ-cálculo, e vai ser uma espécie de
preparação pra apresentação que eu vou fazer no curso dela em 26/maio
sobre teorias de tipos e "esqueletos de demonstrações".
|
MARÇO
|
2009-mar-11
(Aula 1)
|
|
2009-mar-13
(Aula 2)
|
|
2009-mar-18
(Aula 3)
|
|
2009-mar-20
(Aula 4)
|
|
2009-mar-25
(Aula 5)
|
|
2009-mar-27
(Aula 6)
|
|
|
ABRIL
|
2009-abr-01
(Aula 7)
|
|
2009-abr-03
(Aula 8)
|
2009-apr-03: regras para Dedução Natural (proposicional)
|
2009-abr-08
(Aula 9)
|
2009-apr-08: regras para os quantificadores, e uma derivação grande
|
2009-abr-10
(Aula 10)
|
|
2009-abr-15
(Aula 11)
|
Álgebras de subconjuntos
|
2009-abr-17
(Aula 12)
|
|
2009-abr-22
(Aula 13)
|
|
2009-abr-24
(Aula 14)
|
|
2009-abr-29
(Aula 15)
|
2009-apr-29: um monte de exercícios pequenos sobre indução
|
|
MAIO
|
2009-mai-01
(Aula 16)
|
|
2009-mai-06
(Aula 17)
|
|
2009-mai-08
(Aula 18)
|
|
2009-mai-13
(Aula 19)
|
|
2009-mai-15
(Aula 20)
|
|
2009-mai-20
(Aula 21)
|
Exercícios sobre definições e indutivas (caminhos num tabuleiro
com uma casa proibida, valor de strings que representam expressões
aritméticas)
|
2009-mai-22
(Aula 22)
|
Continuação da aula anterior.
|
2009-mai-27
(Aula 23)
|
Revisão antes da prova: problema de adivinhar um número de 1 a
1023; como escrever a indução da busca binária.
|
2009-mai-29
(Aula 24)
|
Primeira prova.
|
|
JUNHO
|
2009-jun-03
(Aula 25)
|
Aula cancelada por causa da banca do concurso de lógica - mas eu
passei uma folha sobre relações, funções e grafos.
|
2009-jun-05
(Aula 26)
|
Relações, funções, grafos.
|
2009-jun-10
(Aula 27)
|
Relações, funções, grafos.
|
2009-jun-12
(Aula 28)
|
Relações, funções, grafos.
|
2009-jun-17
(Aula 29)
|
Cardinalidade.
|
2009-jun-19
(Aula 30)
|
Revisão de tipos e objetos; um exercício pra aumentar a nota da
P1: identificar os objetos e relações da prova e do gabarito.
|
2009-jun-24
(Aula 31)
|
Os alunos pediram pra cancelar porque achavam que é feriado (mas
só é em Niterói!) e eles não vão ter uma certa outra aula... mas
também tem uma reunião de departamente nesse dia e horário, então
aula cancelada...
|
2009-jun-26
(Aula 32)
|
P2
|
|
JULHO
|
2009-jul-01
(Aula 33)
|
VR
|
2009-jul-03
(Aula 33)
|
|
2009-jul-08
(Aula 33)
|
VS
|
2009-jul-10
(Aula 33)
|
|
|