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

Detalhes bibliográficos
Autor(a) principal: Camargo, Yuri S.
Data de Publicação: 2018
Outros Autores: Santos, Herbert S.
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UFRJ
Texto Completo: http://hdl.handle.net/11422/5899
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.
id UFRJ_f8558345ec4598c7112aed1c847b50ba
oai_identifier_str oai:pantheon.ufrj.br:11422/5899
network_acronym_str UFRJ
network_name_str Repositório Institucional da UFRJ
repository_id_str
spelling LogicAPI: web service para processamento de consequências lógicasLógicaSoftwaresEnsino e aprendizagemCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LOGICAS E SEMANTICA DE PROGRAMASApresenta 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.Universidade Federal do Rio de JaneiroBrasilInstituto de ComputaçãoUFRJBenevides, Mário Roberto Folhadelahttp://lattes.cnpq.br/7279612728721005Zaverucha, Gersonhttp://lattes.cnpq.br/5117568495536090Xexéo, Geraldo Bonorinohttp://lattes.cnpq.br/4783565791787812Camargo, Yuri S.Santos, Herbert S.2018-11-30T17:14:52Z2023-12-21T03:06:48Z2018info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesishttp://hdl.handle.net/11422/5899porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRJinstname:Universidade Federal do Rio de Janeiro (UFRJ)instacron:UFRJ2023-12-21T03:06:48Zoai:pantheon.ufrj.br:11422/5899Repositório InstitucionalPUBhttp://www.pantheon.ufrj.br/oai/requestpantheon@sibi.ufrj.bropendoar:2023-12-21T03:06:48Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ)false
dc.title.none.fl_str_mv LogicAPI: web service para processamento de consequências lógicas
title LogicAPI: web service para processamento de consequências lógicas
spellingShingle LogicAPI: web service para processamento de consequências lógicas
Camargo, Yuri S.
Lógica
Softwares
Ensino e aprendizagem
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LOGICAS E SEMANTICA DE PROGRAMAS
title_short LogicAPI: web service para processamento de consequências lógicas
title_full LogicAPI: web service para processamento de consequências lógicas
title_fullStr LogicAPI: web service para processamento de consequências lógicas
title_full_unstemmed LogicAPI: web service para processamento de consequências lógicas
title_sort LogicAPI: web service para processamento de consequências lógicas
author Camargo, Yuri S.
author_facet Camargo, Yuri S.
Santos, Herbert S.
author_role author
author2 Santos, Herbert S.
author2_role author
dc.contributor.none.fl_str_mv Benevides, Mário Roberto Folhadela
http://lattes.cnpq.br/7279612728721005
Zaverucha, Gerson
http://lattes.cnpq.br/5117568495536090
Xexéo, Geraldo Bonorino
http://lattes.cnpq.br/4783565791787812
dc.contributor.author.fl_str_mv Camargo, Yuri S.
Santos, Herbert S.
dc.subject.por.fl_str_mv Lógica
Softwares
Ensino e aprendizagem
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LOGICAS E SEMANTICA DE PROGRAMAS
topic Lógica
Softwares
Ensino e aprendizagem
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LOGICAS E SEMANTICA DE PROGRAMAS
description 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.
publishDate 2018
dc.date.none.fl_str_mv 2018-11-30T17:14:52Z
2018
2023-12-21T03:06:48Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/11422/5899
url http://hdl.handle.net/11422/5899
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal do Rio de Janeiro
Brasil
Instituto de Computação
UFRJ
publisher.none.fl_str_mv Universidade Federal do Rio de Janeiro
Brasil
Instituto de Computação
UFRJ
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRJ
instname:Universidade Federal do Rio de Janeiro (UFRJ)
instacron:UFRJ
instname_str Universidade Federal do Rio de Janeiro (UFRJ)
instacron_str UFRJ
institution UFRJ
reponame_str Repositório Institucional da UFRJ
collection Repositório Institucional da UFRJ
repository.name.fl_str_mv Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ)
repository.mail.fl_str_mv pantheon@sibi.ufrj.br
_version_ 1815455979065573376

Registros relacionados