Resumo do Componente Curricular

Dados Gerais do Componente Curricular

Tipo do Componente Curricular:	DISCIPLINA
Unidade Responsável:	DEPTO CIÊNCIAS DA COMPUTAÇÃO (11.01.01.15.01)
Código:	CIC0134
Nome:	PROGRAMACAO EM LOGICA
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:	( ( CIC0093 E CIC0182 ) OU ( FIL0056 ) )
Co-Requisitos:
Equivalências:
Excluir da Avaliação Institucional:	Não
Matriculável On-Line:	Sim
Horário Flexível da Turma:	Não
Horário Flexível do Docente:	Sim
Obrigatoriedade de Nota Final:	Sim
Pode Criar Turma Sem Solicitação:	Sim
Necessita de Orientador:	Não
Possui Subturmas:	Não
Exige Horário:	Sim
Permite Múltiplas Aprovações:	Não
Quantidade de Avaliações:	1
Ementa:	Lógica de Primeira-Ordem Resolução Cláusulas Horn EstratégiasCompletas para Cláusulas Horn Programação em Lógica A LinguagemProlog. Aspectos de Implementação da Linguagem Prolog.
Outros componentes que têm esse componente como pré-requisito CIC0389 - MONITORIA EM PROGRAMACAO EM LOGICA
Histórico de Pré-Requisitos Expressão de Pré-Requisito Status Início da Vigência Fim da Vigência ( ( CIC0093 E CIC0182 ) OU ( FIL0056 ) ) ATIVO 01/08/2019
Currículos Código Ano.Período de Implementação Matriz Curricular Obrigatória Período Ativo 1899/-4 2007.2 COMPUTAÇÃO/CIC - Licenciatura - Presencial - N Não 0 Sim 1856/-2 2016.1 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Não 1741/2 2024.2 ENGENHARIA DE COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Sim 1741/1 2016.1 ENGENHARIA DE COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Não 1325/1 2017.2 MATEMÁTICA/MAT - Licenciatura - Presencial - D Não 0 Sim 1325/-3 2016.1 MATEMÁTICA/MAT - Licenciatura - Presencial - D Não 0 Sim 1325/-2 2016.2 MATEMÁTICA/MAT - Licenciatura - Presencial - D Não 0 Sim 1325/-4 2014.1 MATEMÁTICA/MAT - Licenciatura - Presencial - D Não 0 Sim 1368/1 2016.1 MATEMÁTICA/MAT - Licenciatura - Presencial - N Não 0 Não 1368/-2 2014.1 MATEMÁTICA/MAT - Licenciatura - Presencial - N Não 0 Não 1341/2 2024.2 MATEMÁTICA/MAT - Bacharelado - Presencial - D Não 0 Sim 1856/3 2025.1 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Sim 1368/2 2025.1 MATEMÁTICA/MAT - Licenciatura - Presencial - N Não 0 Sim 1856/1 2018.2 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Não 1899/1 2016.1 COMPUTAÇÃO/CIC - Licenciatura - Presencial - N Não 0 Sim 1341/-3 2011.2 MATEMÁTICA/MAT - Bacharelado - Presencial - D Não 0 Não 1856/2 2021.2 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Não 1856/-7 2011.1 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Não 1856/-6 2012.1 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Não 1341/-2 2014.1 MATEMÁTICA/MAT - Bacharelado - Presencial - D Não 0 Não 1899/-3 2012.2 COMPUTAÇÃO/CIC - Licenciatura - Presencial - N Não 0 Sim 1899/-2 2015.2 COMPUTAÇÃO/CIC - Licenciatura - Presencial - N Não 0 Sim 1856/-3 2015.2 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Não 1368/-3 2005.1 MATEMÁTICA/MAT - Licenciatura - Presencial - N Não 0 Não 1325/-5 2005.1 MATEMÁTICA/MAT - Licenciatura - Presencial - D Não 0 Sim 1856/-5 2012.2 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Não 1341/1 2016.1 MATEMÁTICA/MAT - Bacharelado - Presencial - D Não 0 Não 1856/-4 2015.1 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Não 1741/-2 2009.2 ENGENHARIA DE COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Não

SIGAA | Secretaria de Tecnologia da Informação - STI - (61) 3107-0102 | Copyright © 2006-2024 - UFRN - app13.sigaa13 v4.9.10.125