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

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)