Quick
index
main
eev
maths
blogme
dednat4
littlelangs
PURO
(GAC2,
λ, etc)
(Chapa 1)

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

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)