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:

CIC131.2

Nome:

LÓGICA PARA COMPUTAÇÃO (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:

CIC131.1

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:

relação entre lógica, matemática e computação. sintaxe e semântica da lógica proposicional. sintaxe e semântica da lógica de predicados. sistemas de dedução. aplicações da lógica na computação.introdução ao prolog.

Histórico de Equivalências
Expressão de Equivalência	Ativa	Início da Vigência	Fim da Vigência
DES002	ATIVO	03/04/2023

<< Voltar