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:	( ( DAN0002 ) OU ( DAN0031 ) OU ( DAN0101 ) )
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 ( ( DAN0002 ) OU ( DAN0031 ) OU ( DAN0101 ) ) ATIVO 08/12/2019 ( ( DAN0002 OU DAN0031 OU DAN0101 ) ) INATIVO 26/04/2007 09/07/2017
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 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 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 03 2019.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - N Não 0 Sim 02 2019.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - DESENVOLVIMENTO DE SOFTWARE - MT Não 0 Sim 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-2025 - UFRN - sigaa09-producao.info.ufrn.br.sigaa09-producao v4.19.4