terça-feira, 22 de março de 2011

Palestra sobre ensino da lógica e minicurso de teoria dos modelos

Palestra: O Ensino da Lógica nos Cursos de Graduação em Filosofia

Dia 23 de março, sala 3042, 12h

Prof. Antonio Coelho (UFSC)


Minicurso: Teoria dos Modelos 

Dias 23, 24 e 25 de março de 2011, sala 2013, com início às 14h

Prof. Antonio M.N. Coelho (UFSC). 

Programa:
Primeira aula - breves observações sobre uma prova, ao modo de Henkin, do teorema da completude; o teorema da compacidade e a inexistência de axioma de finitude.
Segunda aula - o teorema de Löwenheim-Skolem e o chamado Paradoxo de Skolem.
Terceira aula - modelos não-standard da aritmética.
 
Referências:
Boolos, G.& Jeffrey,R.- Computability and Logic - third edition, Cambridge University Press, Cambridge, 1989
Shoenfield, J.R.- Mathematical Logic - Association for Symbolic Logic & A K
Peters, Natick, Massachusetts,2000( publicado originalmente pela Addison-Wesley em 1967)
Chang, C.C.& Keisler, H.J.- Model Theory - third edition, North-Holland Publishing Company, Amsterdam, 1990

Nenhum comentário:

Postar um comentário