LÓGICA PARA COMPUTAÇÃO

Nome da Atividade

CÓDIGO

22000682

Carga Horária

60 horas

Tipo de Atividade

DISCIPLINA

Periodicidade

Semestral

Unidade responsável

Centro de Desenvolvimento Tecnológico

CRÉDITOS

CARGA HORÁRIA TEÓRICA

CARGA HORÁRIA OBRIGATÓRIA

FREQUÊNCIA APROVAÇÃO

75%

Ementa

Revisão de lógica proposicional e de primeira ordem; sintaxe, semântica e aplicações das lógicas modais, temporais e outras lógicas não-clássicas.

Objectives

Objetivo Geral:

Esta disciplina objetiva estudar a fundamentação conceitual relativa às lógicas multivaloradas, com foco na lógica fuzzy e suas extensões. Busca-se apresentar os conceitos básicos e propriedades dos principais conectivos, discutir a modelagem matemática, incluindo as principais caracterizações dos sistemas baseados em lógica fuzzy, abordando a inferência, fuzzificação e defuzzificação. Considera-se o projeto com estudo e desenvolvimento de um sistema fuzzy com aplicações em áreas de pesquisa na computação.

Conteúdo Programático

Lógica Proposicional: Fundamentação, Sintaxe e Semântica e Dedução Natural;
Lógica de Primeira Ordem: Fundamentação, Sintaxe e Semântica;
Introdução às Lógicas Multivaloradas - Lógica Fuzzy: Fundamentos, Conectivos, Agregações e Implicações;
Sistemas Baseados em Lógica Fuzzy: Inferência, Fuzzificação e Defuzzificação;
Projeto: Redação de Artigo Aplicações da Lógica Fuzzy.

Bibliografia

Bibliografia Básica:

Disciplinas Equivalentes

Disciplina	Curso
LÓGICA PARA COMPUTAÇÃO	Computação (Mestrado acadêmico)
LÓGICA PARA COMPUTAÇÃO	Computação (Doutorado)