[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]

Recursos para a disciplina

Professor: Imre Simon, IME Sala 291A, <is@ime.usp.br>

Assistente: Vinicius Cifu Lopes <vclopes@linux.ime.usp.br>

Horário: 4as e 6as, 17:00 às 19:00, sala TS 43 da Engenharia Mecânica
da Poli.

Texto:

  Herbert B. Enderton
  A Mathematical Introduction to Logic
  Academic Press, 1972

Outros livros que podem interessar:

1 Stanley N. Burris
  Logic for Mathematics and Computer Science
  © Prentice Hall, 1998
  ISBN 0-13-285974-2

  Existe um curso muito interessante baseado neste livro, a home-page
  dele, muito rico em material, inclusive programas computacionais é:

  http://www.thoralf.uwaterloo.ca/htdocs/lmcs.html  

2 David Harel
  Algorithmics: the Spirit of Computing, 2nd ed.
  Addison-Wesley, 1992

3 Cláudio L. Lucchesi, Imre Simon, Istvan Simon, Janos Simon e Tomasz
  Kowaltowski
  Aspectos Teóricos da Computação
  Projeto Euclides, IMPA, 1979

  Este livro encontra-se esgotado. Existe uma cópia dele na Internet,
  em:

  http://www.ime.usp.br/~is/atc/index.html

  Os autores procuram ajuda para melhorar a legibilidade dos arquivos
  disponibilizados. Se Você quiser mais detalhes, fale comigo, por
  favor. 

Um curso na rede, baseado no livro texto:

  http://www.math.psu.edu/simpson/courses/math557/

Imre Simon
http://www.ime.usp.br/~is/