Apostilas, Artigos e Sites

 

 

A apostila “Introdução à Lógica” já está disponível.  Se você “xerocou” esta apostila, pegue a errata aqui.

Para a segunda prova, pegue uma lista extra de exercícios, as recomendações para fazer alguns exercícios e a lista de teoremas e definições que estará disponível na segunda prova.

 

Lista de exercícios do Cálculo Proposicional.

 

 

Bibliografia

 

Da Costa, Newto e Krause, Décio. Lógica Proposicional Clássica. Disponível em

http://www.cfh.ufsc.br/~dkrause/pg/cursos/Logica20051.htm

Ebbinghaus, H.-D., Flum, J. e Thomas, W. Mathematical Logic, Springer, 1994.

Guimarães, José de Oliveira. Introdução à Lógica. Disponível em

http://www.dc.ufscar.br/~jose/courses/06-1/il/Apostilas.htm

Mendelson, Elliott. Introduction to Mathematical Logic. Wadsworth Publishing Co. terceira ed. 1987.

Mortari, Cézar. Introdução à Lógica. Ed. UNESP, 2001.

Shoenfield, Joseph R. Mathematical Logic. Addison-Wesley, 1967.

 

Artigos interessantes:

 

Sobre a história da lógica, a lógica clássica e o surgimento das lógicas não-clássicas

 

Why we need to teach logic and how can we teach it?

 

Classical logic.

 

Diversos texto sobre lógica  da página de Décio Krause

 

Sites

 

http://www.cle.unicamp.br/