Provador
Mostrando 25-26 de 26 artigos, teses e dissertações.
-
25. UM AMBIENTE DE PROGRAMAÇÃO LÓGICA SUPORTADO POR UM PROVADOR SEMÂNTICO / A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER
Haeusler e Pequeno desenvolveram um método de prova de teoremas baseado em jogos semânticos introduzidos por Hintikka. Posteriormente Rios desenvolveu o programa PROGRAME que implementa este método. Este trabalho descreve um ambiente de programação lógica desenvolvido com a finalidade de oferecer ao usuário facilidades de programação lógica suporta
Publicado em: 1991
-
26. Metodologia na seleção sequencial e não sequencial de provadores para analise sensorial de alimentos e bebidas
A seleção de equipes de provadores para avaliação de gosto (café e vinho) e odor (óleo essencial de limão Taití) foi realizada através dos métodos de análise sequencial e não sequencial, usando como fundamento os métodos psicofísicos de diferença Pareado, Triangular e Duo-Trio. Um estudo comparativo sobre a aplicação e eficiência da anális
Publicado em: 1976