Seguiremos o livro "Logic in Computer Science" de Huth e Ryan, Cambridge University Press, 2004.

A biblioteca disponibiliza uma cópia digital, para acessos com o e-mail USP:

https://drive.google.com/file/d/1rnLt1sipBiiSjpV7ZzOgGDlyf6z--tlH/view?usp=sharing

Há uma versão em português e outras edições em inglês. Qualquer uma serve para acompanhar o curso, mas quando eu fizer referência a páginas, farei em relação à edição disponível para todos.


Última atualização: quinta-feira, 27 ago. 2020, 17:18