Universidade Federal do Rio Grande do Norte Natal, 17 de Maio de 2024

Resumo do Componente Curricular

Dados Gerais do Componente Curricular
Tipo do Componente Curricular: DISCIPLINA
Unidade Responsável: PROGRAMA DE PÓS-GRADUAÇÃO EM FILOSOFIA (13.24)
Código: MET1105
Nome: TEORIA DOS MODELOS
Carga Horária Teórica: 60 h.
Carga Horária Prática: 0 h.
Carga Horária Total: 60 h.
Pré-Requisitos:
Co-Requisitos:
Equivalências:
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:
Ementa/Descrição: A TEORIA DOS MODELOS, EM SEU SENTIDO MAIS AMPLO, ESTUDA A INTERPRETAÇÃO DAS LINGUAGENS, SUA EXPRESSIVIDADE E LIMITES. ORIENTADA PARADIGMATICAMENTE PELA CONCEPÇÃO TARSKIANA DE VERDADE E PELA TEORIA DOS CONJUNTOS COMO METATEORIA DE FUNDO, ABORDA TEMAS QUE VÃO DESDE O DESENVOLVIMENTO DA NOÇÃO DE CONSEQÜÊNCIA LÓGICA, ATÉ ESTUDOS DE SEMÂNTICA DE LINGUAGENS NATURAIS. MAIS ESTRITAMENTE, A TEORIA DE MODELOS DESENVOLVEU-SE BASTANTE PARA AS LINGUAGENS DE PRIMEIRA-ORDEM, E CONFIGUROU-SE EM UMA PODEROSA FERRAMENTA PARA A COMPREENSÃO DAS POSSIBILIDADES E LIMITES DESTAS LINGUAGENS, DE SEUS SISTEMAS FORMAIS E TEORIAS.
Referências:

SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2024 - UFRN - sigaa03-producao.info.ufrn.br.sigaa03-producao v4.12.21