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:	CIC0182
Nome:	LÓGICA COMPUTACIONAL 1
Carga Horária Teórica:	30 h.
Carga Horária Prática:	30 h.
Carga Horária de Ead:	0 h.
Carga Horária Total:	60 h.
Pré-Requisitos:	( ( CIC0002 ) OU ( CIC0090 ) )
Co-Requisitos:
Equivalências:	( ( MAT0119 ) )
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:	1. Noções Básicas a. Linguagem Natural vs Linguagens Formais b. Verdade, Validade, Satisfatibilidade c. Lógica Proposicional: i. Sintaxe e Semântica ii. Propriedades e Relações Semânticas iii. Conseqüência Lógica iv. Simplificação de Fórmulas d. Lógica de Primeira Ordem: i. Sintaxe e Semântica ii. Propriedades e Relações Semânticas e. Formas Normais.2. Métodos de Validação a. Métodos Diretos de Prova b. Métodos de Prova por Contradição c. Indução.3. Linguagem para experimentação a. Aplicações Básicas.
Outros componentes que têm esse componente como pré-requisito CIC0183 - LÓGICA COMPUTACIONAL 2 FIL0152 - FILOSOFIA DA MENTE CIC0377 - MONITORIA EM LÓGICA COMPUTACIONAL 1
Histórico de Pré-Requisitos Expressão de Pré-Requisito Status Início da Vigência Fim da Vigência ( ( CIC0002 ) OU ( CIC0090 ) ) ATIVO 01/08/2019
Histórico de Equivalências Expressão de Equivalência Ativa Início da Vigência Fim da Vigência ( ( MAT0119 ) ) ATIVO 01/08/2019
Currículos Código Ano.Período de Implementação Matriz Curricular Obrigatória Período Ativo 3344/-5 2005.1 FILOSOFIA/FIL - Licenciatura - Presencial - D Não 0 Sim 3336/-5 2012.1 FILOSOFIA/FIL - Bacharelado - Presencial - D Não 0 Sim 3344/-3 2013.2 FILOSOFIA/FIL - Licenciatura - Presencial - D Não 0 Sim 1856/-3 2015.2 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Sim 4 Sim 1716/2 2021.2 ESTATÍSTICA/EST - Bacharelado - Presencial - D Não 0 Sim 1741/1 2016.1 ENGENHARIA DE COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Sim 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 Sim 1368/-2 2014.1 MATEMÁTICA/MAT - Licenciatura - Presencial - N Não 0 Sim 6912/1 2018.2 ENGENHARIA MECATRÔNICA - CONTROLE E AUTOMAÇÃO/FTD - Engenheiro de Controle e Automação - Presencial - D Não 0 Não 3336/-6 2005.1 FILOSOFIA/FIL - Bacharelado - Presencial - D Não 0 Sim 3336/-3 2014.1 FILOSOFIA/FIL - Bacharelado - Presencial - D Não 0 Sim 3344/-4 2012.1 FILOSOFIA/FIL - Licenciatura - Presencial - D Não 0 Sim 6912/-2 2016.2 ENGENHARIA MECATRÔNICA - CONTROLE E AUTOMAÇÃO/FTD - Engenheiro de Controle e Automação - Presencial - D Não 0 Não 3352/-2 2010.2 FILOSOFIA/FIL - Licenciatura - Presencial - N Não 0 Sim 1856/-2 2016.1 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Sim 4 Sim 1741/-2 2009.2 ENGENHARIA DE COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Sim 1856/-7 2011.1 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 3 Sim 3344/-2 2014.1 FILOSOFIA/FIL - Licenciatura - Presencial - D Não 0 Sim 6912/-3 2005.1 ENGENHARIA MECATRÔNICA - CONTROLE E AUTOMAÇÃO/FTD - Engenheiro de Controle e Automação - Presencial - D Não 0 Não 3336/-4 2013.2 FILOSOFIA/FIL - Bacharelado - Presencial - D Não 0 Sim 1856/-4 2015.1 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 3 Sim 1716/-3 2014.1 ESTATÍSTICA/EST - Bacharelado - Presencial - D Não 0 Sim 1899/-2 2015.2 COMPUTAÇÃO/CIC - Licenciatura - Presencial - N Sim 3 Sim 1856/1 2018.2 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Sim 4 Sim 1716/-4 1997.2 ESTATÍSTICA/EST - Bacharelado - Presencial - D Não 0 Sim 1899/-3 2012.2 COMPUTAÇÃO/CIC - Licenciatura - Presencial - N Não 1 Sim 1856/2 2021.2 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Sim 4 Sim 1341/-2 2014.1 MATEMÁTICA/MAT - Bacharelado - Presencial - D Não 0 Não 1899/-4 2007.2 COMPUTAÇÃO/CIC - Licenciatura - Presencial - N Não 1 Sim 1856/-6 2012.1 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 3 Sim 1341/1 2016.1 MATEMÁTICA/MAT - Bacharelado - Presencial - D Não 0 Não 1716/-2 2016.1 ESTATÍSTICA/EST - Bacharelado - Presencial - D Não 0 Sim 1368/-3 2005.1 MATEMÁTICA/MAT - Licenciatura - Presencial - N Não 0 Sim 1716/1 2019.1 ESTATÍSTICA/EST - Bacharelado - Presencial - D Não 0 Sim 1856/-5 2012.2 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 3 Sim 1341/-3 2011.2 MATEMÁTICA/MAT - Bacharelado - Presencial - D Não 0 Não 1325/-5 2005.1 MATEMÁTICA/MAT - Licenciatura - Presencial - D Não 0 Sim 3336/1 2017.2 FILOSOFIA/FIL - Bacharelado - Presencial - D Não 0 Sim 3336/-2 2017.1 FILOSOFIA/FIL - Bacharelado - Presencial - D Não 0 Sim 1899/1 2016.1 COMPUTAÇÃO/CIC - Licenciatura - Presencial - N Sim 3 Sim

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