Abstract

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 comprehensiveAim: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.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.