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

O sistema será reiniciado às 17:40 para fins de atualização de funcionalidades. Pedimos a todos que salvem seus trabalhos para que não haja transtornos.
Agradecemos a compreensão, em 30 minutos o sistema estará de volta.

(x) fechar mensagens

Resumo do Componente Curricular

Dados Gerais do Componente Curricular

Tipo do Componente Curricular:

DISCIPLINA

Unidade Responsável:

DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO/IM (12.28.01.00.00.83)

Código:

TN709

Nome:

LÓGICA PARA COMPUTAÇÃO

Carga Horária Teórica:

60 h.

Carga Horária Prática:

0 h.

Carga Horária de Ead:

0 h.

Carga Horária Total:

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

Sim

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:

Sintaxe e Semântica da Lógica Proposicional. Relações semânticas entre conectivos da Lógica Proposicional. Dedução Axiomática na Lógica Proposicional. Resolução na Lógica Proposicional. Sintaxe e Semântica da Lógica de Predicados. Unificação. Método de Resolução SLD.

Currículos
Código	Ano.Período de Implementação	Matriz Curricular	Obrigatória	Período	Ativo
00406	2023.1	CIÊNCIA DA COMPUTAÇÃO - NOVA IGUAÇU - BACHARELADO - Presencial - MT	Sim	2	Não
00463	2026.1	CIÊNCIA DA COMPUTAÇÃO - NOVA IGUAÇU - BACHARELADO - Presencial - MT	Sim	2	Sim
00356	2020.1	CIÊNCIA DA COMPUTAÇÃO - NOVA IGUAÇU - BACHARELADO - Presencial - MT	Sim	2	Não

<< Voltar