Resumo do Componente Curricular

Dados Gerais do Componente Curricular

Tipo do Componente Curricular:	DISCIPLINA
Unidade Responsável:	DEPARTAMENTO DE MATEMÁTICA/ICE (12.28.01.00.00.00.63)
Código:	IC271
Nome:	LÓGICA APLICADA
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:
Co-Requisitos:
Equivalências:
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:	Sim
Necessita de Orientador:	Não
Possui Subturmas:	Não
Exige Horário:	Sim
Quantidade de Avaliações:
Ementa/Descrição:	Cálculo proposicional. Argumentos lógicos. Cálculo de predicados. Validade dos argumentos. Axiomatização do cálculo de predicados de 1a.ordem.
Expressões específicas de currículo cadastradas para este componente Currículo Expressão Tipo Início da Vigência Fim da Vigência FÍSICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 1987.1 - 00125 ( IC261 ) Pré-Requisito 1987.1 . FÍSICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2000.2 - 00126 ( IC261 ) Pré-Requisito 2000.2 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 1987.1 - 00133 ( IC261 ) Pré-Requisito 1987.1 . MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT - 1998.1 - 00136 ( IC261 ) Pré-Requisito 1998.1 . MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT - 1987.1 - 00134 ( IC261 ) Pré-Requisito 1987.1 . MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT - 1998.1 - 00137 ( IC261 ) Pré-Requisito 1998.1 . MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT - 2004.1 - 00142 ( IC261 ) Pré-Requisito 2004.1 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2004.1 - 00141 ( IC261 ) Pré-Requisito 2004.1 . MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT - 2006.1 - 00145 ( IC261 ) Pré-Requisito 2006.1 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2006.1 - 00144 ( IC261 ) Pré-Requisito 2006.1 . MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT - 2004.1 - 00143 ( IC261 ) Pré-Requisito 2004.1 . FÍSICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2006.1 - 00127 ( IC261 ) Pré-Requisito 2006.1 . MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT - 2006.1 - 00146 ( IC261 ) Pré-Requisito 2006.1 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 1998.1 - 00135 ( IC261 ) Pré-Requisito 1998.1 . MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT - 2008.1 - 00147 ( IC261 ) Pré-Requisito 2008.1 . FÍSICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2009.1 - 00128 ( IC261 ) Pré-Requisito 2009.1 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2009.1 - 00149 ( IC261 ) Pré-Requisito 2009.1 . FÍSICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2009.2 - 00129 ( IC261 ) Pré-Requisito 2009.2 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2009.2 - 00152 ( IC261 ) Pré-Requisito 2009.2 . MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT - 2008.1 - 00148 ( IC261 ) Pré-Requisito 2008.1 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2000.1 - 00138 ( IC261 ) Pré-Requisito 2000.1 . MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT - 2000.1 - 00139 ( IC261 ) Pré-Requisito 2000.1 . MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT - 2000.1 - 00140 ( IC261 ) Pré-Requisito 2000.1 . MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT - 2009.1 - 00150 ( IC261 ) Pré-Requisito 2009.1 . MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT - 2009.1 - 00151 ( IC261 ) Pré-Requisito 2009.1 . FÍSICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2012.1 - 00130 ( IC261 ) Pré-Requisito 2012.1 . FÍSICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2013.1 - 00131 ( IC261 ) Pré-Requisito 2013.1 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2013.1 - 00153 ( IC261 ) Pré-Requisito 2013.1 . FÍSICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2014.2 - 00132 ( IC261 ) Pré-Requisito 2014.2 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2016.1 - 00154 ( IC261 ) Pré-Requisito 2016.1 . MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT - 2016.1 - 00155 ( IC261 ) Pré-Requisito 2016.1 . MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT - 2016.1 - 00156 ( IC261 ) Pré-Requisito 2016.1 . MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT - 2023.1 - 00429 ( IC871 ) Pré-Requisito 2024.1 . MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT - 2023.1 - 00430 ( IC871 ) Pré-Requisito 2024.1 . MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT - 2023.1 - 00428 ( IC871 ) Pré-Requisito 2024.1 .
Currículos Código Ano.Período de Implementação Matriz Curricular Obrigatória Período Ativo 00377 2023.1 FILOSOFIA - SEROPÉDICA - LICENCIATURA - Presencial - N Não 0 Sim 00212 2013.1 FILOSOFIA - SEROPÉDICA - LICENCIATURA - Presencial - N Não 0 Não 00430 2023.1 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Sim 00155 2016.1 MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00370 2020.1 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00154 2016.1 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00428 2023.1 MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Sim 00429 2023.1 MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Sim 00309 2010.1 MATEMÁTICA - NOVA IGUAÇU - LICENCIATURA - Presencial - N Não 0 Não 00393 2023.1 FÍSICA - SEROPÉDICA - BACHARELADO - Presencial - ÊNFASE: FÍSICA DAS INTERAÇÕES FUNDAMENTAIS - MT Não 0 Sim 00394 2023.1 FÍSICA - SEROPÉDICA - BACHARELADO - Presencial - ÊNFASE: FÍSICA DA MATÉRIA CONDENSADA TEÓRICA - MT Não 0 Sim 00392 2023.1 FÍSICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Sim 00353 2020.1 FÍSICA - SEROPÉDICA - BACHARELADO - Presencial - ÊNFASE: FÍSICA DA MATÉRIA CONDENSADA TEÓRICA - MT Não 0 Não 00150 2009.1 MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00153 2013.1 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00156 2016.1 MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00151 2009.1 MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00427 2023.1 MATEMÁTICA - NOVA IGUAÇU - LICENCIATURA - Presencial - N Não 0 Sim 00143 2004.1 MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00354 2020.1 FÍSICA - SEROPÉDICA - BACHARELADO - Presencial - ÊNFASE: FÍSICA DAS INTERAÇÕES FUNDAMENTAIS - MT Não 0 Não 00144 2006.1 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00135 1998.1 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00152 2009.2 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00149 2009.1 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00136 1998.1 MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00139 2000.1 MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00142 2004.1 MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00145 2006.1 MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00147 2008.1 MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00137 1998.1 MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00146 2006.1 MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00140 2000.1 MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00148 2008.1 MATEMÁTICA APLICADA E COMPUTACIONAL - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00132 2014.2 FÍSICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00307 2009.1 MATEMÁTICA - NOVA IGUAÇU - LICENCIATURA - Presencial - N Não 0 Não 00130 2012.1 FÍSICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00131 2013.1 FÍSICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00211 2009.1 FILOSOFIA - SEROPÉDICA - LICENCIATURA - Presencial - N Não 0 Não 00134 1987.1 MATEMÁTICA - SEROPÉDICA - BACHARELADO - Presencial - MT Não 0 Não 00133 1987.1 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00306 2006.2 MATEMÁTICA - NOVA IGUAÇU - LICENCIATURA - Presencial - N Não 0 Não 00126 2000.2 FÍSICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00125 1987.1 FÍSICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00127 2006.1 FÍSICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00128 2009.1 FÍSICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00129 2009.2 FÍSICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00138 2000.1 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não 00141 2004.1 MATEMÁTICA - SEROPÉDICA - LICENCIATURA - Presencial - MT Não 0 Não

SIGAA | Coordenadoria de Tecnologia da Informação e Comunicação - COTIC/UFRRJ - (21) 2681-4638 | Copyright © 2006-2026 - UFRN - sig-node4.ufrrj.br.producao4i1 v4.17.0_r27