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

Santos, Herbert S.; Camargo, Yuri S.

Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/5899

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Benevides, Mário Roberto Folhadela	-
dc.contributor.author	Camargo, Yuri S.	-
dc.contributor.author	Santos, Herbert S.	-
dc.date.accessioned	2018-11-30T17:14:52Z	-
dc.date.available	2023-12-21T03:06:48Z	-
dc.date.issued	2018	-
dc.identifier.uri	http://hdl.handle.net/11422/5899	-
dc.language	por	pt_BR
dc.publisher	Universidade Federal do Rio de Janeiro	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.subject	Lógica	pt_BR
dc.subject	Softwares	pt_BR
dc.subject	Ensino e aprendizagem	pt_BR
dc.title	LogicAPI: web service para processamento de consequências lógicas	pt_BR
dc.type	Trabalho de conclusão de graduação	pt_BR
dc.contributor.advisorLattes	http://lattes.cnpq.br/7279612728721005	pt_BR
dc.contributor.referee1	Zaverucha, Gerson	-
dc.contributor.referee1Lattes	http://lattes.cnpq.br/5117568495536090	pt_BR
dc.contributor.referee2	Xexéo, Geraldo Bonorino	-
dc.contributor.referee2Lattes	http://lattes.cnpq.br/4783565791787812	pt_BR
dc.description.resumo	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.	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Instituto de Computação	pt_BR
dc.publisher.initials	UFRJ	pt_BR
dc.subject.cnpq	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LOGICAS E SEMANTICA DE PROGRAMAS	pt_BR
dc.embargo.terms	aberto	pt_BR
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

Show simple item record Recommend this item View Statistics

Pantheon Institutional repository