ESTUDO SOBRE AUTOMATIZAÇÃO DE EQUIVALÊNCIA DE FUNÇÕES
Este projeto tem por objetivo propor um método exato que, prova uma equivalência entre funções. As transformações em estudo são comprovadas por meio da indução matemática. Foi proposto um algoritmo que comprova a equivalência entre um conjunto de funções utilizando manipulação de strings. Para encontrar a igualdade entre funções são realizadas operações matemáticas sobre o números naturais, tais como: distributiva, associativa, comutativa e mínimo múltiplo comum. Como resultado, foram comprovadas as equivalências entre um conjunto de funções constante do banco de dados.
ESTUDO SOBRE AUTOMATIZAÇÃO DE EQUIVALÊNCIA DE FUNÇÕES
-
DOI: 10.22533/at.ed.19221291111
-
Palavras-chave: Indução matemática, funções, equivalência
-
Keywords: Mathematical induction, functions, equivalence
-
Abstract:
This project aims to propose an exact method that, referring to a database, returns an equivalent function. The study transformations are provided through mathematical induction. It was proposed an algorithm that using strings manipulation, proves an equivalence between a set of functions. To find the equality between functions are used mathematical operations on the natural numbers, such as: distributive, associative, commutative and minimum common multiple. As a result, they were proved the equivalences between a set of functions in the database.
-
Número de páginas: 25
- Fábio Hernandes
- Lucas Fernando Frighetto
