Nome da Atividade
LÓGICA PARA COMPUTAÇÃO
CÓDIGO
1118010
Carga Horária
68 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Unidade responsável
CRÉDITOS
4
CARGA HORÁRIA TEÓRICA
4
CARGA HORÁRIA OBRIGATÓRIA
4
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.

Objetivos

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:

  • KLEMENT, E. P.; NAVARA, M. A survey on different triangular norm-based fuzzy logics. Fuzzy Sets and Systems, [S.l.], v.101, n.2, p.241–251, 1999.
  • BARROS, L.; BASSANEZI, R., Tópicos de Lógica Fuzzy e Biomatemática, coleção IMECC 5, MEC-UNICAMP, 2008.

Bibliografia Complementar:

  • HUTH, M.; RYAN, M. Logic in Computer Science: modeling and reasoning about systems. New York, USA: Cambridge University Press. 2nd edition, 427 pgs, 2004.
  • ZOHAR, M.; PNUELI, A. The Temporal Logic of Reactive and Concurrent Systems - Specification, Springer Verlag. 1991.
  • FITTING, M. First Order Modal logic. Springer, 1999.
  • FODOR, J. C.; ROUBENS, M. Fuzzy Preference Modelling and Multicriteria Decision Support. [S.l.]: Springer, 1994. (Theory and Decision Library, v.14).
  • PRIEST, G. An Introduction to Non-classical Logics. Cambridge University. Press, 2001.
  • ROSS, T. Fuzzy Logic with Engineering Applications, JohnWiley & Sons, 2010.
  • GOMIDE, F. A. C.; GUDWIN, R. R.; TANSCHEIT, R. Conceitos Fundamentais da Teoria de Conjuntos Fuzzy, Lógica Fuzzy e Aplicações. n.June.

Turmas Ofertadas

Turma Período Vagas Matriculados Curso / Horários Professores
50 2022 / 1 55 4
Computação (Doutorado)
Computação (Mestrado acadêmico)
Horários
ManhãTardeNoite
SEG10:00 - 10:50
10:50 - 11:40
RENATA HAX SANDER REISER
Professor responsável pela turma

Página gerada em 07/07/2022 05:02:27 (consulta levou 0.058890s)