segunda-feira, 7 de novembro de 2011

Material sobre Lógica Matemática e Computacional

Dica de textos e e-books sobre lógica. Lista de links abaixo.



1. UFRN - Lógica Computacional (UFRN João Marcos)
2. Lógica Proposicional
3. Lógica de Segunda Ordem


(Se você conhece links de sites com mais material contribua postando no comentário as recomendações enviadas serão acrescentadas neste post. Textos em outros idiomas também são permitidos. Contribua para disseminação do conhecimento. Obs.: Os textos devem ser de distribuição livre e permitida.)

Nenhum comentário:

Postar um comentário