SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas

Resumo do Componente Curricular

Dados Gerais do Componente Curricular
Tipo do Componente Curricular:	MÓDULO
Unidade Responsável:	PROGRAMA DE PÓS-GRADUAÇÃO EM FILOSOFIA (13.24)
Curso:	MESTRADO EM FILOSOFIA/PPGFIL/CCHLA - NATAL
Código:	FIL082
Nome:	LÓGICA I
Carga Horária Teórica:	60 h.
Carga Horária Prática:	0 h.
Carga Horária de Ead:	0 h.
Carga Horária Total:	60 h.
Pré-Requisitos:
Co-Requisitos:
Equivalências:
Excluir da Avaliação Institucional:	Não
Matriculável On-Line:	Sim
Horário Flexível da Turma:	Não
Horário Flexível do Docente:	Sim
Obrigatoriedade de Nota Final:	Sim
Pode Criar Turma Sem Solicitação:	Não
Necessita de Orientador:	Não
Exige Horário:	Sim
Permite CH Compartilhada:	Não
Quantidade de Avaliações:	1
Ementa/Descrição:	Disciplina fundamental e propedêutica para da Lógica. Aborda a lógica clássica de primeira ordem: sintaxe e semântica do cálculo de predicados de primeira ordem e cálculo proposicional clássicos. Sistemas formais, métodos de prova e principais metateoremas (consistência, correção e compleude). Teoria Ingênua dos conjuntos e Indução matemática.
Referências:	BARWISE, J & ETCHEMENDY, J. Language, Proof and Logic. Stanford & New York, 2000. FITCH, F. B. Symbolic Logic: an introduction. The Ronald Press Company, 1952. GENSLER, H. J. Introduction to Logic. 2ª ed. Routledge, 2010 KLEENE, S. Mathematical Logic. Courier Dover Publications, 2002. MATES, B. Lógica Elementar. Editora Nacional – Ed. Usp, 1967. MENDELSON, E. Introduction to Mathematical Logic. 4ª ed. California: Wadsworth, 1987. MORTARI, C. Introdução à lógica. São Paulo: UNESP, 2001. NOLT, J. & ROHATYN, D. Lógica. São Paulo: McGraw-Hill, 1991. COPI, I. Introdução à lógica. Mestre Jou, 1978. SHOENFIELD, J. Mathematical Logic. Addison-Wesley, 1967. SMITH, P. An Introduction to Formal Logic. Cambridge University Press, 2003. SMULLYAN, R. M. First-Order Logic. Springer-Verlag, 1968.

<< Voltar