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

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: DIM0505
Nome: LÓGICA APLICADA A ENGENHARIA DE SOFTWARE
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: ( IMD0038 OU DIM0121 ) OU ( DCA0100 )
Co-Requisitos:
Equivalências: ( DIM0430 )
Excluir da Avaliação Institucional: Não
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ógica proposicional. Lógica de predicados. Projeto por contrato. Anotações de Programas.
Outros componentes que têm esse componente como equivalente
DIM0430 - LOGICA APLICADA A COMPUTACAO
Outros componentes que têm esse componente como pré-requisito
DIM0415 - LOGICAS NAO-CLASSICAS
DIM0516 - MÉTODOS FORMAIS DE ENGENHARIA DE SOFTWARE
Histórico de Pré-Requisitos
Expressão de Pré-Requisito Status Início da Vigência Fim da Vigência
( IMD0038 OU DIM0121 ) OU ( DCA0100 ) ATIVO 01/05/2021
( IMD0038 ) OU ( DCA0100 ) INATIVO 24/07/2015 30/04/2021
( IMD0038 ) INATIVO 27/03/2014 09/07/2017
( IMD0038 ) INATIVO 22/05/2015 09/07/2017
( DIM0422 ) OU ( MAT0227 ) OU ( DIM0323 ) OU ( DIM0450 ) OU ( IMD0038 ) INATIVO 26/03/2014 09/07/2017
( DIM0422 ) OU ( MAT0227 ) OU ( DIM0323 ) OU ( DIM0450 ) INATIVO 26/03/2014 09/07/2017
( DIM0422 ) OU ( MAT0227 ) OU ( DIM0323 ) OU ( DIM0450 ) INATIVO 03/08/2012 09/07/2017
Histórico de Equivalências
Expressão de Equivalência Ativa Início da Vigência Fim da Vigência
( DIM0430 ) ATIVO 01/05/2021
( DIM0430 ) INATIVO 24/07/2015 30/04/2021
( DIM0430 ) INATIVO 22/05/2015 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 Sim 6 Sim
01 2010.1 ENGENHARIA DE SOFTWARE - NATAL - BACHARELADO - Presencial - MT Sim 4 Não
02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - COMPUTAÇÃO - MT Não 0 Não
02 2019.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - DESENVOLVIMENTO DE SOFTWARE - MT Sim 6 Sim
03 2019.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - COMPUTAÇÃO - MT Não 0 Sim
02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - SISTEMAS DE INFORMAÇÃO DE GESTÃO - N Não 0 Não
01 2014.2 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - ENGENHARIA DE SOFTWARE - MT Sim 6 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
02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - 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 - MT Não 0 Não

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