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

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:

( FIL0103 OU DIM0505 OU DIM0601 )

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:

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
( FIL0103 OU DIM0505 OU DIM0601 )	ATIVO	01/05/2021
( ( DIM0050 ) OU ( DIM0430 ) OU ( FIL0103 ) OU ( DIM0505 ) OU ( DIM0610 ) )	INATIVO	07/06/2017	30/04/2021
( ( DIM0050 ) OU ( DIM0430 ) )	INATIVO	24/04/2008	09/07/2017
( ( DIM0050 ) OU ( DIM0430 ) OU ( FIL0103 ) )	INATIVO	09/09/2009	09/07/2017
( ( DIM0050 ) OU ( DIM0430 ) )	INATIVO	01/09/2006	09/07/2017
( ( DIM0050 ) OU ( DIM0430 ) OU ( FIL0103 ) OU ( DIM0505 ) )	INATIVO	24/01/2014	07/06/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
02	2001.1	CIÊNCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - SISTEMAS DE INFORMACAO - MT	Não	10	Não
02	2014.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
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	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 - COMPUTAÇÃO - MT	Não	0	Não
01C	2011.1	CIÊNCIA DA COMPUTAÇÃO - 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	2014.2	TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - ENGENHARIA DE SOFTWARE - 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 - SISTEMAS EMBARCADOS - MT	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 - N	Não	0	Sim
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 - N	Não	0	Não
02	2014.1	TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - MT	Não	0	Não

<< Voltar