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:

ENGENHARIA DE COMPUTAÇÃO (11.00.43.56.06)

Código:

ECOM007

Nome:

LÓGICA APLICADA À COMPUTAÇÃO

Carga Horária Teórica:

40 h.

Carga Horária Prática:

20 h.

Carga Horária de Ead:

0 h.

Carga Horária Total:

60 h.

Pré-Requisitos:

Co-Requisitos:

Equivalências:

( COMP360 OU COMP213 )

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
C2011	2011.1	ENGENHARIA DE COMPUTAÇÃO - CAMPUS MACEIÓ - MATUTINO E VESPERTINO - Maceió - BACHARELADO - Presencial - I	Sim	2	Sim

<< Voltar