Biomedical Science and Clinical Research(BSCR)

Centre of Innovative Medical Technologies of the National Academy of Sciences of Ukraine, Ukraine

Publications

• Research Article   
  The Use of Tools for Automatic Proof of Mathematical Logic Theorems for Modeling the Dynamic Balance of Minerals in the Human Body
  Author(s): Viktoria Kondratenko* and Leonid Slovianov
  
  Computer scientists build a logical framework for a particular subject or phenomenon. This methodology involves the use of axioms, which are self-evident statements that serve as the basis for a logical system. Axiomatic modelling begins by identifying the relevant concepts and objects that will be studied and then defining these concepts using axioms. These axioms are chosen based on their simplicity, consistency, and logical power, and are used to build a series of logical statements or theorems that describe the behaviour of the system being studied. This method allows researchers to build a clear and logical foundation for their work and allows them to prove the validity of their results through logical deduction. It is often used in mathematics and computer science, but can also be applied to other fields such as economics, physics, social science, biology and medicine. We propos.. Read More»
  

  Abstract HTML PDF