Sistemas Axiomáticos

FUNDAÇÃO UNIVERSIDADE FEDERAL DE RONDÔNIA
NÚCLEO DE CIÊNCIAS E TECNOLOGIA – N.C.T.
DEPARTAMENTO DE MATEMATICA – D.M.
CURSO DE LICENCIATURA EM MATEMÁTICA
Disciplina: Sistemas Axiomáticos
Carga Horária: 60h (teórica) + 20h (prática)
Pré – Requisitos: CLM3502 (Cálculo II)
Código: CLMO411
Vigência: 2007 –
Crédito: 04
Folha: 1 / 1
EMENTA
Procedimentos de Prova; O Teorema da Completude; Teorias Axiomáticas; Elementos
de Compatibilidade; Limitações Desistemas Formais; Noções de Lógicas NãoClássicas; Elaborando e Desenvolvendo Projetos Pedagógicos no Ensino
Fundamental ou Médio, a partir de análise livros-texto e programas e da
observação em sala de aula; Elaboração de Relatório; Seminário.
BIBLIOGRAFIA
KRAUSE, D. Introdução aos Fenômenos Axiomáticos da Ciência. NEL/UFSC,
2002.
MENDELSON, E. Introduction to Mathematical Logic; 4th Ed. Wadsworth &
Brooks, 1997.
MORTARI, C.A. Introdução à Lógica; Ed. UNESP, 2001.
MORGENBESSER, S. (org.). Filosofia da Ciência. São Paulo: Cutrix, 1979.
DA COSTA, N.C.A. Ensaio sobre os Fundamentos da Lógica; 2ª Edição. São Paulo:
Hucitec, 1994.
NAGEL, E. e NEWMAN, J.R. Prova de Godel. São Paulo: Perspectiva, 1973.
SUPPES, P. Introduction to Logic. Van Nostrand: 1957.
Campus José Ribeiro Filho, BR 364, Km 9,5 – Sentido Rio Branco (AC) – CEP 78.900-500
Porto Velho (RO). Telefone (69) 2182-2125/ Fax (69) 2182-2120/ E-mail: [email protected]