SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas

Resumo do Componente Curricular

Dados Gerais do Componente Curricular

Tipo do Componente Curricular:

DISCIPLINA

Unidade Responsável:

INSTITUTO DE MATEMÁTICA E COMPUTACÃO (11.49)

Código:

MAT016.1

Nome:

Lógica Matemática

Carga Horária Teórica:

48 h.

Carga Horária Prática:

0 h.

Carga Horária de Ead:

0 h.

Carga Horária Total:

48 h.

Pré-Requisitos:

Co-Requisitos:

Equivalências:

Excluir da Avaliação Institucional:

Não

Matriculável On-Line:

Não

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

Quantidade de Avaliações:

Ementa/Descrição:

lógica proposicional e de predicados. linguagem proposicional e de primeira ordem. sistemas dedutivos. tabelas verdade e estruturas de primeira ordem. relações de conseqüência. corretude. completude. compacidade. lowemhein-skolem. decidibilidade. prova automática de teoremas.lógicas não-clássicas

Histórico de Equivalências
Expressão de Equivalência	Ativa	Início da Vigência
( ( ( HUMI01 ) E ( EAMI31 OU ECAI01 OU ECOI01 OU EELI01 OU EMEI01 OU EMTI01 OU EPRI01 OU ESSI01 ) ) OU ( BAC001 ) )	ATIVO	08/09/2015
( ( ( HUMI01 ) E ( EAMI31 OU ECAI01 OU ECOI01 OU EELI01 OU EMEI01 OU EMTI01 OU EPRI01 OU ESSI01 ) ) OU ( BAC001 ) )	ATIVO	18/09/2018
( ( ( HUMI01 ) E ( EAMI31 OU ECAI01 OU ECOI01 OU EELI01 OU EMEI01 OU EMTI01 OU EPRI01 OU ESSI01 ) ) OU ( BAC001 ) )	ATIVO	22/04/2019

<< Voltar