LogicAPI: web service para processamento de consequências lógicas

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
Production unit:	Instituto de Computação
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	Size	Format
HSSantos.pdf		1.06 MB	Adobe PDF	View/Open

Pantheon Institutional repository