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:

CURSO DE CIÊNCIAS DA COMPUTAÇÃO (11.00.43.56.01)

Código:

COMP014

Nome:

LÓGICA APLICADA À COMPUTAÇÃO

Carga Horária Teórica:

60 h.

Carga Horária Prática:

20 h.

Carga Horária de Ead:

0 h.

Carga Horária Total:

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

Histórico evolutivo. Fundamentos de Lógica. Lógica proposicional. Lógica de primeira ordem. Prova Automática de Teoremas. Seminários em temas complementares.

Currículos
Código	Ano.Período de Implementação	Matriz Curricular	Obrigatória	Período	Ativo
COMP1	2006.1	CIÊNCIA DA COMPUTAÇÃO - CAMPUS MACEIÓ - MATUTINO E VESPERTINO - Maceió - BACHARELADO - Presencial - MT	Sim	3	Sim

<< Voltar