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

CIC131.2

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.

Outros componentes que têm esse componente como co-requisito
CIC131.2 - LÓGICA PARA COMPUTAÇÃO (PRÁTICA)

Histórico de Co-Requisitos
Expressão de Co-Requisito	Status	Início da Vigência	Fim da Vigência
CIC131.2	ATIVO	22/03/2017

<< Voltar