Resumo do Componente Curricular

Dados Gerais do Componente Curricular

Tipo do Componente Curricular:	DISCIPLINA
Unidade Responsável:	CCET - DEPARTAMENTO DE INFORMÁTICA E MATEMÁTICA APLICADA (12.05)
Código:	DIM0415
Nome:	LOGICAS NAO-CLASSICAS
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:	DIM0321
Co-Requisitos:
Equivalências:
Matriculável On-Line:	Sim
Horário Flexível da Turma:	Sim
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
Possui Subturmas:	Não
Exige Horário:	Sim
Quantidade de Avaliações:	3
Ementa/Descrição:	Lógicas Difusas: t-normas, sistemas de Morgan, formas normais, teorias formais de algumas lógicas difusas, aplicações das lógicas difusas. Lógica linear: sintaxe, semânticas (espaços coerentes, semântica de fases, redes de prova), aplicações da lógica linear. Lógicas modais: operadores modais, sistemas modais (K, T, S4, S5, etc.), Semântica de mundos possíveis, sistemas tableaux, aplicações. Noções de outras lógicas (Lógicas paraconsistentes, Lógicas temporais, lógicas monotônicas, lógica in-tuicionista, lógicas dinâmicas)
Histórico de Pré-Requisitos Expressão de Pré-Requisito Status Início da Vigência Fim da Vigência DIM0321 ATIVO 01/01/2000 DIM0321 INATIVO 01/01/2000 14/04/2021
Histórico de Equivalências Expressão de Equivalência Ativa Início da Vigência Fim da Vigência DIM0114 OU IMD0401 OU DIM0125 OU DIM0541 OU DIM0434 ATIVO 01/01/2000 DIM0114 OU IMD0401 OU DIM0125 OU DIM0541 OU DIM0434 INATIVO 01/01/2000 14/04/2021
Currículos Código Ano.Período de Implementação Matriz Curricular Obrigatória Período Ativo 02 2014.2 ENGENHARIA DE SOFTWARE - NATAL - BACHARELADO - Presencial - MT Não 0 Sim 01C 2011.1 CIÊNCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - MT Não 0 Não 03 2019.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - N Não 0 Sim 02 2001.1 CIÊNCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - SISTEMAS DE INFORMACAO - MT Não 10 Não 01B 2010.2 CIÊNCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - MT Não 5 Não 01A 2009.1 CIÊNCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - MT Não 0 Não 01 2010.1 ENGENHARIA DE SOFTWARE - NATAL - BACHARELADO - Presencial - MT Não 0 Não 02 2019.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - DESENVOLVIMENTO DE SOFTWARE - MT Não 0 Sim 01 2007.1 CIÊNCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - MT Não 0 Não 02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - SISTEMAS DE INFORMAÇÃO DE GESTÃO - N Não 0 Não 02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - INFORMÁTICA EDUCACIONAL - N Não 0 Não 03 2019.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - MT Não 0 Sim 02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - MT Não 0 Não 02 2014.1 CIÊNCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - MT Não 0 Não 02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - SISTEMAS EMBARCADOS - MT Não 0 Não 02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - COMPUTAÇÃO - MT Não 0 Não 02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - N Não 0 Não 01 2014.2 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - ENGENHARIA DE SOFTWARE - MT Não 0 Não

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