Material disponível - Metalógica

Olá para todos.

Abaixo, as seções 21 e 22 do Hunter que estudaremos nas aulas dos dias 28 e 30 de março.

http://dl.dropbox.com/u/5959592/hunter_21_22.pdf

Leiam também a seção 16.1, sobre indução, do livro do Barwise & Etchemendy, Language, Proof and Logic, que está no link

http://dl.dropbox.com/u/5959592/inducao/LPL_Induction.pdf

Há também exercícios de indução nas apostilas 

http://dl.dropbox.com/u/5959592/inducao/inducao_1.pdf

http://dl.dropbox.com/u/5959592/inducao/inducao_2.pdf

A primeira lista de exercícios está no link

http://dl.dropbox.com/u/5959592/meta_lista_1.pdf

A prazo de entrega é até 6/4, quarta-feira.