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.
Histórico de Pré-Requisitos Expressão de Pré-Requisito Status Início da Vigência Fim da Vigência ( ( FST0047 OU FST0309 ) E ( FST0061 OU FST0310 ) E ( FST0062 OU FST0311 ) ) ATIVO 08/01/2020 ( FST0047 E FST0061 E FST0062 ) ATIVO 31/07/2022 ( FST0047 E FST0061 E FST0062 ) INATIVO 31/07/2022 01/08/2022 ( FST0047 E FST0061 E FST0062 ) INATIVO 01/05/2021 30/07/2022 ( ( FST0047 OU FST0309 ) E ( FST0061 OU FST0310 ) E ( FST0062 OU FST0311 ) ) INATIVO 08/01/2020 30/04/2021 ( ( FST0047 OU FST0309 ) E ( FST0061 OU FST0310 ) E ( FST0062 OU FST0311 ) ) INATIVO 30/06/2019 04/07/2020 ( ( FST0047 ) E ( FST0061 ) E ( FST0062 ) ) INATIVO 23/12/2018 29/06/2019 ( ( FST0309 ) E ( FST0310 ) E ( FST0311 ) ) INATIVO 24/11/2016 22/12/2018 ( ( FST0309 ) E ( FST0310 ) E ( FST0311 ) ) INATIVO 17/11/2016 24/11/2016 ( ( FST0309 ) E ( FST0310 ) E ( FST0311 ) ) INATIVO 17/11/2016 17/11/2016
Histórico de Equivalências Expressão de Equivalência Ativa Início da Vigência Fim da Vigência ( ( FST0332 OU FST0028 ) OU ( FST0143 E FST0146 ) OU ( FST0144 E FST0145 ) ) ATIVO 08/01/2020 ( FST0332 OU FST0028 OU ( FST0143 E FST0146 ) OU ( FST0144 E FST0145 ) OU ( FST0191 E FST0192 ) ) ATIVO 31/07/2022 ( FST0332 OU FST0028 OU ( FST0143 E FST0146 ) OU ( FST0144 E FST0145 ) OU ( FST0191 E FST0192 ) ) INATIVO 31/07/2022 01/08/2022 ( FST0332 OU FST0028 OU ( FST0143 E FST0146 ) OU ( FST0144 E FST0145 ) ) INATIVO 01/05/2021 30/07/2022 ( ( FST0332 ) OU ( FST0028 ) E ( FST0143 ) E ( FST0144 ) OU ( FST0145 ) E ( FST0146 ) ) INATIVO 08/01/2020 30/04/2021 ( FST0332 ) OU ( FST0028 ) INATIVO 30/06/2019 04/07/2020 ( FST0332 ) OU ( FST0028 ) INATIVO 23/12/2018 29/06/2019 ( FST0332 ) OU ( FST0028 ) INATIVO 24/11/2016 22/12/2018 ( ( FST0317 ) OU ( FST0332 ) OU ( FST0028 ) ) INATIVO 17/11/2016 24/11/2016 ( ( FST0317 ) E ( FST0332 ) E ( FST0028 ) ) INATIVO 17/11/2016 17/11/2016
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-2025 - UFRN - sigaa14-producao.info.ufrn.br.sigaa14-producao v4.19.5