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:

CCF430.1

Nome:

Lógica para Computação

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:

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

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 consequência. corretude. completude. compacidade. lowemhein-skolem. decidibilidade. prova automática de teoremas. lógicas não clássicas.

Histórico de Co-Requisitos
Expressão de Co-Requisito	Status	Início da Vigência	Fim da Vigência
( EMTI2204 )	ATIVO	22/12/2022
( EMTI2204 )	INATIVO	24/11/2022	22/12/2022

Histórico de Equivalências
Expressão de Equivalência	Ativa	Início da Vigência	Fim da Vigência
( EMTI02 )	ATIVO	22/12/2022

<< Voltar