Use este identificador para citar ou linkar para este item: http://hdl.handle.net/11422/5899
Tipo: 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.
Orientador: Benevides, Mário Roberto Folhadela
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.
Palavras-chave: Lógica
Softwares
Ensino e Aprendizagem
Assunto CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LOGICAS E SEMANTICA DE PROGRAMAS
Departamento: Instituto de Matemática
Editor: Universidade Federal do Rio de Janeiro
Data de publicação: 2018
País de publicação: Brasil
Idioma da publicação: por
Tipo de acesso: Acesso Aberto
URI: http://hdl.handle.net/11422/5899
Aparece nas coleções:Ciência da Computação

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
HSSantos.pdf1,07 MBAdobe PDFVisualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.