quinta-feira, 23 de junho de 2011

Notas lançadas

Olá para todos.
As notas já foram lançadas.
O exame especial será na segunda-feira dia 27/6.
A prova do dia 22/6 está disponível no link
http://dl.dropbox.com/u/5959592/PROVA2_noturno.pdf
Abraços

quarta-feira, 22 de junho de 2011

Provas 16.9 Mortari

Olá para todos.
Abaixo,
http://dl.dropbox.com/u/5959592/mortari16.9.pdf
provas dos itens k-o do 16.9 do Mortari
Abraços

segunda-feira, 13 de junho de 2011

Provas finais

Provas finais - Lógica noturno
A terceira prova será dia 22/6, quarta-feira.
Entrega da última lista no dia da prova.
Exame especial (com eventual segunda chamada) no dia 27/6, segunda-feira.

terça-feira, 7 de junho de 2011

Lista de exercícios 5

Lista de exercícios 5 – Lógica (noturno)
Prazo de entrega: 23/06/2011

1. Mortari 16.1, 16.2
2. Mortari 16.7 (usando dedução natural para provar os sequentes válidos), 16.9.

Prática de Pesquisa

Apenas para os alunos de prática de pesquisa: ler e responder às questões sobre o texto.: 
Nos encontraremos na sexta-feira, 17/6 às 19h na sala 2047 para conversar sobre essa atividade.
Abraços

quinta-feira, 2 de junho de 2011

Lista de exercícios 4 - LPO com identidade

Olá para todos.
No link abaixo, a lista de exercícios 4,
http://dl.dropbox.com/u/5959592/lista_4.pdf
Prazo de entrega: 15/6/2011
Na próxima aula começaremos a estudar a lógica de primeira ordem com identidade.
Vamos usar o cap. 16 do Mortari e a apostila no link abaixo,
http://sites.google.com/site/textoslogica/arquivos/identidade.pdf
Abraços