[Prévia cron rev] [Próxima Cron rev] [Prévia por assunto] [Próxima por assunto]
[Índice cronológico reverso] [Índice de assunto] [Índice de autor]

Nova lista e avisos

Boa noite,

estou repassando mais uma lista de exercícios. O Vinicius vai dizer
qual é o prazo de entrega. Dois formatos, como sempre:

  http://www.ime.usp.br/~is/ddt/logica/6.ps

  http://www.ime.usp.br/~is/ddt/logica/6.pdf

(Por enquanto, pulamos a lista 5).

Amanhã, às 17:30 retomamos o curso de lógica. O assunto da segunda
metade será o Cálculo dos Predicados, capítulo 2. Pretendo cobrir o
máximo que conseguirmos das seções 2.0 a 2.4, inclusive. Pretendo
ainda dar uma "aula voadora", onde vamos tentar dar os contornos
principais dos resultados do livro que não foram vistos no curso.

Lembro, finalmente, que combinamos que as aulas remanescentes E serão:

  2a, 4a, 5a e 6a, das 17:30 às 19:30.

  Temos aulas nos dias

    27, 29, 30 e 31 de janeiro e

    03, 05, 06 e 07 de fevereiro.

Até amanhã,

Imre Simon