Pantheon Repositorio Institucional
Recopila, preserva y difundi la producción académica digital en todas las áreas del conocimiento.
Comprende los activos del repositorio, además de tesis y disertaciones en la UFRJ, artículos científicos, libros electrónicos, capítulos de libros y trabajos presentados en eventos para los profesores, investigadores, personal administrativo y estudiantes de maestría y doctorado.
Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/11422/5899| Especie: | Trabalho de conclusão de graduação |
| Título : | LogicAPI: web service para processamento de consequências lógicas |
| Autor(es)/Inventor(es): | Camargo, Yuri S. Santos, Herbert S. |
| Tutor: | Benevides, Mário Roberto Folhadela |
| Resumen: | 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. |
| Materia: | Lógica Softwares Ensino e aprendizagem |
| Materia CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LOGICAS E SEMANTICA DE PROGRAMAS |
| Unidade de producción: | Instituto de Computação |
| Editor: | Universidade Federal do Rio de Janeiro |
| Fecha de publicación: | 2018 |
| País de edición : | Brasil |
| Idioma de publicación: | por |
| Tipo de acceso : | Acesso Aberto |
| Aparece en las colecciones: | Ciência da Computação |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| HSSantos.pdf | 1.06 MB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.