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:	DIM0050
Nome:	LOGICA APLICADA A COMPUTACAO
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:	( ( MAT0227 OU MAT0009 ) OU ( DIM0323 ) )
Co-Requisitos:
Equivalências:	( DIM0430 )
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:	HISTÓRICO EVOLUTIVO. FUNDAMENTOS DE LÓGICA. LÓGICA SENTENCIAL. LÓGICA DE PREDICADOS DE PRIMEIRA ORDEM. NOTAÇÃO CLAUSAL E O TEOREMA DE HERBRAND. PROVA AUTOMÁTICA DE TEOREMAS: RESOLUÇÃO, REFUTAÇÃO POR RESOLUÇÃO. ELIMINAÇÃO DE MODELOS. NEGAÇÃO POR FALHA FINITA.
Outros componentes que têm esse componente como equivalente DIM0430 - LOGICA APLICADA A COMPUTACAO
Outros componentes que têm esse componente como pré-requisito DIM0356 - INTELIGENCIA ARTIFICIAL DIM0336 - ESPECIFICACAO E VERIFICACAO DE PROGRAMAS DIM0034 - INTELIGENCIA ARTIFICIAL DIM0349 - ENGENHARIA DE REQUISITOS E DESIGN DE SOFTWARE DIM0058 - ORGANIZACAO E ARQUITETURA DE COMPUTADORES I
Histórico de Pré-Requisitos Expressão de Pré-Requisito Status Início da Vigência Fim da Vigência ( ( MAT0227 OU MAT0009 ) OU ( DIM0323 ) ) ATIVO 07/01/2008 ( ( MAT0227 OU MAT0009 ) OU ( DIM0323 ) ) INATIVO 26/04/2007 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 07/01/2008 ( DIM0430 ) INATIVO 26/04/2007 09/07/2017
Currículos Código Ano.Período de Implementação Matriz Curricular Obrigatória Período Ativo 05A 2011.1 MATEMÁTICA - NATAL - LICENCIATURA - Presencial - MT Não 0 Não 01 1999.1 ENGENHARIA DE COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - AUTOMACAO INDUSTRIAL - MTN Sim 3 Não 01 1960.1 CIÊNCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - COMPUTACAO CIENTIFICA - MT Sim 3 Não 01 1960.1 CIÊNCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - SISTEMAS DE INFORMACAO - MT Sim 3 Não 01 1960.1 ENGENHARIA DE COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - SISTEMAS E COMPUTACAO - MTN Sim 3 Não 02 2001.1 CIÊNCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - SISTEMAS DE INFORMACAO - MT Sim 5 Não 02 2001.1 ENGENHARIA DE COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - SISTEMAS E COMPUTACAO - MTN Sim 3 Não 02 2001.1 CIÊNCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - COMPUTACAO CIENTIFICA - MT Sim 5 Não 02 2001.1 ENGENHARIA DE COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - AUTOMACAO INDUSTRIAL - MTN Sim 3 Não 03A 2011.1 MATEMÁTICA - NATAL - LICENCIATURA - Presencial - N Não 0 Não 05 2003.1 MATEMÁTICA - NATAL - LICENCIATURA - Presencial - MT Não 0 Não 03 2003.1 MATEMÁTICA - NATAL - LICENCIATURA - Presencial - N Não 0 Não 04 2002.1 MATEMÁTICA - NATAL - BACHARELADO - Presencial - MT Não 0 Não

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