Universidade Federal do Cariri Juazeiro do Norte, 20 de Setembro de 2024


Resumo do Componente Curricular

Dados Gerais do Componente Curricular
Tipo do Componente Curricular: DISCIPLINA
Unidade Responsável: CENTRO DE EDUCAÇÃO A DISTÂNCIA (11.84)
Código: ADS0003
Nome: INTRODUÇÃO À LÓGICA DE COMPUTAÇÃO
Carga Horária Prática: 32 h.
Carga Horária de Ead: 64 h.
Carga Horária Total: 96 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
Exige Horário: Sim
Quantidade de Avaliações: 2
Ementa/Descrição: Conceitos da lógica informal. Conceitos básicos e elementos de lógica formal proposicional, regras de inferência, fórmulas bem formadas, métodos de prova, lógica de predicados (ou de primeira ordem), sintaxe e semântica de Prolog. Noções de lógicas não-clássicas.
Currículos
Código Ano.Período de Implementação Matriz Curricular Obrigatória Período Ativo
ADS01 2022.1 ANÁLISE E DESENVOLVIMENTO DE SISTEMAS - Icó - TECNOLÓGICO - A Distância - MTN Sim 1 Sim

<< Voltar

SIGAA | Diretoria de Tecnologia da Informação - --------- | Copyright © 2006-2024 - UFCA - sig04-prd-jne.ufca.edu.br.sig4 v4.8.7_s.28 20/09/2024 05:31