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.2

Nome:

Lógica Matemática (Prática)

Carga Horária Teórica:

0 h.

Carga Horária Prática:

16 h.

Carga Horária de Ead:

0 h.

Carga Horária Total:

16 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	Fim da Vigência
( ( EAMI42T ) E ( EAMI42P ) )	ATIVO	22/12/2016
( ( EAMI42T ) E ( EAMI42P ) )	ATIVO	19/09/2018

<< Voltar