Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/5899
Type: Trabalho de conclusão de graduação
Title: LogicAPI: web service para processamento de consequências lógicas
Author(s)/Inventor(s): Camargo, Yuri S.
Santos, Herbert S.
Advisor: Benevides, Mário Roberto Folhadela
Abstract: Apresenta uma ferramenta capaz de determinar consequências lógicas através de diferentes métodos, focando em métodos ensinados na disciplina de Lógica de Ciência da Computação da Universidade Federal do Rio de Janeiro. Também é apresentada uma aplicação de usuário que se utiliza dos serviços providos pela ferramenta para auxiliar o ensino da disciplina de lógica ministrada pelo professor Mario Roberto Folhadelha Benevides. Inicialmente são discutidos conceitos de Lógica para o entendimento da utilização da solução bem como as terminologias e o escopo coberto neste trabalho. Em seguida é apresentando uma panorâmica sobre a evolução tecnológica, a proposta de solução e efetivamente sua implementação.
Keywords: Lógica
Softwares
Ensino e aprendizagem
Subject CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LOGICAS E SEMANTICA DE PROGRAMAS
Department : Instituto de Matemática
Publisher: Universidade Federal do Rio de Janeiro
Issue Date: 2018
Publisher country: Brasil
Language: por
Right access: Acesso Aberto
Appears in Collections:Ciência da Computação

Files in This Item:
File Description SizeFormat 
HSSantos.pdf1,06 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.