Provas matemáticas diretas

Na matemática, provas de argumentos são obtidas a partir de um processo de raciocínio lógico. Por mais criativo que possa ser esse processo, existem algumas “fórmulas” que podem ajudar no caminho. O primeiro passo é formular o argumento que requer uma prova. Isso é possível ao escrever uma proposição (afirmação) que só pode ter dois resultados possíveis: verdadeiro ou falso, nunca os dois juntos. Assim, é possível construir uma argumentação para chegar na conclusão se determinada proposição é verdadeira ou não.... [Continue lendo]

Correção ortográfica com índice k-gram

Ao escrever uma consulta, o usuário pode cometer erros ortográficos durante a digitação. Esses erros podem ter duas formas: escrita incorreta da palavra (comesso ao invés de começo), contexto (no meu casa ao invés de na minha casa). Note que no primeiro exemplo, a palavra está incorreta; no segundo, as palavras estão corretas mas o contexto é errado. Nesse momento, a ideia é ver como é possível fazer a correção de erros de escrito (primeiro caso).... [Continue lendo]

Executando consultas por frases: Positional Index

Para realizar a consulta por frases (sequências de palavras) é necessário um índice k-gram. Porém, criar um índice todas as combinações de termos pode ocupar muito espaço em disco/memória. Principalmente se for necessário indexar combinações de 5 ou mais palavras, visto que muitas combinações podem aparecer apenas uma ou outra vez. Uma solução para esse problema é um positional index (índice de posições). Em um índice invertido, termos são mapeados para listas com ids de documentos.... [Continue lendo]