Introduction: Quantifier Elimination gives us perfect insight into the most basic world of the computer, its origin, its primer functions and it basic operations. Carefully designed and programmed Algorithm for Quantifier Elimination makes the quantifier elimination from the quantified formulas much easier and much more comprehensive Aim: This paper explains how Quantifier Elimination algorithm can be used in the field of Biology, or to be more specific, in the field of Epidemiology. Material and methods: Exemplary formulas needed for the algorithm are all the formulas from the Mathematical Logic field. JavaScript programming language was used in order to program fast and effective algorithm for Quantifier Elimination. Results: Solving the certain problems from the field of Epidemiology using the Quantifier Elimination method, proved to be very successful in the past, because it made possible for the results to be extracted very fast. Doing the exact thing using the newer generation algorithm might be even more effective. Conclusion: The most basic concepts of Mathematical Logic can be implemented in order to solve the one of the most important questions in Epidemiology.
Key words: quantifiers, elimination, algorithm, epidemiology, disease dynamics.
|
