Universidade de Brasília Brasília, 21 de Novembro de 2024

Resumo do Componente Curricular

Dados Gerais do Componente Curricular
Tipo do Componente Curricular: DISCIPLINA
Unidade Responsável: DEPARTAMENTO DE MATEMÁTICA (11.01.01.15.03)
Código: MAT0119
Nome: LÓGICA MATEMÁTICA E COMPUTACIONAL
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:
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 Proposicional - sintaxe e semântica Argumento válido e dedução O Método da Resolução na Lógica Proposicional Lógica de Predicados - sintaxe e semântica Argumento válido e Dedução O Método da Resolução na Lógica de predicados.
Outros componentes que têm esse componente como equivalente
CIC0182 - LÓGICA COMPUTACIONAL 1
Outros componentes que têm esse componente como pré-requisito
MAT0486 - MONITORIA EM LÓGICA MATEMÁTICA E COMPUTACIONAL
Currículos
Código Ano.Período de Implementação Matriz Curricular Obrigatória Período Ativo
1716/2 2021.2 ESTATÍSTICA/EST - Bacharelado - Presencial - D Não 0 Sim
7013/2 2024.2 FARMÁCIA/FCTS - Bacharelado - Presencial - D Não 0 Sim
1899/-4 2007.2 COMPUTAÇÃO/CIC - Licenciatura - Presencial - N Não 0 Sim
1325/-5 2005.1 MATEMÁTICA/MAT - Licenciatura - 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/-3 2005.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
1589/-2 2016.1 QUÍMICA TECNOLÓGICA/IQD - Bacharelado - Presencial - D Não 0 Sim
1716/3 2024.2 ESTATÍSTICA/EST - Bacharelado - Presencial - D Não 0 Sim
1589/-3 2015.1 QUÍMICA TECNOLÓGICA/IQD - Bacharelado - Presencial - D Não 0 Sim
60844/1 2015.1 ENGENHARIA QUÍMICA/IQD - Bacharelado - Presencial - D Não 0 Sim
1589/-4 2010.1 QUÍMICA TECNOLÓGICA/IQD - Bacharelado - Presencial - D Não 0 Sim
1589/2 2024.1 QUÍMICA TECNOLÓGICA/IQD - Bacharelado - Presencial - D Não 0 Sim
1368/2 2025.1 MATEMÁTICA/MAT - Licenciatura - Presencial - N Não 0 Sim
1589/1 2018.2 QUÍMICA TECNOLÓGICA/IQD - Bacharelado - Presencial - D Não 0 Sim
1449/-3 2014.1 QUÍMICA/IQD - Bacharelado - Presencial - D Não 0 Sim
1449/1 2016.2 QUÍMICA/IQD - Bacharelado - Presencial - D Não 0 Sim
1449/-2 2016.1 QUÍMICA/IQD - Bacharelado - Presencial - D Não 0 Sim
1503/-2 2014.1 QUÍMICA/IQD - Licenciatura - Presencial - N Não 0 Sim
1503/1 2016.1 QUÍMICA/IQD - Licenciatura - Presencial - N Não 0 Sim
1716/-2 2016.1 ESTATÍSTICA/EST - Bacharelado - Presencial - D Não 0 Sim
1899/-3 2012.2 COMPUTAÇÃO/CIC - Licenciatura - Presencial - N Não 0 Sim
1716/-4 1997.2 ESTATÍSTICA/EST - Bacharelado - Presencial - D Não 0 Sim
1716/-3 2014.1 ESTATÍSTICA/EST - Bacharelado - Presencial - D Não 0 Sim
1856/-7 2011.1 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Não
1716/1 2019.1 ESTATÍSTICA/EST - Bacharelado - Presencial - D Não 0 Sim
60844/-2 2012.1 ENGENHARIA QUÍMICA/IQD - Bacharelado - Presencial - D Não 0 Sim
1341/-3 2011.2 MATEMÁTICA/MAT - Bacharelado - Presencial - D Não 0 Não
1899/-2 2015.2 COMPUTAÇÃO/CIC - Licenciatura - Presencial - N Não 0 Sim
1856/2 2021.2 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Não
1856/1 2018.2 CIÊNCIA DA COMPUTAÇÃO/CIC - Bacharelado - Presencial - D Não 0 Não
1856/-2 2016.1 CIÊNCIA DA COMPUTAÇÃO/CIC - 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
1856/-3 2015.2 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
1856/-5 2012.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/1 2016.1 MATEMÁTICA/MAT - Bacharelado - Presencial - D Não 0 Não
1341/-2 2014.1 MATEMÁTICA/MAT - Bacharelado - Presencial - D Não 0 Não
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

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